Horn clause

Known as: Horn formula, Universal Horn theory, Definite clause 
In mathematical logic and logic programming, a Horn clause is a logical formula of a particular rule-like form which gives it useful properties for… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
One of the main challenges in software verification is efficient and precise compositional analysis of programs with procedures… (More)
  • figure 4
Is this relevant?
Highly Cited
2013
Highly Cited
2013
Program proving can be viewed as solving for unknown relations (such as loop invariants, procedure summaries and so on) that… (More)
  • figure 2
  • figure 4
  • figure 5
  • table 1
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Knowledge acquisition is a difficult, error-prone, and time-consuming task. The task of automatically improving an existing… (More)
Is this relevant?
Highly Cited
1993
Highly Cited
1993
This paper presents a simple framework for Horn clause abduc tion with probabilities associated with hypotheses The framework… (More)
Is this relevant?
Highly Cited
1992
Highly Cited
1992
An algorithm is presented for learning the class of Boolean formulas that are expressible as conjunctions of Horn clauses. (A… (More)
  • figure 2
Is this relevant?
Highly Cited
1990
Highly Cited
1990
A generalization of Horn clauses to a higher-order logic is described and examined as a basis for logic programming. In… (More)
Is this relevant?
Highly Cited
1988
Highly Cited
1988
Of course, from childhood to forever, we are always thought to love reading. It is not only reading the lesson book but also… (More)
Is this relevant?
Highly Cited
1985
Highly Cited
1985
D A logic program consists of a set of Horn clauses, and can be used to express a query on relational data bases. It is shown… (More)
Is this relevant?
Highly Cited
1984
Highly Cited
1984
D New algorithms for deciding whether a (propositional) Horn formula is satisfiable are presented. If the Horn formula A contains… (More)
Is this relevant?
Highly Cited
1982
Highly Cited
1982
Certain sentences about relations are of special practical and theoretical interest for relational databases. For historical… (More)
  • figure 3
  • figure 4
  • figure 5
  • figure 7
  • figure 8
Is this relevant?