The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Conferences in DBLP

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

  1. Stefania Costantini, Arianna Tocchio
    A Logic Programming Language for Multi-agent Systems. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:1-13 [Conf]
  2. Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni
    A Proof-System for the Safe Execution of Tasks in Multi-agent Systems. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:14-26 [Conf]
  3. Leila Amgoud, Simon Parsons
    An Argumentation Framework for Merging Conflicting Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:27-37 [Conf]
  4. Renate A. Schmidt, Dmitry Tishkovsky
    Multi-agent Logics of Dynamic Belief and Knowledge. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:38-49 [Conf]
  5. José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira
    Evolving Logic Programs. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:50-61 [Conf]
  6. José Júlio Alferes, Pierangelo Dell'Acqua, Luís Moniz Pereira
    A Compilation of Updates plus Preferences. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:62-73 [Conf]
  7. Piero A. Bonatti
    Towards Service Description Logics. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:74-85 [Conf]
  8. Rosalba Giugno, Thomas Lukasiewicz
    P-SHOQ(D): A Probabilistic Extension of SHOQ(D) for Probabilistic Ontologies in the Semantic Web. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:86-97 [Conf]
  9. Alessandro Artale, Enrico Franconi, Frank Wolter, Michael Zakharyaschev
    A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:98-110 [Conf]
  10. Hudson Turner
    Polynomial-Length Planning Spans the Polynomial Hierarchy. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:111-124 [Conf]
  11. Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev
    Complexity of Multi-agent Systems Behavior. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:125-136 [Conf]
  12. Gianluigi Greco, Ester Zumpano
    Complexity and Algorithms for the Matching of Bag and Set Terms. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:137-148 [Conf]
  13. Stanislav Krajci, Rastislav Lencses, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde, Peter Vojtás
    Non-commutativity and Expressive Deductive Logic Databases. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:149-160 [Conf]
  14. Christoph Beierle, Gabriele Kern-Isberner
    Using Institutions for the Study of Qualitative and Quantitative Conditional Logics. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:161-172 [Conf]
  15. Jürgen Dix, Héctor Muñoz-Avila, Dana S. Nau, Lingling Zhang
    Theoretical and Empirical Aspects of a Planner in a Multi-agent Environment. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:173-185 [Conf]
  16. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
    Answer Set Planning under Action Costs. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:186-197 [Conf]
  17. Guido Governatori, Vineet Padmanabhan, Abdul Sattar
    On Fibring Semantics for BDI Logics. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:198-210 [Conf]
  18. Graham White
    A Modal Formulation of McCain and Turner's Theory of Causal Reasoning. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:211-222 [Conf]
  19. Andrzej Szalas
    Second-Order Quantifier Elimination in Modal Contexts. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:223-232 [Conf]
  20. Eyal Amir
    Interpolation Theorems for Nonmonotonic Reasoning Systems. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:233-244 [Conf]
  21. Koji Iwanuma, Katsumi Inoue
    Minimal Answer Computation and SOL. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:245-258 [Conf]
  22. Angelo Montanari, Guido Sciavicco, Nicola Vitacolonna
    Decidability of Interval Temporal Logics over Split-Frames via Granularity. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:259-270 [Conf]
  23. Yann Loyer, Umberto Straccia
    Uncertainty and Partial Non-uniform Assumptions in Parametric Deductive Databases. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:271-282 [Conf]
  24. Mazen El-Sayed, Daniel Pacholczyk
    A Qualitative Reasoning with Nuanced Information. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:283-295 [Conf]
  25. Enrico Giunchiglia, Marco Maratea, Armando Tacchella
    Dependent and Independent Variables in Propositional Satisfiability. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:296-307 [Conf]
  26. Cesare Tinelli
    A DPLL-Based Calculus for Ground Satisfiability Modulo Theories. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:308-319 [Conf]
  27. Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran
    Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:320-331 [Conf]
  28. Sébastien Konieczny, Pierre Marquis
    Three-Valued Logics for Inconsistency Handling. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:332-344 [Conf]
  29. João Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira
    Paraconsistent Logic Programs. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:345-356 [Conf]
  30. Dongmo Zhang, Norman Y. Foo
    Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:357-368 [Conf]
  31. Tran Cao Son, Enrico Pontelli
    Reasoning about Actions in Prioritized Default Theory. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:369-381 [Conf]
  32. Laura Giordano, Camilla Schwind
    Towards a Conditional Logic of Actions and Causation. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:382-393 [Conf]
  33. Helle Hvid Hansen, Marc Pauly
    Axiomatising Nash-Consistent Coalition Logic. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:394-406 [Conf]
  34. Richard J. Wallace
    Representing Possibilities in Relation to Constraints and Agents. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:407-418 [Conf]
  35. Fariba Sadri, Francesca Toni, Paolo Torroni
    An Abductive Logic Programming Architecture for Negotiating Agents. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:419-431 [Conf]
  36. Davy Van Nieuwenborgh, Dirk Vermeir
    Preferred Answer Sets for Ordered Logic Programs. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:432-443 [Conf]
  37. Gerhard Brewka, Ilkka Niemelä, Tommi Syrjänen
    Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:444-455 [Conf]
  38. Panos Rondogiannis, William W. Wadge
    An Infinite-Valued Semantics for Logic Programs with Negation. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:456-467 [Conf]
  39. Thomas Linke, Christian Anger, Kathrin Konczak
    More on noMoRe. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:468-480 [Conf]
  40. Pascal Nicolas, Frédéric Saubion, Igor Stéphan
    Answer Set Programming by Ant Colony Optimization. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:481-492 [Conf]
  41. Tomi Janhunen, Emilia Oikarinen
    Testing the Equivalence of Logic Programs under Stable Model Semantics. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:493-504 [Conf]
  42. Rolf Haenni
    Argumentative Reasoning with ABEL. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:505-508 [Conf]
  43. James P. Delgrande, Aaron Hunter, Torsten Schaub
    COBA: A Consistency-Based Belief Revision System. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:509-512 [Conf]
  44. Raphael A. Finkel, V. Wiktor Marek, Miroslaw Truszczynski
    Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:513-516 [Conf]
  45. Fosca Giannotti, Giuseppe Manco
    LDL-Mine: Integrating Data Mining with Intelligent Query Answering. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:517-520 [Conf]
  46. Christian Anger, Kathrin Konczak, Thomas Linke
    NoMoRe : Non-monotonic Reasoning with Logic Programs. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:521-524 [Conf]
  47. Guido Schimm
    Process Miner - A Tool for Mining Process Schemes from Event-Based Data. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:525-528 [Conf]
  48. Vicent Estruch, César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana
    SMILES: A Multi-purpose Learning System. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:529-532 [Conf]
  49. Deborah East, Miroslaw Truszczynski
    The aspps System. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:533-536 [Conf]
  50. Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Francesco Calimeri, Tina Dell'Armi, Thomas Eiter, Georg Gottlob, Giovambattista Ianni, Giuseppe Ielpa, Christoph Koch, Simona Perri, Axel Polleres
    The DLV System. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:537-540 [Conf]
  51. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
    The DLVK Planning System: Progress Report. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:541-544 [Conf]
  52. Michael Minock, Hansi Kraus
    Z-log: Applying System-Z. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:545-548 [Conf]
  53. Thomas Eiter, Georg Gottlob
    Hypergraph Transversal Computation and Related Problems in Logic and AI. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:549-564 [Conf]
  54. Moshe Y. Vardi
    Alternation. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:565- [Conf]
  55. Michael Gelfond
    The USA-Advisor: A Case Study in Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:566-568 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002