Clausal resolution in a logic of rational agency

Lecture Notes in Artificial Intelligence

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

Computing, Computer Science, Artificial Intelligence +9

Reasoning about knowledge

Mathematical Social Sciences · 1994 · 3.6K citations

Modeling rational agents with a BDI-architecture

Anand S. Rao, Michael Georgeff · Principles of Knowledge Representation and Reasoning · 1997 · 1.6K citations

Computing, Computer Science, Artificial Intelligence +8

A Structure-preserving Clause Form Translation

David A. Plaisted, Steve Greenbaum · Journal of Symbolic Computation · 1986 · 584 citations

Language Studies, Computer Science, Computational Linguistics +8

Decision procedures and expressiveness in the temporal logic of branching time

E. Allen Emerson, Joseph Y. Halpern · Journal of Computer and System Sciences · 1985 · 406 citations

Computing, Computer Science, Mathematics +14