Tabled logic programming based IP matching tool using forced simulation

2004 ◽  
Vol 151 (3) ◽  
pp. 199 ◽  
Author(s):  
P.S. Roop ◽  
A. Sowmya ◽  
S. Ramesh ◽  
H.-F. Guo
Keyword(s):  
Logic Programming ◽  
Forced Simulation

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