Conferences in DBLP

Logics in Artificial Intelligence - Journées Européennes sur la Logique en Intelligence Artificielle (JELIA) (jelia)
2000 (conf/jelia/2000)

1. Johan van Benthem
   `On Being Informed': Update Logics for Knowledge States. [Citation Graph (0, 0)][DBLP]
   JELIA, 2000, pp:1- [Conf]
   
2. Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
   Considerations on Updates of Logic Programs. [Citation Graph (0, 0)][DBLP]
   JELIA, 2000, pp:2-20 [Conf]
   
3. 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. [Citation Graph (0, 0)][DBLP]
   JELIA, 2000, pp:21-36 [Conf]
   
4. Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev
   Semi-qualitative Reasoning about Distances: A Preliminary Report. [Citation Graph (0, 0)][DBLP]
   JELIA, 2000, pp:37-56 [Conf]
   
5. Carlos Viegas Damásio, Luís Moniz Pereira
   Hybrid Probabilistic Logic Programs as Residuated Logic Programs. [Citation Graph (0, 0)][DBLP]
   JELIA, 2000, pp:57-72 [Conf]
   
6. Marco Aiello
   Topo-distance: Measuring the Difference between Spatial Patterns. [Citation Graph (0, 0)][DBLP]
   JELIA, 2000, pp:73-86 [Conf]
   
7. Antonio Frias Delgado, Jose Antonio Jimenez Millan
   An Abductive Mechanism for Natural Language Processing Based on Lambek Calculus. [Citation Graph (0, 0)][DBLP]
   JELIA, 2000, pp:87-101 [Conf]
   
8. Tomi Janhunen
   Capturing Stationary and Regular Extensions with Reiter's Extensions. [Citation Graph (0, 0)][DBLP]
   JELIA, 2000, pp:102-117 [Conf]
   
9. Chunping Li
   Representing the Process Semantics in the Event Calculus. [Citation Graph (0, 0)][DBLP]
   JELIA, 2000, pp:118-132 [Conf]
   
10. Josefina Sierra-Santibáñez
    Declarative Formalization of Strategies for Action Selection: Applications to Planning. [Citation Graph (0, 0)][DBLP]
    JELIA, 2000, pp:133-147 [Conf]
    
11. Ofer Arieli
    An Algorithmic Approach to Recover Inconsistent Knowledge-Bases. [Citation Graph (0, 0)][DBLP]
    JELIA, 2000, pp:148-162 [Conf]
    
12. Abhaya C. Nayak
    Acceptance Without Minimality. [Citation Graph (0, 0)][DBLP]
    JELIA, 2000, pp:163-178 [Conf]
    
13. 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. [Citation Graph (0, 0)][DBLP]
    JELIA, 2000, pp:179-192 [Conf]
    
14. Pedro J. Martín, Antonio Gavilanes
    Simultaneous Rigid Sorted Unification. [Citation Graph (0, 0)][DBLP]
    JELIA, 2000, pp:193-208 [Conf]
    
15. Alexandre Riazanov, Andrei Voronkov
    Partially Adaptive Code Trees. [Citation Graph (0, 0)][DBLP]
    JELIA, 2000, pp:209-223 [Conf]
    
16. Henry Prakken
    On Dialogue Systems with Speech Acts, Arguments, and Counterarguments. [Citation Graph (0, 0)][DBLP]
    JELIA, 2000, pp:224-238 [Conf]
    
17. Gerard Vreeswijk, Henry Prakken
    Credulous and Sceptical Argument Games for Preferred Semantics. [Citation Graph (0, 0)][DBLP]
    JELIA, 2000, pp:239-253 [Conf]
    
18. Wiebe van der Hoek, Jan Jaspars, Elias Thijsse
    A General Approach to Multi-agent Minimal Knowledge. [Citation Graph (0, 0)][DBLP]
    JELIA, 2000, pp:254-268 [Conf]
    
19. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    A Modal Logic for Network Topologies. [Citation Graph (0, 0)][DBLP]
    JELIA, 2000, pp:269-283 [Conf]
    
20. Antonio Moreno, Ulises Cortés, Ton Sales
    Avoiding Logical Omniscience by Using Subjective Situations. [Citation Graph (0, 0)][DBLP]
    JELIA, 2000, pp:284-299 [Conf]
    
21. Michael Wooldridge, Alessio Lomuscio
    Multi-agent VSK Logic. [Citation Graph (0, 0)][DBLP]
    JELIA, 2000, pp:300-312 [Conf]
    
22. Thomas Eiter, Thomas Lukasiewicz
    New Tractable Cases in Default Reasoning from Conditional Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    JELIA, 2000, pp:313-328 [Conf]
    
23. Holger Sturm, Frank Wolter, Michael Zakharyaschev
    Monodic Epistemic Predicate Logic. [Citation Graph (0, 0)][DBLP]
    JELIA, 2000, pp:329-344 [Conf]
    
24. José Júlio Alferes, Luís Moniz Pereira
    Updates plus Preferences. [Citation Graph (0, 0)][DBLP]
    JELIA, 2000, pp:345-360 [Conf]
    
25. Paolo Liberatore
    A Framework for Belief Update. [Citation Graph (0, 0)][DBLP]
    JELIA, 2000, pp:361-375 [Conf]
    
26. James P. Delgrande, Torsten Schaub, Hans Tompits
    A Compilation of Brewka and Eiter's Approach to Prioritization. [Citation Graph (0, 0)][DBLP]
    JELIA, 2000, pp:376-390 [Conf]
    
27. Marina De Vos, Dirk Vermeir
    A Logic for Modeling Decision Making with Dynamic Preferences. [Citation Graph (0, 0)][DBLP]
    JELIA, 2000, pp:391-406 [Conf]