Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

37 relations
ALFAutomated theorem provingBlake canonical formBoolean satisfiability problem

Broader (1)

Logic in computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2005
Highly Cited
2005
Design and simulation of a 1 to 14 GHz broadband electromagnetic compatibility DRGH antenna
This work presents the design and simulation of a 1-14 GHz double ridged guide horn antenna (DRGH) with coaxial input feed… 
Highly Cited
2004
Highly Cited
2004
Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic
Review
2001
Review
2001
Security for Mobility
We show how to use static analysis to provide information about security issues related to mobility. First the syntax and… 
1999
1999
Horn Clause Computation with DNA Molecules
In this paper, we will propose Horn clause computation as an underlying computational framework of DNA computer. Horn clause… 
Highly Cited
1990
Highly Cited
1990
Constraint Analysis: A Design Process for Specifying Operations on Objects
A design process for an object-oriented database design environment, known as constraint analysis, is presented. Given the… 
Highly Cited
1989
Highly Cited
1989
Completion Without Failure11This research was supported in part by the National Science Foundation under grants DCR 85–13417 and DCR 85–16243.
Highly Cited
1989
Highly Cited
1989
A direct method for locating the focus of expansion
1988
1988
Non-Horn clause logic programming without contrapositives
We present an extension of Prolog-style Horn clause logic programming to full first order logic. This extension has some… 
Highly Cited
1988
Highly Cited
1988
On Word Problems in Horn Theories
Highly Cited
1987
Highly Cited
1987
Implementation of Recursive Queries for a Data Language Based on Pure Horn Logic
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)