default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJELIA 2004: Lisbon, Portugal
- José Júlio Alferes, João Alexandre Leite
:
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
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, Lluís 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 M. 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, Éric 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-14 20:47 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
