Logics in artificial intelligence: European workshop, JELIA 2000, Malaga, Spain, September 29 - October 2, 2000 : proceedings

Logics in artificial intelligence: European workshop, JELIA 2000, Malaga, Spain, September 29 - October 2, 2000 : proceedings

This book constitutes the refereed proceedings of the European Workshop on Logics in Artificial Intelligence, JELIA 2000, held in Malaga, Spain in September/October 2000. The 24 revised full papers presented together with three invited papers were carefully reviewed and selected out of 60 submission...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Ojeda-Aciego, Manuel, Guzman, Inma P. de, Brewka, Gerhard, Pereira, Luis M
Format: Buch
Sprache:eng
Schlagworte:
Artificial intelligence
Logic, Symbolic and mathematical
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:This book constitutes the refereed proceedings of the European Workshop on Logics in Artificial Intelligence, JELIA 2000, held in Malaga, Spain in September/October 2000. The 24 revised full papers presented together with three invited papers were carefully reviewed and selected out of 60 submissions. The papers are organized in topical sections on knowledge representation, reasoning about actions, belief revision, theorem proving, argumentation, agents, decidability and complexity, updates, and preferences.