JELIA 2002:
Cosenza,
Italy
Sergio Flesca, Sergio Greco, Nicola Leone, Giovambattista Ianni (Eds.):
Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings.
Lecture Notes in Computer Science 2424 Springer 2002, ISBN 3-540-44190-5 BibTeX
@proceedings{DBLP:conf/jelia/2002,
editor = {Sergio Flesca and
Sergio Greco and
Nicola Leone and
Giovambattista Ianni},
title = {Logics in Artificial Intelligence, European Conference, JELIA
2002, Cosenza, Italy, September, 23-26, Proceedings},
booktitle = {JELIA},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2424},
year = {2002},
isbn = {3-540-44190-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Multi-agent Systems
Evolution and Changes
Description Logic and Semantic Web
Complexity Issues
Probabilistic Logic
Planning
Modal Logic and Causal Reasoning
Theory
Reasoning under Uncertainty
Satisfiability
Paraconsistent Reasoning
Actions and Causation
Logics for Agents
Semantics
Optimization Issues in Answer Set Semantics
System Session
- Rolf Haenni:
Argumentative Reasoning with ABEL.
505-508
Electronic Edition (Springer LINK) BibTeX
- James P. Delgrande, Aaron Hunter, Torsten Schaub:
COBA: A Consistency-Based Belief Revision System.
509-512
Electronic Edition (Springer LINK) BibTeX
- Raphael A. Finkel, V. Wiktor Marek, Miroslaw Truszczynski:
Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems.
513-516
Electronic Edition (Springer LINK) BibTeX
- Fosca Giannotti, Giuseppe Manco:
LDL-Mine: Integrating Data Mining with Intelligent Query Answering.
517-520
Electronic Edition (Springer LINK) BibTeX
- Christian Anger, Kathrin Konczak, Thomas Linke:
NoMoRe : Non-monotonic Reasoning with Logic Programs.
521-524
Electronic Edition (Springer LINK) BibTeX
- Guido Schimm:
Process Miner - A Tool for Mining Process Schemes from Event-Based Data.
525-528
Electronic Edition (Springer LINK) BibTeX
- Vicent Estruch, César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana:
SMILES: A Multi-purpose Learning System.
529-532
Electronic Edition (Springer LINK) BibTeX
- Deborah East, Miroslaw Truszczynski:
The aspps System.
533-536
Electronic Edition (Springer LINK) BibTeX
- 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.
537-540
Electronic Edition (Springer LINK) BibTeX
- Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres:
The DLVK Planning System: Progress Report.
541-544
Electronic Edition (Springer LINK) BibTeX
- Michael Minock, Hansi Kraus:
Z-log: Applying System-Z.
545-548
Electronic Edition (Springer LINK) BibTeX
Invited Talks
Copyright © Sat May 16 23:27:39 2009
by Michael Ley (ley@uni-trier.de)