Add to ORKGA detailed exposition of foundations of a logic-algebraic model for reasoning with knowledge bases speci ed by propositional (Boolean) logic is presented. The model is conceived from the logical translation of usual derivatives on polynomials (on residue rings) which is used to design a new inference rule of algebro-geometric inspiration. Soundness and (refutational) completeness of the rule are proved. Some applications of the tools introduced in the paper are shown.Ministerio de Economía y Competitividad TIN2013-41086-
AbstractIn this paper we combine concepts from algebraic semantics and first-order logic programming...
Logic has been a—disputed—ingredient in the emergence and development of the now very large field kn...
Logic has been a—disputed—ingredient in the emergence and development of the now very large field kn...
Abstract This article presents a survey of the authors ’ research on knowledge extraction and verifi...
AbstractIn this paper we combine concepts from algebraic semantics and first-order logic programming...
The paper examines the usage potential of n-tuple algebra (NTA) developed by the authors as a theore...
AbstractWe develop a model-based approach to reasoning, in which the knowledge base is represented a...
We develop a model-based approach to reasoning, in which the knowledge base is represented as a set ...
The aim of this paper is to present a new algebraic approach from computer algebra to a discretized ...
This book explores the building of expert systems using logic for knowledge representation and meta-...
This book explores the building of expert systems using logic for knowledge representation and meta-...
We present a computational model for developing intelligent agents that are able to reason in multip...
We present a computational model for developing intelligent agents that are able to reason in multip...
The field of Knowledge Representation is devoted to the study of how knowledge can be represented an...
We develop a model-based approach to reasoning, in which the knowledge base is represented as a set ...
AbstractIn this paper we combine concepts from algebraic semantics and first-order logic programming...
Logic has been a—disputed—ingredient in the emergence and development of the now very large field kn...
Logic has been a—disputed—ingredient in the emergence and development of the now very large field kn...
Abstract This article presents a survey of the authors ’ research on knowledge extraction and verifi...
AbstractIn this paper we combine concepts from algebraic semantics and first-order logic programming...
The paper examines the usage potential of n-tuple algebra (NTA) developed by the authors as a theore...
AbstractWe develop a model-based approach to reasoning, in which the knowledge base is represented a...
We develop a model-based approach to reasoning, in which the knowledge base is represented as a set ...
The aim of this paper is to present a new algebraic approach from computer algebra to a discretized ...
This book explores the building of expert systems using logic for knowledge representation and meta-...
This book explores the building of expert systems using logic for knowledge representation and meta-...
We present a computational model for developing intelligent agents that are able to reason in multip...
We present a computational model for developing intelligent agents that are able to reason in multip...
The field of Knowledge Representation is devoted to the study of how knowledge can be represented an...
We develop a model-based approach to reasoning, in which the knowledge base is represented as a set ...
AbstractIn this paper we combine concepts from algebraic semantics and first-order logic programming...
Logic has been a—disputed—ingredient in the emergence and development of the now very large field kn...
Logic has been a—disputed—ingredient in the emergence and development of the now very large field kn...