JELIA 2004:
Lisbon,
Portugal
José Júlio Alferes, João Alexandre Leite (Eds.):
Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings.
Lecture Notes in Computer Science 3229 Springer 2004, ISBN 3-540-23242-7 BibTeX
Invited Talks
Multi-agent Systems
- Mehdi Dastani, Leendert W. N. van der Torre:
Games for Cognitive Agents.
5-17
Electronic Edition (link) BibTeX
- Samir Chopra, Eric Pacuit, Rohit Parikh:
Knowledge-Theoretic Properties of Strategic Voting.
18-30
Electronic Edition (link) BibTeX
- Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni:
The CIFF Proof Procedure for Abductive Logic Programming with Constraints.
31-43
Electronic Edition (link) BibTeX
- Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir:
Hierarchical Decision Making by Autonomous Agents.
44-56
Electronic Edition (link) BibTeX
- Laura Giordano, Alberto Martelli, Camilla Schwind:
Verifying Communicating Agents by Model Checking in a Temporal Action Logic.
57-69
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Nivea de Carvalho Ferreira, Michael Fisher, Wiebe van der Hoek:
Practical Reasoning for Uncertain Agents.
82-94
Electronic Edition (link) BibTeX
- Natasha Alechina, Brian Logan, Mark Whitsey:
Modelling Communicating Agents in Timed Reasoning Logics.
95-107
Electronic Edition (link) BibTeX
Logic Programming and Nonmonotonic Reasoning
Reasoning Under Uncertainty
Logic Programming
Actions and Causation
Complexity Issues
Description Logics
Belief Revision
Modal,
Spacial,
and Temporal Logics
Theorem Proving
Applications
- Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli:
Discovering Anomalies in Evidential Knowledge by Logic Programming.
578-590
Electronic Edition (link) BibTeX
- Peter Baumgartner, Aljoscha Burchardt:
Logic Programming Infrastructure for Inferences on FrameNet.
591-603
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Alessandro Armando, Luca Compagna, Yuliya Lierler:
Automatic Compilation of Protocol Insecurity Problems into Logic Programming.
617-627
Electronic Edition (link) BibTeX
- Marco Cadoli, Toni Mancini:
Exploiting Functional Dependencies in Declarative Problem Specifications.
628-640
Electronic Edition (link) BibTeX
- Cesare Tinelli, Calogero G. Zarba:
Combining Decision Procedures for Sorted Theories.
641-653
Electronic Edition (link) BibTeX
- Arjen Hommersom, Peter J. F. Lucas, Michael Balser:
Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving.
654-666
Electronic Edition (link) BibTeX
- Patrick Doherty, Steve Kertes, Martin Magnusson, Andrzej Szalas:
Towards a Logical Analysis of Biochemical Pathways.
667-679
Electronic Edition (link) BibTeX
Systems Session
- Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni:
Abductive Logic Programming with CIFF: System Description.
680-684
Electronic Edition (link) BibTeX
- Stefania Costantini, Arianna Tocchio:
The DALI Logic Programming Agent-Oriented Language.
685-688
Electronic Edition (link) BibTeX
- Luca Padovani, Alessandro Provetti:
Qsmodels: ASP Planning in Interactive Gaming Environment.
689-692
Electronic Edition (link) BibTeX
- Francesco Calimeri, Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro:
A System with Template Answer Set Programs.
693-697
Electronic Edition (link) BibTeX
- Francesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer:
New DLV Features for Data Integration.
698-701
Electronic Edition (link) BibTeX
- Andreas Bösel, Thomas Linke, Torsten Schaub:
Profiling Answer Set Programming: The Visualization Component of the noMoRe System.
702-705
Electronic Edition (link) BibTeX
- Toshiko Wakaki, Katsumi Inoue, Chiaki Sakama, Katsumi Nitta:
The PLP System.
706-709
Electronic Edition (link) BibTeX
- Michel Ferreira, Ricardo Rocha:
The MyYapDB Deductive Database System.
710-713
Electronic Edition (link) BibTeX
- Miguel Calejo:
InterProlog: Towards a Declarative Embedding of Logic Programming in Java.
714-717
Electronic Edition (link) BibTeX
- Rui Camacho:
IndLog - Induction in Logic.
718-721
Electronic Edition (link) BibTeX
- Chiara Cumbo, Salvatore Iiritano, Pasquale Rullo:
OLEX - A Reasoning-Based Text Classifier.
722-725
Electronic Edition (link) BibTeX
- María Alpuente, Demis Ballis, Moreno Falaschi:
Verdi: An Automated Tool for Web Sites Verification.
726-729
Electronic Edition (link) BibTeX
- Alessandro Armando, Luca Compagna:
SATMC: A SAT-Based Model Checker for Security Protocols.
730-733
Electronic Edition (link) BibTeX
- Agustín Valverde:
tabeql: A Tableau Based Suite for Equilibrium Logic.
734-737
Electronic Edition (link) BibTeX
- Manuel Ojeda-Aciego, Agustín Valverde:
tascpl: TAS Solver for Classical Propositional Logic.
738-741
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:27:39 2009
by Michael Ley (ley@uni-trier.de)