Non-Horn clause logic programming

Artificial Intelligence 92 (1-2):243-258 (1997)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0004-3702(97)00007-6

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,174

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Computing in Horn Clause Theories.Peter Padawitz - 1988 - Springer.
Machinations: Computational Studies of Logic, Language, and Cognition.Richard Spencer-Smith, Steve Torrance & Stephen B. Torrance - 1992 - Intellect Books.
Handbook of Logic in Artificial Intelligence and Logic Programming.Dov M. Gabbay, Christopher John Hogger & J. A. Robinson - 1993
Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming.Jesse Heyninck, Ofer Arieli & Bart Bogaerts - 2024 - Artificial Intelligence 331 (C):104110.
From Standard Logic to Logic Programming: Introducing a Logic Based Approach to Artificial Intelligence.André Thayse & Paul Gochet - 1988
Artificial Intelligence in Simulation.Iván Futó & Tamás Gergely - 1990 - Prentice-Hall.
Parsing as non-Horn deduction.Edward P. Stabler - 1993 - Artificial Intelligence 63 (1-2):225-264.
Algebraic and Logic Programming: International Workshop, Gaussig, GDR, November 14-18, 1988. Proceedings.Jan Grabowski, Pierre Lescanne & Wolfgang Wechler - 1989 - Springer Verlag.
Redundancy in logic II: 2CNF and Horn propositional formulae.Paolo Liberatore - 2008 - Artificial Intelligence 172 (2-3):265-299.
Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies.Mark Kaminski, Yavor Nenov & Bernardo Cuenca Grau - 2016 - Artificial Intelligence 236 (C):90-118.

Analytics

Added to PP
2020-12-22

Downloads
13 (#1,325,844)

6 months
8 (#594,873)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Depth-first iterative-deepening.Richard E. Korf - 1985 - Artificial Intelligence 27 (1):97-109.
A simplified problem reduction format.David A. Plaisted - 1982 - Artificial Intelligence 18 (2):227-261.

Add more references