Horn Clauses is a type of logical clause in propositional or first-order logic that contains at most one positive literal, distinguishing it from general clauses by enabling efficient inference in rule-based systems.
258
Publications
14.6K
Citations
440
Authors
237
Institutions
Publications per year
2017–2026
39
Parents
Publications
258
ZEUS: Analyzing Safety of Smart Contracts
Sukrit Kalra, Seep Goel, Mohan Dhawan et al. · 2018 · 710 citations · Full text
Uniform proofs as a foundation for logic programming
Dale Miller, Gopalan Nadathur, Frank Pfenning et al. · Annals of Pure and Applied Logic · 1991 · 576 citations
Computing, Computer Science, Logic +16
Horn clauses and database dependencies
Ronald Fagin · Journal of the ACM · 1982 · 377 citations · Full text
1–5 of 258
Authors
440
- DM
8
h-index
- RR
7
h-index
- PR
6
h-index
- GN
5
h-index
- CZ
5
h-index
1–5 of 440
Institutions
237
The University of Texas at Austin
Austin, United States
10 h-index
13 publications
1.9K citations
University of Illinois Urbana-Champaign
Urbana, United States
7 h-index
11 publications
619 citations
University of Pennsylvania
Philadelphia, United States
7 h-index
9 publications
1.6K citations
Centre National de la Recherche Scientifique
Paris, France
7 h-index
9 publications
464 citations
Uppsala University
Uppsala, Sweden
7 h-index
9 publications
438 citations
Carnegie Mellon University
Pittsburgh, United States
6 h-index
9 publications
959 citations
Duke University
Durham, United States
6 h-index
7 publications
782 citations
Purdue University West Lafayette
West Lafayette, United States
6 h-index
6 publications
273 citations
1–8 of 237
Venues
- Theoretical Computer Science
9 publications · 258 citations
9
h-index
- Journal of the ACM
JACM · 8 publications · 949 citations
8
h-index
- The Journal of Logic Programming
8 publications · 738 citations
8
h-index
- Theory and Practice of Logic Programming
7 publications · 124 citations
7
h-index
- Artificial Intelligence
6 publications · 566 citations
6
h-index
1–5