JELIA 2004: Lisbon, Portugal

Invited Talks

• Francesca Rossi:
  Representing and Reasoning with Preferences. 1
  
• Franz Baader:
  Engineering of Logics for the Content-Based Representation of Information. 2-3
  
• Bernhard Nebel:
  Formal Methods in Robotics. 4
  

Multi-agent Systems

• Mehdi Dastani, Leendert W. N. van der Torre:
  Games for Cognitive Agents. 5-17
  
• Samir Chopra, Eric Pacuit, Rohit Parikh:
  Knowledge-Theoretic Properties of Strategic Voting. 18-30
  
• Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni:
  The CIFF Proof Procedure for Abductive Logic Programming with Constraints. 31-43
  
• Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir:
  Hierarchical Decision Making by Autonomous Agents. 44-56
  
• Laura Giordano, Alberto Martelli, Camilla Schwind:
  Verifying Communicating Agents by Model Checking in a Temporal Action Logic. 57-69
  
• Stefan Wölfl:
  Qualitative Action Theory: A Comparison of the Semantics of Alternating-Time Temporal Logic and the Kutschera-Belnap Approach to Agency. 70-81
  
• Nivea de Carvalho Ferreira, Michael Fisher, Wiebe van der Hoek:
  Practical Reasoning for Uncertain Agents. 82-94
  
• Natasha Alechina, Brian Logan, Mark Whitsey:
  Modelling Communicating Agents in Timed Reasoning Logics. 95-107
  

Logic Programming and Nonmonotonic Reasoning

• Maarten Mariën, David Gilis, Marc Denecker:
  On the Relation Between ID-Logic and Answer Set Programming. 108-120
  
• Gregory R. Wheeler, Carlos Viegas Damásio:
  An Implementation of Statistical Default Logic. 121-133
  
• Tomi Janhunen, Emilia Oikarinen:
  Capturing Parallel Circumscription with Disjunctive Logic Programs. 134-146
  
• David Pearce, Agustín Valverde:
  Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning. 147-160
  
• Stefan Woltran:
  Characterizations for Relativized Notions of Equivalence in Answer Set Programming. 161-173
  
• Katsumi Inoue, Chiaki Sakama:
  Equivalence of Logic Programs Under Updates. 174-186
  
• Tommi Syrjänen:
  Cardinality Constraint Programs. 187-199
  
• Wolfgang Faber, Nicola Leone, Gerald Pfeifer:
  Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity. 200-212
  

Reasoning Under Uncertainty

• Enrico Marchioni, Lluis Godo:
  A Logic for Reasoning About Coherent Conditional Probability: A Modal Fuzzy Logic Approach. 213-225
  
• Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic:
  A Logic with Conditional Probabilities. 226-238
  
• Paulo Mateus, Amílcar Sernadas:
  Reasoning About Quantum Systems. 239-251
  
• Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego:
  Sorted Multi-adjoint Logic Programs: Termination Results and Applications. 252-265
  

Logic Programming

• Linh Anh Nguyen:
  The Modal Logic Programming System MProlog. 266-278
  
• Juan José Moreno-Navarro, Susana Muñoz-Hernández:
  Soundness and Completeness of an "Efficient" Negation for Prolog. 279-293
  
• Pedro Cabalar, David Lorenzo:
  Logic Programs with Functions and Default Values. 294-306
  

Actions and Causation

• Jussi Rintanen, Keijo Heljanko, Ilkka Niemelä:
  Parallel Encodings of Classical Planning as Satisfiability. 307-319
  
• Alberto Finzi, Thomas Lukasiewicz:
  Relational Markov Games. 320-333
  
• Jan Broersen:
  On the Logic of 'Being Motivated to Achieve rho, Before delta'. 334-346
  

Complexity Issues

• Paul E. Dunne, Wiebe van der Hoek:
  Representation and Complexity in Boolean Games. 347-359
  
• Paul E. Dunne, Trevor J. M. Bench-Capon:
  Complexity in Value-Based Argument Systems. 360-371
  
• Yevgeny Kazakov:
  A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment. 372-384
  

Description Logics

• Umberto Straccia:
  Transforming Fuzzy Description Logics into Classical Description Logics. 385-399
  
• Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan:
  Computing the Least Common Subsumer w.r.t. a Background Terminology. 400-412
  
• Stefan Schlobach:
  Explaining Subsumption by Optimal Interpolation. 413-425
  

Belief Revision

• James P. Delgrande, Torsten Schaub:
  Two Approaches to Merging Knowledge Bases. 426-438
  
• Lee Flax:
  An Algebraic Approach to Belief Contraction and Nonmonotonic Entailment. 439-451
  
• Jérôme Mengin:
  Logical Connectives for Nonmonotonicity: A Choice Function-Based Approach. 452-461
  
• Sylvie Doutre, Jérôme Mengin:
  On Sceptical Versus Credulous Acceptance for Abstract Argument Systems. 462-473
  

Modal, Spacial, and Temporal Logics

• Philippe Balbiani, Tinko Tinchev:
  Line-Based Affine Reasoning in Euclidean Plane. 474-486
  
• Mehmet Giritli:
  Measure Logics for Spatial Reasoning. 487-499
  
• Espen H. Lian, Tore Langholm, Arild Waaler:
  Only Knowing with Confidence Levels: Reductions and Complexity. 500-512
  
• Davide Bresolin, Angelo Montanari, Gabriele Puppis:
  Time Granularities and Ultimately Periodic Automata. 513-525
  

Theorem Proving

• Marcelo Finger:
  Polynomial Approximations of Full Propositional Logic via Limited Bivalence. 526-538
  
• Nicolas Peltier:
  Some Techniques for Branch-Saturation in Free-Variable Tableaux. 539-551
  
• Christoph Wernhard:
  Semantic Knowledge Partitioning. 552-564
  
• Linh Anh Nguyen:
  Negative Hyper-resolution as Procedural Semantics of Disjunctive Logic Programs. 565-577
  

Applications

• Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli:
  Discovering Anomalies in Evidential Knowledge by Logic Programming. 578-590
  
• Peter Baumgartner, Aljoscha Burchardt:
  Logic Programming Infrastructure for Inferences on FrameNet. 591-603
  
• Jonathan Ben-Naim, Salem Benferhat, Odile Papini, Eric Würbel:
  An Answer Set Programming Encoding of Prioritized Removed Sets Revision: Application to GIS. 604-616
  
• Alessandro Armando, Luca Compagna, Yuliya Lierler:
  Automatic Compilation of Protocol Insecurity Problems into Logic Programming. 617-627
  
• Marco Cadoli, Toni Mancini:
  Exploiting Functional Dependencies in Declarative Problem Specifications. 628-640
  
• Cesare Tinelli, Calogero G. Zarba:
  Combining Decision Procedures for Sorted Theories. 641-653
  
• Arjen Hommersom, Peter J. F. Lucas, Michael Balser:
  Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving. 654-666
  
• Patrick Doherty, Steve Kertes, Martin Magnusson, Andrzej Szalas:
  Towards a Logical Analysis of Biochemical Pathways. 667-679
  

Systems Session

• Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni:
  Abductive Logic Programming with CIFF: System Description. 680-684
  
• Stefania Costantini, Arianna Tocchio:
  The DALI Logic Programming Agent-Oriented Language. 685-688
  
• Luca Padovani, Alessandro Provetti:
  Qsmodels: ASP Planning in Interactive Gaming Environment. 689-692
  
• Francesco Calimeri, Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro:
  A System with Template Answer Set Programs. 693-697
  
• Francesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer:
  New DLV Features for Data Integration. 698-701
  
• Andreas Bösel, Thomas Linke, Torsten Schaub:
  Profiling Answer Set Programming: The Visualization Component of the noMoRe System. 702-705
  
• Toshiko Wakaki, Katsumi Inoue, Chiaki Sakama, Katsumi Nitta:
  The PLP System. 706-709
  
• Michel Ferreira, Ricardo Rocha:
  The MyYapDB Deductive Database System. 710-713
  
• Miguel Calejo:
  InterProlog: Towards a Declarative Embedding of Logic Programming in Java. 714-717
  
• Rui Camacho:
  IndLog - Induction in Logic. 718-721
  
• Chiara Cumbo, Salvatore Iiritano, Pasquale Rullo:
  OLEX - A Reasoning-Based Text Classifier. 722-725
  
• María Alpuente, Demis Ballis, Moreno Falaschi:
  Verdi: An Automated Tool for Web Sites Verification. 726-729
  
• Alessandro Armando, Luca Compagna:
  SATMC: A SAT-Based Model Checker for Security Protocols. 730-733
  
• Agustín Valverde:
  tabeql: A Tableau Based Suite for Equilibrium Logic. 734-737
  
• Manuel Ojeda-Aciego, Agustín Valverde:
  tascpl: TAS Solver for Classical Propositional Logic. 738-741