Results 1  10
of
84,951
Functional Dependencies in Horn Theories
, 1998
"... This paper studies functional dependencies in Horn theories, both when the theory is represented by its clausal form and when it is defined as the Horn envelope of a set of models. We provide polynomial algorithms for the recognition of whether a given functional dependency holds in a given Horn the ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
This paper studies functional dependencies in Horn theories, both when the theory is represented by its clausal form and when it is defined as the Horn envelope of a set of models. We provide polynomial algorithms for the recognition of whether a given functional dependency holds in a given Horn
On the Difference of Horn Theories
, 2000
"... In this paper, we consider computing the difference between two Horn theories. This problem may arise, for example, if we take care of a theory change in a knowledge base. In general, the difference of Horn theories is not Horn. Therefore, we consider Horn approximations of the difference in terms o ..."
Abstract
 Add to MetaCart
In this paper, we consider computing the difference between two Horn theories. This problem may arise, for example, if we take care of a theory change in a knowledge base. In general, the difference of Horn theories is not Horn. Therefore, we consider Horn approximations of the difference in terms
Disjunctions of Horn Theories and their Cores
, 2001
"... In this paper, we study issues on disjunctions of propositional Horn theories. In particular, we consider the problems of deciding whether a disjunction of Horn theories is Horn, and, if not, computing a Horn core (i.e., a maximal Horn theory included in this disjunction) and the Horn envelope (i ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
In this paper, we study issues on disjunctions of propositional Horn theories. In particular, we consider the problems of deciding whether a disjunction of Horn theories is Horn, and, if not, computing a Horn core (i.e., a maximal Horn theory included in this disjunction) and the Horn envelope
Disjunction of Horn theories and their cores
, 1999
"... . In this paper, we study issues on disjunctions of propositional Horn theories. In particular, we consider deciding whether a disjunction of Horn theories is Horn, and, if not, computing a Horn core (i.e., a maximal Horn theory included in this disjunction) and Horn envelope (i.e., the minimum Horn ..."
Abstract
 Add to MetaCart
. In this paper, we study issues on disjunctions of propositional Horn theories. In particular, we consider deciding whether a disjunction of Horn theories is Horn, and, if not, computing a Horn core (i.e., a maximal Horn theory included in this disjunction) and Horn envelope (i.e., the minimum
Models of Horn theories
 Contemporary Mathematics
, 1989
"... Abstract. This paper explores the connection between categories of models of Horn theories and models of finite limit theories. The first is a proper subclass of the second. The question of which categories modelable by FL theories are also models of a Horn theory is related to the existence of enou ..."
Abstract

Cited by 5 (1 self)
 Add to MetaCart
Abstract. This paper explores the connection between categories of models of Horn theories and models of finite limit theories. The first is a proper subclass of the second. The question of which categories modelable by FL theories are also models of a Horn theory is related to the existence
Revising Horn Theories
 PROCEEDINGS OF THE TWENTYSECOND INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE
, 2011
"... This paper investigates belief revision where the underlying logic is that governing Horn clauses. It proves to be the case that classical (AGM) belief revision doesn’t immediately generalise to the Horn case. In particular, a standard construction based on a total preorder over possible worlds may ..."
Abstract

Cited by 15 (2 self)
 Add to MetaCart
to inferentiallyweaker Horn theories; hence it sheds light on the theoretical underpinnings of belief change, as well as generalising the AGM paradigm. Thus, this work is relevant to revision in areas that employ Horn clauses, such as deductive databases and logic programming, as well as areas in which inference
On the Difference of Horn Theories (Extended Abstract)
"... In this paper, we consider computing the difference between two Horn theories. This problem may arise, for example, if we take care of a theory change in a knowledge base. In general, the difference of Horn theories is not Horn. Therefore, we consider Horn approximations of the difference in terms o ..."
Abstract
 Add to MetaCart
In this paper, we consider computing the difference between two Horn theories. This problem may arise, for example, if we take care of a theory change in a knowledge base. In general, the difference of Horn theories is not Horn. Therefore, we consider Horn approximations of the difference in terms
Belief Revision in Horn TheoriesI
"... This paper investigates belief revision where the underlying logic is that governing Horn clauses. We show that classical (AGM) belief revision doesn’t immediately generalise to the Horn case. In particular, a standard construction based on a total preorder over possible worlds may violate the accep ..."
Abstract
 Add to MetaCart
this work is interesting for several reasons. It extends AGM revision to inferentiallyweaker Horn theories; hence it sheds light on the theoretical underpinnings of belief change, as well as generalising the AGM paradigm. Thus, this work is relevant to revision in areas that employ Horn clauses
Fibrational Classification of Positive Horn Theories
, 1998
"... We present a fibrational semantics of positive Horn logic with and without equality. The corresponding soundness, completeness and classification theorems are established. Emphasis lies on the results as well as on the proof methods. ..."
Abstract
 Add to MetaCart
We present a fibrational semantics of positive Horn logic with and without equality. The corresponding soundness, completeness and classification theorems are established. Emphasis lies on the results as well as on the proof methods.
Results 1  10
of
84,951