Implementing type-based constructive negation

Proceedings of the 2007 ACM symposium on Applied computing - SAC '07 ◽

10.1145/1244002.1244284 ◽

2007 ◽

Author(s):

Lunjin Lu

Keyword(s):

Constructive Negation

Download Full-text

Constructive negation and constraint logic programming with sets

New Generation Computing ◽

10.1007/bf03037598 ◽

2001 ◽

Vol 19 (3) ◽

pp. 209-255 ◽

Author(s):

Agostino Dovier ◽

Enrico Pontelli ◽

Gianfranco Rossi

Keyword(s):

Logic Programming ◽

Constraint Logic Programming ◽

Constructive Negation

Download Full-text

Default Rules: An Extension of Constructive Negation for Narrowing-based Languages

Logic Programming ◽

10.7551/mitpress/4316.003.0053 ◽

1994 ◽

Keyword(s):

Constructive Negation ◽

Download Full-text

Conditional narrowing with constructive negation

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-56454-3_4 ◽

1993 ◽

pp. 59-79 ◽

Author(s):

María José Ramírez ◽

Moreno Falaschi

Keyword(s):

Constructive Negation ◽

Conditional Narrowing

Download Full-text

Constructive negation by pruning and optimization higher-order predicates for CLP and CC languages

Lecture Notes in Computer Science - Constraint Programming: Basics and Trends ◽

10.1007/3-540-59155-9_5 ◽

1995 ◽

pp. 68-89 ◽

Author(s):

François Fages

Keyword(s):

Higher Order ◽

Constructive Negation

Download Full-text

Constructive Negation in Logic Programs

10.21236/ada196562 ◽

1987 ◽

Author(s):

Richard Hamlet

Keyword(s):

Logic Programs ◽

Constructive Negation

Download Full-text

Implementation Results in Classical Constructive Negation

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27775-0_20 ◽

2004 ◽

pp. 284-298 ◽

Author(s):

Susana Muñoz-Hernández ◽

Juan José Moreno-Navarro

Keyword(s):

Constructive Negation

Download Full-text

What is failure? An approach to constructive negation

Acta Informatica ◽

10.1007/bf01185404 ◽

1995 ◽

Vol 32 (1) ◽

pp. 27-59 ◽

Author(s):

Wlodzimierz Drabent

Keyword(s):

Constructive Negation ◽

Download Full-text

Constructive negation for constraint logic programming

[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1991.151657 ◽

2002 ◽

Author(s):

P.J. Stuckey

Keyword(s):

Logic Programming ◽

Constraint Logic Programming ◽

Constructive Negation

Download Full-text

Constructive negation using typed existence properties

Principles of Declarative Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0056629 ◽

1998 ◽

pp. 411-426

Author(s):

John G. Cleary ◽

Lunjin Lu

Keyword(s):

Constructive Negation

Download Full-text

Converse Ackermann property and constructive negation defined with a negation connective

Logic and Logical Philosophy ◽

10.12775/llp.2006.007 ◽

2006 ◽

Vol 15 (2) ◽

Author(s):

Gemma Robles ◽

José M. Méndez

Keyword(s):

Constructive Negation

Download Full-text