Logics in AI

Logics in AI

4.11 - 1251 ratings - Source

The European Workshop on Logics in Artificial Intelligence was held at the Centre for Mathematics and Computer Science in Amsterdam, September 10-14, 1990. This volume includes the 29 papers selected and presented at the workshop together with 7 invited papers. The main themes are: - Logic programming and automated theorem proving, - Computational semantics for natural language, - Applications of non-classical logics, - Partial and dynamic logics.Partial first-order logic is a generalization of classical first-order logic which admits truth value gaps. ... In this paper we look at the question from a model theoretic perspective. ... of submodel and direct product as applied to partial models, and identify some syntactically defined class of sentences which is characterized by aanbsp;...

Title:Logics in AI
Author:Jan van Eijck
Publisher:Springer Science & Business Media - 1991-02-26


You Must CONTINUE and create a free account to access unlimited downloads & streaming