C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Integrating Separation Logic with PPTL.
Xu Lu
Zhenhua Duan
Cong Tian
Hongjin Liu
Published in:
SOFL+MSVL (2013)
Keyphrases
</>
logic programming
classical logic
multi valued
sound and complete axiomatization
search engine
asynchronous circuits
epistemic logic
predicate logic
modal logic
knowledge base
automated reasoning
search algorithm
nonmonotonic logics
decision trees
abductive reasoning
website
artificial intelligence