Searching for "Negation in Logic Programming." – sorted by Relevance.
-
On Constructive Negation in 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- Well-behaved semantics for Logic Programming Jose Arrazola, Jrgen Dix, Mauricio Osorio, Claudia
- Add To MetaCart
-
Constructive Negation and Constraint Logic Programming with Sets
- Constructive Negation and Constraint Logic Programming with Sets 1 Constructive Negation
- Cited by 6 (4 self) – Add To MetaCart

