Wyniki wyszukiwania:

This volume constitutes the refereed proceedings of the European Workshop on Logics in Artificial Intelligence, JELTA '98, held in Dagstuhl, Germany, in October 1998. The 25 revised full papers presented were carefully selected from a total of 65 submissions. Also included are two abstracts of invited talks. The papers are organized in topical sections on: logic programming; epistemic logics; theorem proving; non-monotonic reasoning; non-standard logics; knowledge representation; and higher order logics.

This book looks at the ways in which conditionals, an integral part of philosophy and logic, can be of practical use in computer programming. It analyzes the different types of conditionals, including their applications and potential problems. Other topics include defeasible logics, the Ramsey test, and a unified view of consequence relation and belief revision. Its implications will be of interest to researchers in logic, philosophy, and computer science, particularly artificial intelligence.

Constitutes the refereed proceedings of the 13th European Conference on Logics in Artificial Intelligence, held in Toulouse, France, in September 2012.