Logics in Ai European Workshop Jelia '92, Berlin, Germany, September 7-10, 1992 : Proceedings'

&
Springer Verlag (1992)
  Copy   BIBTEX

Abstract

This volume contains the proceedings of JELIA '92, les Journ es Europ ennes sur la Logique en Intelligence Artificielle, or the Third European Workshop on Logics in Artificial Intelligence. The volume contains 2 invited addresses and 21 selected papers covering such topics as: - Logical foundations of logic programming and knowledge-based systems, - Automated theorem proving, - Partial and dynamic logics, - Systems of nonmonotonic reasoning, - Temporal and epistemic logics, - Belief revision. One invited paper, by D. Vakarelov, is on arrow logics, i.e., modal logics for representing graph information. The other, by L.M. Pereira,J.J. Alferes, and J.N. Apar cio, is on default theory for well founded semantics with explicit negation.

Categories

Keywords

Reprint years

ISBN(s)

354055887X   9783540558873

Other Versions

No versions found

View all bargains

Buy this book

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,005

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Logics in Ai European Workshop Jelia '90, Amsterdam, the Netherlands, September 10-14, 1990 : Proceedings'.Jan van Eijck - 2014 - Springer.
Logics in Artificial Intelligence: European Workshop, Jelia '96, Evora, Portugal, September 30 - October 3, 1996, Proceedings.Jose Julio Alferes, Luis Moniz Pereira & Ewa Orlowska - 1996 - Springer Verlag.
Logics in Artificial Intelligence: European Workshop Jelia '94, York, Uk, September 5-8, 1994 : Proceedings.Craig MacNish & David A. Pearce - 1994 - Springer.
Logics in Artificial Intelligence.Francesco Calimeri, Nicola Leone & Marco Manna (eds.) - 2019 - Springer.
Logics in Artificial Intelligence: European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings.Manuel Ojeda-Aciego, Inma P. De Guzman, Gerhard Brewka & Luis M. Pereira - 2000 - Springer.
Nonclassical Logics and Information Processing: International Workshop, Berlin, Germany, November 9-10, 1990 : Proceedings.David A. Pearce & Heinrich Wansing - 1992 - Springer.
Logics in Artificial Intelligence: European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings.Sergio Flesca - 2002 - Springer Verlag.
Logics in Artificial Intelligence (JELIA 2004).Jose Alferes & Joao Leite (eds.) - 2004 - Springer.
Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings.Moshe Vardi & Andrei Voronkov - 2003 - Springer Verlag.
Logic Programming and Non-monotonic Reasoning: Proceedings of the First International Workshop.Wiktor Marek, Anil Nerode, V. S. Subrahmanian & Association for Logic Programming - 1991 - MIT Press (MA).

Analytics

Added to PP
2015-02-13

Downloads
7 (#1,664,624)

6 months
2 (#1,307,502)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references