Login / Signup
Strong Equivalence of Non-Monotonic Temporal Theories.
Pedro Cabalar
Martín Diéguez
Published in:
KR (2014)
Keyphrases
</>
strong equivalence
logic programs
answer sets
temporal reasoning
temporal information
stable models
answer set semantics
argumentation frameworks
object oriented
description logics
theoretical framework
constraint satisfaction
answer set programming