Essentials of logic programming

Logic and logic programming

Communications of the ACM

An integrated approach to system modeling using a synthesis of artificial intelligence, software engineering and simulation methodologies

ACM Transactions on Modeling and Computer Simulation (TOMACS)

Bayesian inductive logic programming

COLT '94 Proceedings of the seventh annual conference on Computational learning theory

An introduction to inductive logic programming and learning language in logic

Learning language in logic

An introduction to inductive logic programming

Relational Data Mining

Analyzing Separation of Duties in Petri Net Workflows

MMM-ACNS '01 Proceedings of the International Workshop on Information Assurance in Computer Networks: Methods, Models, and Architectures for Network Security

A reasoning agent for credit card fraud using the event calculus

International Journal of Electronic Security and Digital Forensics

Pruning search space for weighted first order horn clause satisfiability

ILP'10 Proceedings of the 20th international conference on Inductive logic programming

Probabilistic space partitioning in constraint logic programming

ASIAN'04 Proceedings of the 9th Asian Computing Science conference on Advances in Computer Science: dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday