Logic programming with assumption denial

1995 ◽  
pp. 85-100 ◽  
Author(s):  
Jia-Huai You ◽  
Li Yan Yuan
Keyword(s):  
Logic Programming

Constraint Logic Programming Using ECLiPSe

2006 ◽  
Author(s):  
Krzysztof R. Apt ◽  
Mark Wallace
Keyword(s):  
Logic Programming ◽  
Constraint Logic Programming

Parallel Logic Programming and ZMOB

1988 ◽  
Author(s):  
Jack Minker ◽  
Mark Weiser
Keyword(s):  
Logic Programming ◽  
Parallel Logic Programming

Conceptual Modeling via Logic Programming

1990 ◽  
Author(s):  
John Burge ◽  
Bill Noah ◽  
Les Smith
Keyword(s):  
Logic Programming ◽  
Conceptual Modeling

ILPNET repositories on WWW: Inductive Logic Programming systems, datasets and bibliography

1996 ◽  
Vol 9 (4) ◽  
pp. 157-206 ◽  
Author(s):  
Nada Lavrač ◽  
Irene Weber ◽  
Darko Zupanič ◽  
Dimitar Kazakov ◽  
Olga Štěpánková ◽  
...  
Keyword(s):  
Logic Programming ◽  
Inductive Logic Programming ◽  
Inductive Logic ◽  
Programming Systems
Sign in / Sign up

Export Citation Format

Share Document