Decision Procedures for Several Properties of Reactive System Specifications.

Noriaki Yoshiura

Published in: ISSS (2003)

Keyphrases

decision procedures
modal logic
theorem proving
automated reasoning
reasoning problems
knowledge base
data analysis
conjunctive queries
database
machine learning
data model
knowledge representation
logic programs
integrity constraints
tight complexity bounds