JELIA 2002: Cosenza, Italy

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, Simon Parsons:
  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, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira:
  Evolving Logic Programs. 50-61
  
• José Júlio Alferes, Pierangelo Dell'Acqua, Luís Moniz Pereira:
  A Compilation of Updates plus Preferences. 62-73
  

Description Logic and Semantic Web

• Piero A. Bonatti:
  Towards Service Description Logics. 74-85
  
• Rosalba Giugno, Thomas Lukasiewicz:
  P-SHOQ(D): A Probabilistic Extension of SHOQ(D) for Probabilistic Ontologies in the Semantic Web. 86-97
  
• Alessandro Artale, Enrico Franconi, Frank Wolter, Michael Zakharyaschev:
  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, Nicola Leone, Gerald Pfeifer, Axel Polleres:
  Answer Set Planning under Action Costs. 186-197
  

Modal Logic and Causal Reasoning

• Guido Governatori, Vineet Padmanabhan, Abdul Sattar:
  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, Pierre Marquis:
  Three-Valued Logics for Inconsistency Handling. 332-344
  
• João Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira:
  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, Marc Pauly:
  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-M_ine: 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, José Hernández-Orallo, M. José Ramírez-Quintana:
  SMILES: A Multi-purpose Learning System. 529-532
  
• Deborah East, Miroslaw Truszczynski:
  The aspps System. 533-536
  
• Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Francesco Calimeri, Tina Dell'Armi, Thomas Eiter, Georg Gottlob, Giovambattista Ianni, Giuseppe Ielpa, Christoph Koch, Simona Perri, Axel Polleres:
  The DLV System. 537-540
  
• Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres:
  The DLV^K 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
  

Last update Thu May 23 17:36:23 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page