Temporal Disjunctive Logic Programming.

Manolis Gergatsoulis Panos Rondogiannis Themis Panayiotopoulos

Published in: New Gener. Comput. (2000)

Keyphrases

disjunctive logic programming
temporal information
temporal reasoning
answer set programming
polynomial hierarchy
knowledge representation and reasoning
artificial intelligence
special case
expressive power
answer sets