Login / Signup

A Framework to Incorporate Non-Monotonic Reasoning Into Constraint Logic Programming.

Jürgen DixFrieder Stolzenburg
Published in: J. Log. Program. (1998)
Keyphrases
  • constraint logic programming
  • logic programming
  • search algorithm
  • computational complexity
  • relational databases
  • state space
  • temporal reasoning
  • constraint solving
  • programming paradigms