AbstractIn this paper we combine concepts from algebraic semantics and first-order logic programming in order to build an extended logic programming framework. This framework is applied to obtain a computational formalization of the model theory of knowledge of McCarthy et al. (1978)
It is commonly believed that the meaning of a formal declarative knowledge representation language ...
Covering the authors’ own state-of-the-art research results, Mathematical Aspects of Logic Programmi...
We address the import of AI for philosophical logic and examine the requirements posed by knowledge ...
AbstractIn this paper we combine concepts from algebraic semantics and first-order logic programming...
AbstractIn this paper we give a short introduction to logic programming approach to knowledge repres...
AbstractIn this paper we give a short introduction to logic programming approach to knowledge repres...
In this paper we give a short introduction to logic programming approach to knowledge representation...
A detailed exposition of foundations of a logic-algebraic model for reasoning with knowledge bases ...
AbstractAbduction — from observations and a theory, find using hypotheses an explanation for the obs...
Logic programming employs logic as a programming language. Thus a logic program consists of a set of...
Logic programming employs logic as a programming language. Thus a logic program consists of a set of...
AbstractWe discuss a very general semantic operator arising within logic-based programming systems f...
The question how knowledge can be represented by means of logic programs with negation has been a dr...
Knowledge Representation and Reasoning is the area of artificial intelligence that is concerned with...
Covering the authors’ own state-of-the-art research results, Mathematical Aspects of Logic Programmi...
It is commonly believed that the meaning of a formal declarative knowledge representation language ...
Covering the authors’ own state-of-the-art research results, Mathematical Aspects of Logic Programmi...
We address the import of AI for philosophical logic and examine the requirements posed by knowledge ...
AbstractIn this paper we combine concepts from algebraic semantics and first-order logic programming...
AbstractIn this paper we give a short introduction to logic programming approach to knowledge repres...
AbstractIn this paper we give a short introduction to logic programming approach to knowledge repres...
In this paper we give a short introduction to logic programming approach to knowledge representation...
A detailed exposition of foundations of a logic-algebraic model for reasoning with knowledge bases ...
AbstractAbduction — from observations and a theory, find using hypotheses an explanation for the obs...
Logic programming employs logic as a programming language. Thus a logic program consists of a set of...
Logic programming employs logic as a programming language. Thus a logic program consists of a set of...
AbstractWe discuss a very general semantic operator arising within logic-based programming systems f...
The question how knowledge can be represented by means of logic programs with negation has been a dr...
Knowledge Representation and Reasoning is the area of artificial intelligence that is concerned with...
Covering the authors’ own state-of-the-art research results, Mathematical Aspects of Logic Programmi...
It is commonly believed that the meaning of a formal declarative knowledge representation language ...
Covering the authors’ own state-of-the-art research results, Mathematical Aspects of Logic Programmi...
We address the import of AI for philosophical logic and examine the requirements posed by knowledge ...
DOI
Add to ORKG