Non-Fiction Books:

Logics in AI

European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$170.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $42.50 with Afterpay Learn more

6 weekly interest-free payments of $28.33 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 11-21 June using International Courier

Description

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.
Release date NZ
August 19th, 1992
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
Contributors
  • Edited by David Pearce
  • Edited by Gerd Wagner
Illustrations
VIII, 412 p.
Pages
412
Dimensions
155x235x21
ISBN-13
9783540558873
Product ID
2797061

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Help & options

Filed under...