EXPtime tableaux for ALC

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

Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

Saul A. Kripke · Mathematical logic quarterly · 1963 · 1.3K citations

Humanities, Computer Science, Philosophy +15

Propositional dynamic logic of regular programs

Michael J. Fischer, Richard E. Ladner · Journal of Computer and System Sciences · 1979 · 1.2K citations

Computing, Computer Science, Formal Methods +12

Attributive concept descriptions with complements

Manfred Schmidt-Schauß, Gert Smolka · Artificial Intelligence · 1991 · 964 citations

Language Studies, Linguistics, Semantics +10