.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Logics in AI
. Ed(S): Pearce, David; Wagner, G.
€ 72.62
FREE Delivery in Ireland
Description for Logics in AI
Paperback. The proceedings of an international workshop which discusses such topics as automated theorem proving, the logical foundations of logic programming, systems of nonmonotonic reasoning, temporal and epistemic logics, belief revision and modal logics for representing graph information. Editor(s): Pearce, David; Wagner, G. Series: Lecture Notes in Computer Science. Num Pages: 420 pages, biography. BIC Classification: PBCD; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 21. Weight in Grams: 1310.
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 ... Read more
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 ... Read more
Product Details
Format
Paperback
Publication date
1992
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
420
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
412
Place of Publication
Berlin, Germany
ISBN
9783540558873
SKU
V9783540558873
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Logics in AI