Logics in Artificial Intelligence European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings /
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2002.
|
| Έκδοση: | 1st ed. 2002. |
| Σειρά: | Lecture Notes in Artificial Intelligence ;
2424 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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 Satisfiability Modulo 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.
