Reasoning in inconsistent knowledge bases
Data partition and parallel evaluation of Datalog programs
An extended Petri net model for normal logic programs
Linearizing some recursive logic programs
Structuring knowledge in vague domains
Integrity constraints in the information source tracking method
A knowledge model for unifying deductive and non-deductive heterogeneous databases
Compiling conceptual graphs
Automating knowledge acquisition: a propositional approach to representing expertise as an alternative to repertory grid technique
A meta-level control architecture for production systems
Response time analysis of EQL real-time rule-based systems
Improving the reliability of artificial intelligence planning systems by analyzing their failure recovery
On the reliability of AI planning software in real-time applications