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|