Items related to Logics in AI: European Workshop JELIA '92, Berlin,...
Logics in AI: European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings: 633 (Lecture Notes in Computer Science, 633) - Softcover
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.
Other Popular Editions of the Same Title
Search results for Logics in AI: European Workshop JELIA '92, Berlin,...
Seller Image
Logics in AI : proceedings / European Workshop JELIA '92, Berlin, Germany, September 7 - 10, 1992. D. Pearce ; G. Wagner (ed.) / Lecture notes in computer science ; Vol. 633 : Lecture notes in artificial intelligence
Published by
Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer, 1992
ISBN 10: 354055887X
ISBN 13: 9783540558873
Used
Softcover
Seller: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germany
Seller rating 5 out of 5 stars
Softcover. 1992. VIII, 410 S. : graph. Darst. ; 25 cm Unread book. Very good condition. Slight traces of storage. 9783540558873 Sprache: Englisch Gewicht in Gramm: 1311. Seller Inventory # 219381
Quantity: 1 available
Stock Image
Logics in AI: European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings (Lecture Notes in Computer Science)
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Ex-library paperback in nice condition with the usual markings and attachments. Seller Inventory # UTD1421555
Quantity: 1 available
Stock Image
Logics in AI: European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings (Lecture Notes in Computer Science, 633)
Seller: Best Price, Torrance, CA, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9783540558873
Quantity: 1 available
Stock Image
Logics in AI: European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings (Lecture Notes in Computer Science, 633)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020170588
Quantity: Over 20 available
Stock Image
Logics in AI: European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings (Lecture Notes in Computer Science, 633)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540558873_new
Quantity: Over 20 available
Stock Image
Logics in AI : European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783540558873
Quantity: 10 available
Seller Image
Logics in AI
Published by
Springer Berlin Heidelberg, 1992
ISBN 10: 354055887X
ISBN 13: 9783540558873
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume contains the proceedings of JELIA 92, lesJourn es Europ ennes sur la Logique en IntelligenceArtificielle, or the Third European Workshop on Logics inArtificial Intelligence.The volume contains 2 invited addresses and 21 selectedpapers cover. Seller Inventory # 4893774
Quantity: Over 20 available
Seller Image
Logics in AI
Published by
Springer Berlin Heidelberg Aug 1992, 1992
ISBN 10: 354055887X
ISBN 13: 9783540558873
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume contains the proceedings of JELIA '92, lesJourn 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.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 424 pp. Englisch. Seller Inventory # 9783540558873
Quantity: 1 available
Seller Image
Logics in AI : European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings
Published by
Springer Berlin Heidelberg, 1992
ISBN 10: 354055887X
ISBN 13: 9783540558873
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of JELIA '92, lesJourn es Europ ennes sur la Logique en IntelligenceArtificielle, or the Third European Workshop on Logics inArtificial Intelligence.The volume contains 2 invited addresses and 21 selectedpapers covering such topics as:- Logical foundations of logic programming andknowledge-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. Theother, by L.M. Pereira,J.J. Alferes, and J.N. Apar cio, ison default theory for well founded semantics with explicitnegation. Seller Inventory # 9783540558873
Quantity: 1 available
Seller Image
Logics in AI
Published by
Springer Berlin Heidelberg Aug 1992, 1992
ISBN 10: 354055887X
ISBN 13: 9783540558873
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of JELIA '92, lesJourn es Europ ennes sur la Logique en IntelligenceArtificielle, or the Third European Workshop on Logics inArtificial Intelligence.The volume contains 2 invited addresses and 21 selectedpapers covering such topics as: Logical foundations of logic programming andknowledge-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 logicsi.e., modal logics for representing graph information. Theother, by L.M. Pereira,J.J. Alferes, and J.N. Apar cio, ison default theory for well founded semantics with explicitnegation. 424 pp. Englisch. Seller Inventory # 9783540558873
Quantity: 2 available