Syntactic Decision Procedures in Information Systems.

Anita Wasilewska

Published in: Int. J. Man Mach. Stud. (1989)

Keyphrases

decision procedures
information systems
modal logic
theorem proving
automated reasoning
reasoning problems
natural language
conjunctive queries
satisfiability problem
machine learning
knowledge management
search algorithm
integrity constraints
inference rules
fixpoint
tight complexity bounds