Logics in artificial intelligence : 8th European Conference, JELIA 2002, Cosenza, Italy, September 23-26, 2002 : Proceedings
में बचाया:
| निगमित लेखक: | |
|---|---|
| अन्य लेखक: | , , |
| स्वरूप: | Livre numérique |
| भाषा: | Anglais |
| प्रकाशित: |
Berlin ; Heidelberg :
Springer-Verlag Berlin Heidelberg : Springer e-books
[20..].
Cham : Springer Nature |
| श्रृंखला: | Lecture notes in computer science. Lecture notes in artificial intelligence
2424 |
| विषय: | |
| ऑनलाइन पहुंच: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| टिप्पणी: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Logics in artificial intelligence, 8th European Conference, JELIA 2002, Cosenza, Italy, September 23-26, 2002, Proceedings, Sergio Flesca, Sergio Greco, Nicola Leone, Giovambattista Ianni (Eds.), 2002, Berlin, Springer, 1 vol. (XIII-572 p.), Lecture notes in computer science, 3-540-44190-5 • Logics in Artificial Intelligence, Texte imprimé, 9783662176276 |
विषय - सूची:
- Multi-agent Systems
- A Logic Programming Language for Multi-agent Systems
- A Proof-System for the Safe Execution of Tasks in Multi-agent Systems
- An Argumentation Framework for Merging Conflicting Knowledge Bases
- Multi-agent Logics of Dynamic Belief and Knowledge
- Evolution and Changes
- Evolving Logic Programs
- A Compilation of Updates plus Preferences
- Description Logic and Semantic Web
- Towards Service Description Logics
- P- (D): A Probabilistic Extension of (D) for Probabilistic Ontologies in the Semantic Web
- A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries
- Complexity Issues
- Polynomial-Length Planning Spans the Polynomial Hierarchy
- Complexity of Multi-agent Systems Behavior
- Complexity and Algorithms for the Matching of Bag and Set Terms
- Probabilistic Logic
- Non-commutativity and Expressive Deductive Logic Databases
- Using Institutions for the Study of Qualitative and Quantitative Conditional Logics
- Planning
- Theoretical and Empirical Aspects of a Planner in a Multi-agent Environment
- Answer Set Planning under Action Costs
- Modal Logic and Causal Reasoning
- On Fibring Semantics for BDI Logics
- A Modal Formulation of McCain and Turner s Theory of Causal Reasoning
- Second-Order Quantifier Elimination in Modal Contexts
- Theory
- Interpolation Theorems for Nonmonotonic Reasoning Systems
- Minimal Answer Computation and SOL
- Decidability of Interval Temporal Logics over Split-Frames via Granularity
- Reasoning under Uncertainty
- Uncertainty and Partial Non-uniform Assumptions in Parametric Deductive Databases
- A Qualitative Reasoning with Nuanced Information
- Satisfiability
- Dependent and Independent Variables in Propositional Satisfiability
- A DPLL-Based Calculus for Ground SatisfiabilityModulo Theories
- Paraconsistent Reasoning
- Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems
- Three-Valued Logics for Inconsistency Handling
- Paraconsistent Logic Programs
- Actions and Causation
- Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem
- Reasoning about Actions in Prioritized Default Theory
- Towards a Conditional Logic of Actions and Causation
- Logics for Agents
- Axiomatising Nash-Consistent Coalition Logic
- Representing Possibilities in Relation to Constraints and Agents
- An Abductive Logic Programming Architecture for Negotiating Agents
- Semantics
- Preferred Answer Sets for Ordered Logic Programs
- Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs
- An Infinite-Valued Semantics for Logic Programs with Negation
- Optimization Issues in Answer Set Semantics
- More on noMoRe
- Answer Set Programming by Ant Colony Optimization
- Testing the Equivalence of Logic Programs under Stable Model Semantics
- System Session
- Argumentative Reasoning with ABEL
- COBA: A Consistency-Based Belief Revision System
- Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems
- : Integrating Data Mining with Intelligent Query Answering
- NoMoRe: Non-monotonic Reasoning with Logic Programs
- Process Miner A Tool for Mining Process Schemes from Event-Based Data
- SMILES: A Multi-purpose Learning System
- The aspps System
- The DLV System
- The DLVK Planning System: Progress Report
- Z-log: Applying System-Z
- Invited Talks
- Hypergraph Transversal Computation and Related Problems in Logic and AI
- Alternation
- The USA-Advisor: A Case Study in Answer Set Programming.