Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, ProceedingsJose, Julio Alferes, Joao Leite Logics have, for many years, laid claim to providing a formal basis for the study and development of applications and systems in arti?cial intelligence. With the depth and maturity of formalisms, methodologies and logic-based systems - day, this claim is stronger than ever. The European Conference on Logics in Arti?cial Intelligence (or Journ ́ ees Europ ́ eennes sur la Logique en Intelligence Arti?cielle, JELIA) began back in 1988, as a workshop, in response to the need for a European forum for the discussion of emerging work in this ?eld. Since then, JELIA has been organized biennially, with English as its o?cial language, previous meetings taking place in Rosco?, France (1988), Amsterdam, Nether- ́ lands (1990), Berlin, Germany (1992), York, UK (1994), Evora, Portugal (1996), Dagstuhl, Germany(1998), M ́ alaga, Spain(2000)andCosenza, Italy(2002). The increasinginterestinthisforum, itsinternationallevelwithgrowingparticipation from researchers outside Europe, and the overall technical quality have turned JELIA into a major biennial forum for the discussion of logic-based approaches to arti?cial intelligence. The 9th European Conference on Logics in AI, JELIA 2004, took place in Lisbon, Portugal, between the 27th and the 30th of September 2004, and was hosted by the Universidade Nova de Lisboa. Its technical program comprised 3 invited talks, by Francesca Rossi, Franz Baader, and Bernhard Nebel, and the presentationof52refereedtechnicalarticlesselectedbytheProgramCommittee among the 144 that were submitted, a number which in our opinion clearly indicates that the research area of logics in AI is one with a great and increasing interest. |
Contents
Invited Talks | 1 |
KnowledgeTheoretic Properties of Strategic Voting | 18 |
The CIFF Proof Procedure for Abductive Logic Programming | 31 |
Hierarchical Decision Making by Autonomous Agents | 44 |
Verifying Communicating Agents by Model Checking | 57 |
Qualitative Action Theory | 70 |
Modelling Communicating Agents in Timed Reasoning Logics | 95 |
Logic Programming and Nonmonotonic Reasoning | 108 |
Computing the Least Common Subsumer | 400 |
Explaining Subsumption by Optimal Interpolation | 413 |
Belief Revision | 426 |
An Algebraic Approach to Belief Contraction | 439 |
Modal Spacial and Temporal Logics | 474 |
Measure Logics for Spatial Reasoning | 487 |
Reductions and Complexity | 500 |
Time Granularities and Ultimately Periodic Automata | 513 |
An Implementation of Statistical Default Logic | 121 |
Capturing Parallel Circumscription with Disjunctive Logic Programs | 134 |
Towards a First Order Equilibrium | 147 |
Characterizations for Relativized Notions | 161 |
Equivalence of Logic Programs Under Updates | 174 |
Cardinality Constraint Programs | 187 |
Reasoning Under Uncertainty | 213 |
A Logic with Conditional Probabilities | 226 |
Reasoning About Quantum Systems | 239 |
Logic Programming | 266 |
Soundness and Completeness of an Efficient Negation for Prolog | 279 |
Logic Programs with Functions and Default Values | 294 |
Actions and Causation | 307 |
Relational Markov Games | 320 |
On the Logic of Being Motivated to Achieve ρ Before δ | 334 |
Complexity Issues | 347 |
Complexity in ValueBased Argument Systems | 360 |
Description Logics | 385 |
Theorem Proving | 526 |
Some Techniques for BranchSaturation in FreeVariable Tableaux | 539 |
Semantic Knowledge Partitioning | 552 |
Negative Hyperresolution as Procedural Semantics | 565 |
Applications | 578 |
Logic Programming Infrastructure for Inferences on FrameNet | 591 |
An Answer Set Programming Encoding | 604 |
Automatic Compilation of Protocol Insecurity Problems | 617 |
Combining Decision Procedures for Sorted Theories | 641 |
Metalevel Verification of the Quality of Medical Guidelines | 654 |
Towards a Logical Analysis of Biochemical Pathways | 667 |
Systems Session | 680 |
A System with Template Answer Set Programs | 693 |
The PLP System | 706 |
IndLog Induction in Logic | 718 |
A Tableau Based Suite for Equilibrium Logic | 734 |
Other editions - View all
Logics in Artificial Intelligence: 9th European Conference, JELIA 2004 ... José Júlio Alferes No preview available - 2004 |
Common terms and phrases
action agent algorithm allows answer set applied approach argument Artificial Intelligence assume atoms axioms belief branch called choice classical clauses common complete Computer concept consider consistent constraints construction contains corresponding decision default defined definition denoted dependencies derivation described disjunctive encoding equivalence example exists express extension fact finite formal formula function given goal ground holds implementation implies instance interpretation introduced knowledge language Lemma literals logic programs means method minimal modal names Note notion obtained occurring operators pair particular positive possible predicate preferred present probability problem procedure proof properties proposed propositional protocol prove reasoning relation represent representation respect restricted rules satisfy semantics specification stable standard step strategy substitution symbols Theorem theory transformation translation true University variables