Login / Signup
ALPprolog - A new logic programming method for dynamic domains.
Conrad Drescher
Michael Thielscher
Published in:
Theory Pract. Log. Program. (2011)
Keyphrases
</>
logic programming
logic programs
knowledge representation
logic programming language
high level
integrity constraints
answer set programming
nonmonotonic reasoning
knowledge representation language