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)
Logic has traditionally provided a firm conceptual framework for representing knowledge. As it can f...
AbstractLogic programs are considered as abductive programs with negative literals as abductive hypo...
. The paper addresses important problems of building complex logical systems and their representatio...
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...
In this paper we give a short introduction to logic programming approach to knowledge representation...
Covering the authors’ own state-of-the-art research results, Mathematical Aspects of Logic Programmi...
Covering the authors’ own state-of-the-art research results, Mathematical Aspects of Logic Programmi...
AbstractIn a broad sense, logic is the field of formal languages for knowledge and truth that have a...
It is commonly believed that the meaning of a formal declarative knowledge representation language ...
In order to enable logic programming to deal with the diversity of pervasive systems, where many he...
It is commonly believed that the meaning of a formal declar-ative knowledge representation language ...
We address the import of AI for philosophical logic and examine the requirements posed by knowledge ...
Modularity is an essential aspect of knowledge representation theory and practice. It has received s...
This paper contains a systematic study of the foundations of knowledge representation, computation, ...
Logic has traditionally provided a firm conceptual framework for representing knowledge. As it can f...
AbstractLogic programs are considered as abductive programs with negative literals as abductive hypo...
. The paper addresses important problems of building complex logical systems and their representatio...
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...
In this paper we give a short introduction to logic programming approach to knowledge representation...
Covering the authors’ own state-of-the-art research results, Mathematical Aspects of Logic Programmi...
Covering the authors’ own state-of-the-art research results, Mathematical Aspects of Logic Programmi...
AbstractIn a broad sense, logic is the field of formal languages for knowledge and truth that have a...
It is commonly believed that the meaning of a formal declarative knowledge representation language ...
In order to enable logic programming to deal with the diversity of pervasive systems, where many he...
It is commonly believed that the meaning of a formal declar-ative knowledge representation language ...
We address the import of AI for philosophical logic and examine the requirements posed by knowledge ...
Modularity is an essential aspect of knowledge representation theory and practice. It has received s...
This paper contains a systematic study of the foundations of knowledge representation, computation, ...
Logic has traditionally provided a firm conceptual framework for representing knowledge. As it can f...
AbstractLogic programs are considered as abductive programs with negative literals as abductive hypo...
. The paper addresses important problems of building complex logical systems and their representatio...
DOI
Add to ORKG