MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Negation in Logic Programming." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

208 documents found, showing 1 through 10. Next 10 →

ATOM

On Constructive Negation in Logic Programming
by Teodor Przymusinski — 1995 — In North American Conference on Logic Programming
…On Constructive Negation in Logic Programming Teodor Przymusinski Department of Mathematical…
Cited by 24 (3 self) – Add To MetaCart

Comparing Negation in Logic Programming and in Prolog
by Krzysztof R. Apt, Frank Teusink — 1995 — Meta-logics and Logic Programming
…Comparing Negation in Logic Programming and in Prolog Krzysztof R. Apt and Frank Teusink CWI P…
Cited by 2 (1 self) – Add To MetaCart

Classical Negation in Logic Programs and Disjunctive Databases
by Michael Gelfond, Vladimir Lifschitz — 1991 — New Generation Computing
…Classical Negation in Logic Programs and Disjunctive Databases Michael Gelfond University…
Cited by 579 (49 self) – Add To MetaCart

A Procedural Semantics for Well Founded Negation in Logic Programs
by Kenneth Ross — 1989 — Journal of Logic programming
…A Procedural Semantics for Well Founded Negation in Logic Programs Kenneth A. Ross Stanford…
Cited by 49 (2 self) – Add To MetaCart

On Constructive Negation for Disjunctive Logic Programs
by Jorge Lobo — 1990 — Proc. N.American Conf. on Logic Programming
…On Constructive Negation for Disjunctive Logic Programs Jorge Lobo Institute for Advanced…
Cited by 2 (0 self) – Add To MetaCart

Negation and Constraint Logic Programming
by Peter J. Stuckey, Peter J. Stuckey — 1995
…Negation and Constraint Logic Programming Peter J. Stuckey Department of Computer Science…
Cited by 111 (2 self) – Add To MetaCart

Logic Programming and Negation: A Survey
by Krzysztof R. Apt, Roland Bol — 1994 — JOURNAL OF LOGIC PROGRAMMING
…Centrum voor Wiskunde en Informatica REPORTRAPPORT Logic Programming and Negation: A Survey K…
Cited by 204 (8 self) – Add To MetaCart

On the Role of Negation in Choice Logic Programs
by Marina De Vos, Dirk Vermeir — 1999
…On the role of negation in choice logic programs Marina De Vos marinadv@(email omitted); Dirk…
Cited by 19 (12 self) – Add To MetaCart

Well-behaved semantics for Logic Programming
by Jose Arrazola Jrgen Dix, Jürgen Dix, Jose Arrazola, Mauricio Osorio, Mauricio Osorio, Claudia Zepeda, Claudia Zepeda, Facultad Ciencias, Fisico Matematicas, Sta Catarina Martir — 1998
…Well-behaved semantics for Logic Programming Jose Arrazola, Jrgen Dix, Mauricio Osorio, Claudia…
Add To MetaCart

Constructive Negation and Constraint Logic Programming with Sets
by Agostino Dovier, Enrico Pontelli, Gianfranco Rossi — New Generation Computing
…Constructive Negation and Constraint Logic Programming with Sets 1 Constructive Negation…
Cited by 6 (4 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB