Extremal Problems in Logic Programming and Stable Model Computation.

Pawel Cholewinski Miroslaw Truszczynski

Published in: J. Log. Program. (1999)

Keyphrases

logic programming
logic programs
knowledge representation
deductive databases
reasoning tasks
logic programming language
machine learning
general purpose
semantic web
first order logic
formal model
answer set programming
integer linear programming