Login / Signup

ALPprolog - A new logic programming method for dynamic domains.

Conrad DrescherMichael 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