This book constitutes the refereed proceedings of the 9th European Conference on Logics in Artificial Intelligence, JELIA 2004, held in Lisbon, Portugal, in September 2004.
The 52 revised full papers and 15 revised systems presentation papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from a total of 169 submissions. The papers are organized in topical sections on multi-agent systems; logic programming and nonmonotonic reasoning; reasoning under uncertainty; logic programming; actions and causation; complexity; description logics; belief revision; modal, spatial, and temporal logics; theorem proving; and applications.
Author(s): Francesca Rossi (auth.), Jóse Júlio Alferes, João Leite (eds.)
Series: Lecture Notes in Computer Science 3229 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2004
Language: English
Pages: 746
Tags: Artificial Intelligence (incl. Robotics); Programming Techniques; Mathematical Logic and Formal Languages
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 -
