default search action
JELIA 2002: Cosenza, Italy
- Sergio Flesca, Sergio Greco, Nicola Leone
, Giovambattista Ianni:
Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings. Lecture Notes in Computer Science 2424, Springer 2002, ISBN 3-540-44190-5
Multi-agent Systems
- Stefania Costantini, Arianna Tocchio:
A Logic Programming Language for Multi-agent Systems. 1-13 - Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni
A Proof-System for the Safe Execution of Tasks in Multi-agent Systems. 14-26 - Leila Amgoud
An Argumentation Framework for Merging Conflicting Knowledge Bases. 27-37 - Renate A. Schmidt, Dmitry Tishkovsky:
Multi-agent Logics of Dynamic Belief and Knowledge. 38-49
Evolution and Changes
- José Júlio Alferes
Evolving Logic Programs. 50-61 - José Júlio Alferes
A Compilation of Updates plus Preferences. 62-73
Description Logic and Semantic Web
- Piero A. Bonatti:
Towards Service Description Logics. 74-85 - Rosalba Giugno
P-SHOQ(D): A Probabilistic Extension of SHOQ(D) for Probabilistic Ontologies in the Semantic Web. 86-97 - Alessandro Artale, Enrico Franconi, Frank Wolter
A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries. 98-110
Complexity Issues
- Hudson Turner:
Polynomial-Length Planning Spans the Polynomial Hierarchy. 111-124 - Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev:
Complexity of Multi-agent Systems Behavior. 125-136 - Gianluigi Greco, Ester Zumpano:
Complexity and Algorithms for the Matching of Bag and Set Terms. 137-148
Probabilistic Logic
- Stanislav Krajci, Rastislav Lencses, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde, Peter Vojtás:
Non-commutativity and Expressive Deductive Logic Databases. 149-160 - Christoph Beierle, Gabriele Kern-Isberner:
Using Institutions for the Study of Qualitative and Quantitative Conditional Logics. 161-172
Planning
- Jürgen Dix, Héctor Muñoz-Avila, Dana S. Nau, Lingling Zhang:
Theoretical and Empirical Aspects of a Planner in a Multi-agent Environment. 173-185 - Thomas Eiter, Wolfgang Faber
Answer Set Planning under Action Costs. 186-197
Modal Logic and Causal Reasoning
- Guido Governatori
On Fibring Semantics for BDI Logics. 198-210 - Graham White:
A Modal Formulation of McCain and Turner's Theory of Causal Reasoning. 211-222 - Andrzej Szalas
Second-Order Quantifier Elimination in Modal Contexts. 223-232
Theory
- Eyal Amir:
Interpolation Theorems for Nonmonotonic Reasoning Systems. 233-244 - Koji Iwanuma, Katsumi Inoue
Minimal Answer Computation and SOL. 245-258 - Angelo Montanari, Guido Sciavicco, Nicola Vitacolonna:
Decidability of Interval Temporal Logics over Split-Frames via Granularity. 259-270
Reasoning under Uncertainty
- Yann Loyer, Umberto Straccia:
Uncertainty and Partial Non-uniform Assumptions in Parametric Deductive Databases. 271-282 - Mazen El-Sayed, Daniel Pacholczyk:
A Qualitative Reasoning with Nuanced Information. 283-295
Satisfiability
- Enrico Giunchiglia, Marco Maratea, Armando Tacchella
Dependent and Independent Variables in Propositional Satisfiability. 296-307 - Cesare Tinelli
A DPLL-Based Calculus for Ground Satisfiability Modulo Theories. 308-319
Paraconsistent Reasoning
- Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran:
Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems. 320-331 - Sébastien Konieczny
Three-Valued Logics for Inconsistency Handling. 332-344 - João F. L. Alcântara, Carlos Viegas Damásio
Paraconsistent Logic Programs. 345-356
Actions and Causation
- Dongmo Zhang, Norman Y. Foo:
Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem. 357-368 - Tran Cao Son, Enrico Pontelli:
Reasoning about Actions in Prioritized Default Theory. 369-381 - Laura Giordano, Camilla Schwind:
Towards a Conditional Logic of Actions and Causation. 382-393
Logics for Agents
- Helle Hvid Hansen
Axiomatising Nash-Consistent Coalition Logic. 394-406 - Richard J. Wallace:
Representing Possibilities in Relation to Constraints and Agents. 407-418 - Fariba Sadri, Francesca Toni, Paolo Torroni
An Abductive Logic Programming Architecture for Negotiating Agents. 419-431
Semantics
- Davy Van Nieuwenborgh, Dirk Vermeir:
Preferred Answer Sets for Ordered Logic Programs. 432-443 - Gerhard Brewka, Ilkka Niemelä, Tommi Syrjänen:
Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs. 444-455 - Panos Rondogiannis, William W. Wadge:
An Infinite-Valued Semantics for Logic Programs with Negation. 456-467
Optimization Issues in Answer Set Semantics
- Thomas Linke, Christian Anger, Kathrin Konczak:
More on noMoRe. 468-480 - Pascal Nicolas, Frédéric Saubion, Igor Stéphan:
Answer Set Programming by Ant Colony Optimization. 481-492 - Tomi Janhunen, Emilia Oikarinen:
Testing the Equivalence of Logic Programs under Stable Model Semantics. 493-504
System Session
- Rolf Haenni:
Argumentative Reasoning with ABEL. 505-508 - James P. Delgrande, Aaron Hunter, Torsten Schaub:
COBA: A Consistency-Based Belief Revision System. 509-512 - Raphael A. Finkel, V. Wiktor Marek, Miroslaw Truszczynski:
Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems. 513-516 - Fosca Giannotti, Giuseppe Manco
LDL-Mine: Integrating Data Mining with Intelligent Query Answering. 517-520 - Christian Anger, Kathrin Konczak, Thomas Linke:
NoMoRe : Non-monotonic Reasoning with Logic Programs. 521-524 - Guido Schimm:
Process Miner - A Tool for Mining Process Schemes from Event-Based Data. 525-528 - Vicent Estruch, César Ferri
SMILES: A Multi-purpose Learning System. 529-532 - Deborah East, Miroslaw Truszczynski:
The aspps System. 533-536 - Nicola Leone, Gerald Pfeifer, Wolfgang Faber
The DLV System. 537-540 - Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres:
The DLVK Planning System: Progress Report. 541-544 - Michael Minock, Hansi Kraus:
Z-log: Applying System-Z. 545-548
Invited Talks
- Thomas Eiter, Georg Gottlob:
Hypergraph Transversal Computation and Related Problems in Logic and AI. 549-564 - Moshe Y. Vardi:
Alternation. 565 - Michael Gelfond:
The USA-Advisor: A Case Study in Answer Set Programming. 566-568
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-12 20:46 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: