Modal deduction with applications in epistemic and temporal logics

Strategies in Model-based Diagnosis

Journal of Automated Reasoning

Decidability by Resolution for Propositional Modal Logics

Journal of Automated Reasoning

A connectionist computational model for epistemic and temporal reasoning

Neural Computation

A new methodology for developing deduction methods

Annals of Mathematics and Artificial Intelligence

Modeling the dynamics of transferable obligations in business procedures

CM'96 Proceedings of the First international conference on Communication Modeling: The language/action perspective

Vague size predicates

Applied Ontology

Vague size predicates

Applied Ontology