A formal verification framework and associated tools for Enterprise Modeling: Application to UEML

Lecture Notes in Artificial Intelligence

Patrick Brézillon, Paolo Bouquet · 1999 · 7.4K citations

Computing, Computer Science, Artificial Intelligence +9

Causality: Models, Reasoning and Inference

Christopher Hitchcock, Judea Pearl · The Philosophical Review · 2001 · 4.8K citations

Humanities, Philosophy, Causal Inference +14

Ontologies: principles, methods and applications

Mike Uschold, Michael Grüninger · The Knowledge Engineering Review · 1996 · 3.5K citations

Computing, Computer Science, Information Systems +11

Causality: models, reasoning, and inference

Choice Reviews Online · 2000 · 2.9K citations

Public Health, Mathematics, Causal Inference +5

Towards a general theory of action and time

James F. Allen · Artificial Intelligence · 1984 · 2.6K citations

Natural Sciences, Physics, Mathematical Physics +11