Modal extension of logic programming systems

1994 ◽  
Vol 29 (6) ◽  
pp. 944-947
Author(s):  
A. V. Pozharskii
Keyword(s):  
Logic Programming ◽  
Modal Extension ◽  
Programming Systems

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

scholarly journals Enhancing disjunctive logic programming systems by SAT checkers

2003 ◽  
Vol 151 (1-2) ◽  
pp. 177-212 ◽  
Author(s):  
Christoph Koch ◽  
Nicola Leone ◽  
Gerald Pfeifer
Keyword(s):  
Logic Programming ◽  
Programming Systems

Improving the efficiency of inductive logic programming systems

2009 ◽  
Vol 39 (2) ◽  
pp. 189-219 ◽  
Author(s):  
Nuno A. Fonseca ◽  
Vítor Santos Costa ◽  
Ricardo Rocha ◽  
Rui Camacho ◽  
Fernando Silva
Keyword(s):  
Logic Programming ◽  
Inductive Logic Programming ◽  
Inductive Logic ◽  
Programming Systems
Sign in / Sign up

Export Citation Format

Share Document