default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJELIA 2000: Malaga, Spain
- Manuel Ojeda-Aciego, Inman P. de Guzmán, Gerhard Brewka, Luís Moniz Pereira:
Logics in Artificial Intelligence, European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000, Proceedings. Lecture Notes in Computer Science 1919, Springer 2000, ISBN 3-540-41131-3
Invited Talks
- Johan van Benthem:
'On Being Informed': Update Logics for Knowledge States. 1 - Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits:
Considerations on Updates of Logic Programs. 2-20 - Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt:
The KeY Approach: Integrating Object Oriented Design and Formal Verification. 21-36 - Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter
, Michael Zakharyaschev:
Semi-qualitative Reasoning about Distances: A Preliminary Report. 37-56
Knowledge Representation
- Carlos Viegas Damásio, Luís Moniz Pereira:
Hybrid Probabilistic Logic Programs as Residuated Logic Programs. 57-72 - Marco Aiello:
Topo-distance: Measuring the Difference between Spatial Patterns. 73-86 - Antonio Frias Delgado, Jose Antonio Jimenez Millan:
An Abductive Mechanism for Natural Language Processing Based on Lambek Calculus. 87-101 - Tomi Janhunen:
Capturing Stationary and Regular Extensions with Reiter's Extensions. 102-117
Reasoning about Actions
- Chunping Li:
Representing the Process Semantics in the Event Calculus. 118-132 - Josefina Sierra-Santibáñez:
Declarative Formalization of Strategies for Action Selection: Applications to Planning. 133-147
Belief Revision
- Ofer Arieli:
An Algorithmic Approach to Recover Inconsistent Knowledge-Bases. 148-162 - Abhaya C. Nayak:
Acceptance Without Minimality. 163-178
Theorem Proving
- Gloria Gutiérrez, Inman P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde:
Reduction Theorems for Boolean Formulas Using Delta-Trees. 179-192 - Pedro J. Martín, Antonio Gavilanes:
Simultaneous Rigid Sorted Unification. 193-208 - Alexandre Riazanov, Andrei Voronkov:
Partially Adaptive Code Trees. 209-223
Argumentation
- Henry Prakken:
On Dialogue Systems with Speech Acts, Arguments, and Counterarguments. 224-238 - Gerard Vreeswijk, Henry Prakken:
Credulous and Sceptical Argument Games for Preferred Semantics. 239-253
Agents
- Wiebe van der Hoek, Jan Jaspars, Elias Thijsse:
A General Approach to Multi-agent Minimal Knowledge. 254-268 - Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
A Modal Logic for Network Topologies. 269-283 - Antonio Moreno, Ulises Cortés, Ton Sales:
Avoiding Logical Omniscience by Using Subjective Situations. 284-299 - Michael J. Wooldridge, Alessio Lomuscio:
Multi-agent VSK Logic. 300-312
Decidability and Complexity
- Thomas Eiter, Thomas Lukasiewicz:
New Tractable Cases in Default Reasoning from Conditional Knowledge Bases. 313-328 - Holger Sturm, Frank Wolter, Michael Zakharyaschev:
Monodic Epistemic Predicate Logic. 329-344
Updates
- José Júlio Alferes, Luís Moniz Pereira:
Updates plus Preferences. 345-360 - Paolo Liberatore:
A Framework for Belief Update. 361-375
Preferences
- James P. Delgrande, Torsten Schaub, Hans Tompits:
A Compilation of Brewka and Eiter's Approach to Prioritization. 376-390 - Marina De Vos, Dirk Vermeir:
A Logic for Modeling Decision Making with Dynamic Preferences. 391-406
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-12-23 19:40 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:
