Logic programming with strong negation

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0038700 ◽

2006 ◽

pp. 311-326 ◽

Cited By ~ 20

Author(s):

David Pearce ◽

Gerd Wagner

Keyword(s):

Logic Programming ◽

Strong Negation

Download Full-text

Tableaux for logic programming with strong negation

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/bfb0027403 ◽

1997 ◽

pp. 31-42 ◽

Cited By ~ 5

Author(s):

Seiki Akama

Keyword(s):

Logic Programming ◽

Strong Negation

Download Full-text

Logic programming with strong negation and inexact predicates

Vivid Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-57604-5_14 ◽

1994 ◽

pp. 89-110 ◽

Cited By ~ 1

Keyword(s):

Logic Programming ◽

Strong Negation

Download Full-text

Disjunctive logic programming, constructivity and strong negation

Lecture Notes in Computer Science - Logics in AI ◽

10.1007/bfb0023440 ◽

2005 ◽

pp. 391-410

Author(s):

Heinrich Herre ◽

David Pearce

Keyword(s):

Logic Programming ◽

Strong Negation

Download Full-text

Logic Programming with Strong Negation and Inexact Predicates

Journal of Logic and Computation ◽

10.1093/logcom/1.6.835 ◽

1991 ◽

Vol 1 (6) ◽

pp. 835-859 ◽

Cited By ~ 33

Author(s):

GERD WAGNER

Keyword(s):

Logic Programming ◽

Strong Negation

Download Full-text

Constraint Logic Programming Using ECLiPSe

10.1017/cbo9780511607400 ◽

2006 ◽

Cited By ~ 59

Author(s):

Krzysztof R. Apt ◽

Mark Wallace

Keyword(s):

Logic Programming ◽

Constraint Logic Programming

Download Full-text

QOS-Aware Composition of Enterprise System‘s Components: Constraint Logic Programming Approach

Informatica ◽

10.15388/informatica.2010.301 ◽

2010 ◽

Vol 21 (4) ◽

pp. 487-504 ◽

Cited By ~ 1

Author(s):

Jeremy Besson ◽

Albertas Čaplinskas

Keyword(s):

Logic Programming ◽

Constraint Logic Programming ◽

Programming Approach

Download Full-text

CCDM: Ladder-Logic Programming for Wireless Sensors and Actuators with Central Controller-Based Device Management

IEICE Transactions on Communications ◽

10.1587/transcom.e94.b.2208 ◽

2011 ◽

Vol E94-B (8) ◽

pp. 2208-2215

Author(s):

Hideya OCHIAI ◽

Hiroshi ESAKI

Keyword(s):

Logic Programming ◽

Wireless Sensors ◽

Sensors And Actuators ◽

Device Management ◽

Central Controller ◽

Ladder Logic

Download Full-text

Logic Programming and Knowledge Base Maintenance.

10.21236/ada137062 ◽

1983 ◽

Author(s):

K. A. Bowen

Keyword(s):

Logic Programming ◽

Knowledge Base

Download Full-text

Parallel Logic Programming and ZMOB

10.21236/ada196942 ◽

1988 ◽

Author(s):

Jack Minker ◽

Mark Weiser

Keyword(s):

Logic Programming ◽

Parallel Logic Programming

Download Full-text

Conceptual Modeling via Logic Programming

10.21236/ada219785 ◽

1990 ◽

Author(s):

John Burge ◽

Bill Noah ◽

Les Smith

Keyword(s):

Logic Programming ◽

Conceptual Modeling

Download Full-text