Items related to Logic in Artificial Intelligence (Lecture Notes in...

Logic in Artificial Intelligence (Lecture Notes in Artificial Intelligence : Volume 838) - Softcover

 
9780387583327: Logic in Artificial Intelligence (Lecture Notes in Artificial Intelligence : Volume 838)
Softcover
ISBN 10: 0387583327 ISBN 13: 9780387583327
Publisher: Springer Verlag, 1994

This specific ISBN edition is currently not available.

Synopsis

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.

"synopsis" may belong to another edition of this title.

  • PublisherSpringer Verlag
  • Publication date1994
  • ISBN 10 0387583327
  • ISBN 13 9780387583327
  • BindingPaperback
  • LanguageEnglish
  • EditorMacnish C.

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783540558873: Logics in AI: European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings: 633 (Lecture Notes in Computer Science, 633)

Featured Edition

ISBN 10:  354055887X ISBN 13:  9783540558873
Publisher: Springer, 1992
Softcover