Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004. Proceedings

Front Matter....Pages -
Representing and Reasoning with Preferences....Pages 1-1
Engineering of Logics for the Content-Based Representation of Information....Pages 2-3
Formal Methods in Robotics....Pages 4-4
Games for Cognitive Agents....Pages 5-17
Knowledge-Theoretic Properties of Strategic Voting....Pages 18-30
The CIFF Proof Procedure for Abductive Logic Programming with Constraints....Pages 31-43
Hierarchical Decision Making by Autonomous Agents....Pages 44-56
Verifying Communicating Agents by Model Checking in a Temporal Action Logic....Pages 57-69
Qualitative Action Theory....Pages 70-81
Practical Reasoning for Uncertain Agents....Pages 82-94
Modelling Communicating Agents in Timed Reasoning Logics....Pages 95-107
On the Relation Between ID-Logic and Answer Set Programming....Pages 108-120
An Implementation of Statistical Default Logic....Pages 121-133
Capturing Parallel Circumscription with Disjunctive Logic Programs....Pages 134-146
Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning....Pages 147-160
Characterizations for Relativized Notions of Equivalence in Answer Set Programming....Pages 161-173
Equivalence of Logic Programs Under Updates....Pages 174-186
Cardinality Constraint Programs....Pages 187-199
Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity....Pages 200-212
A Logic for Reasoning About Coherent Conditional Probability: A Modal Fuzzy Logic Approach....Pages 213-225
A Logic with Conditional Probabilities....Pages 226-238
Reasoning About Quantum Systems....Pages 239-251
Sorted Multi-adjoint Logic Programs: Termination Results and Applications....Pages 252-265
The Modal Logic Programming System MProlog....Pages 266-278
Soundness and Completeness of an “Efficient” Negation for Prolog....Pages 279-293
Logic Programs with Functions and Default Values....Pages 294-306
Parallel Encodings of Classical Planning as Satisfiability....Pages 307-319
Relational Markov Games....Pages 320-333
On the Logic of ‘Being Motivated to Achieve ρ , Before δ ’....Pages 334-346
Representation and Complexity in Boolean Games....Pages 347-359
Complexity in Value-Based Argument Systems....Pages 360-371
A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment....Pages 372-384
Transforming Fuzzy Description Logics into Classical Description Logics....Pages 385-399
Computing the Least Common Subsumer w.r.t. a Background Terminology....Pages 400-412
Explaining Subsumption by Optimal Interpolation....Pages 413-425
Two Approaches to Merging Knowledge Bases....Pages 426-438
An Algebraic Approach to Belief Contraction and Nonmonotonic Entailment....Pages 439-451
Logical Connectives for Nonmonotonicity: A Choice Function-Based Approach....Pages 452-461
On Sceptical Versus Credulous Acceptance for Abstract Argument Systems....Pages 462-473
Line-Based Affine Reasoning in Euclidean Plane....Pages 474-486
Measure Logics for Spatial Reasoning....Pages 487-499
Only Knowing with Confidence Levels: Reductions and Complexity....Pages 500-512
Time Granularities and Ultimately Periodic Automata....Pages 513-525
Polynomial Approximations of Full Propositional Logic via Limited Bivalence....Pages 526-538
Some Techniques for Branch-Saturation in Free-Variable Tableaux....Pages 539-551
Semantic Knowledge Partitioning....Pages 552-564
Negative Hyper-resolution as Procedural Semantics of Disjunctive Logic Programs....Pages 565-577
Discovering Anomalies in Evidential Knowledge by Logic Programming....Pages 578-590
Logic Programming Infrastructure for Inferences on FrameNet....Pages 591-603
An Answer Set Programming Encoding of Prioritized Removed Sets Revision: Application to GIS....Pages 604-616
Automatic Compilation of Protocol Insecurity Problems into Logic Programming....Pages 617-627
Exploiting Functional Dependencies in Declarative Problem Specifications....Pages 628-640
Combining Decision Procedures for Sorted Theories....Pages 641-653
Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving....Pages 654-666
Towards a Logical Analysis of Biochemical Pathways....Pages 667-679
Abductive Logic Programming with CIFF: System Description....Pages 680-684
The DALI Logic Programming Agent-Oriented Language....Pages 685-688
Qsmodels: ASP Planning in Interactive Gaming Environment....Pages 689-692
A System with Template Answer Set Programs....Pages 693-697
New DLV Features for Data Integration....Pages 698-701
Profiling Answer Set Programming: The Visualization Component of the noMoRe System....Pages 702-705
The PLP System....Pages 706-709
The MyYapDB Deductive Database System....Pages 710-713
InterProlog: Towards a Declarative Embedding of Logic Programming in Java....Pages 714-717
IndLog — Induction in Logic....Pages 718-721
OLEX – A Reasoning-Based Text Classifier....Pages 722-725
 Verdi : An Automated Tool for Web Sites Verification....Pages 726-729
SATMC: A SAT-Based Model Checker for Security Protocols....Pages 730-733
 tabeql : A Tableau Based Suite for Equilibrium Logic....Pages 734-737
 tascpl : TAS Solver for Classical Propositional Logic....Pages 738-741
Back Matter....Pages -