Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,895,296 papers from all fields of science
Search
Sign In
Create Free Account
Horn clause
Known as:
Horn formula
, Universal Horn theory
, Definite clause
Expand
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
37 relations
ALF
Automated theorem proving
Blake canonical form
Boolean satisfiability problem
Expand
Broader (1)
Logic in computer science
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Sad stories: a preliminary study of NAPLAN practice texts analysing students’ second language linguistic resources and the effects
Denise Angelo
2012
Corpus ID: 142165686
This paper analyses practice texts produced by Indigenous students who are first language (L1) speakers of the local variety of…
Expand
2011
2011
Idealized coinductive type systems for imperative object-oriented programs
D. Ancona
,
Giovanni Lagorio
RAIRO - Theoretical Informatics and Applications
2011
Corpus ID: 9047341
In recent work we have proposed a novel approach to define idealized type systems for object-oriented languages, based on…
Expand
2011
2011
Filogenia y evolución local de la cabra montés (Capra pyrenaica) en el yacimiento Cuaternario de Chaves (Huesca, España) Phylogeny and local evolution of The Iberian Wild Goat (Capra pyrenaica) in…
Irene Ureña
,
J. Arsuaga
,
Ángeles M Galindo-Pellicena
,
A. Götherström
,
C. Valdiosera
2011
Corpus ID: 88369297
La cabra montesa iberica (Capra pyrenaica, Schinz 1838) es un endemismo de la Peninsula Iberica que en los ultimos siglos ha…
Expand
2010
2010
A Probabilistic Abduction Engine for Media Interpretation
O. Gries
,
Ralf Möller
,
Anahita Nafissi
,
Maurice Rosenfeld
,
K. Sokolski
,
Michael Wessel
2010
Corpus ID: 14257254
For multimedia interpretation, and in particular for the combined interpretation of information coming from different modalities…
Expand
2006
2006
Using abduction for induction of normal logic programs
O. Ray
,
Peter A. Flach
,
A. Kakas
,
L. Magnani
2006
Corpus ID: 54775
This paper proposes the approach of eXtended Hybrid Abductive Inductive Learning (XHAIL) for generalising positive and negative…
Expand
2004
2004
Tableaux for logics of time and knowledge with interactions relating to synchrony
C. Dixon
,
C. Nalon
,
Michael Fisher
J. Appl. Non Class. Logics
2004
Corpus ID: 3403213
The paper describes tableaux based proof methods for temporal logics of knowledge allowing non-trivial interaction axioms between…
Expand
1994
1994
Occam: Specification and Compiler Correctness - Part I: The Primary Model
E. Börger
,
Igor Durdanovic
,
D. Rosenzweig
Programming Concepts and Methods
1994
Corpus ID: 2952714
We develop several simple operational models of Occam at different levels of abstraction, and relate them by relative correctness…
Expand
1992
1992
Artificial Intelligence Methods and Applications
N. Bourbakis
1992
Corpus ID: 60285096
An introduction to artificial intelligence, N.G. Bourbakis fundamental methods for horn logic and AI applications, E. Kounalis…
Expand
Review
1991
Review
1991
The advanced grammar book
J. Steer
,
Karen Carlisi
1991
Corpus ID: 60688606
PREFACE 1: AMERICAN CULTURE. Preview. Grammatical Patterns Part One. I. Count Nouns. II. Noncount Nouns. A. Mass Nouns. B…
Expand
1988
1988
Body weight and horn length in relation to age of the Spanish wild goat
P. Fandos
,
Carlos R. Vigal
1988
Corpus ID: 59131344
Growth in body weight and horn length was studied in two Spanish wild goat populations (Capra pyrenaica Schinz, 1838) in Sierra…
Expand