Propositional Dynamic Logics of Programs: a Survey

Information Gaps as Communication Needs: A New SemanticFoundation for Some Non-Classical Logics

Journal of Logic, Language and Information

Reasoning in expressive description logics

Handbook of automated reasoning

Bibliography

The description logic handbook

Eliminating unorthodox derivation rules in an axiom system for iteration-free P D L with intersection

Fundamenta Informaticae

A uniform framework for concept definitions in description logics

Journal of Artificial Intelligence Research

The pipelining transformation on plans for manufacturing cells with robots

IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2

A correspondence theory for terminological logics: preliminary report

IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1

Logic-based knowledge representation

Artificial intelligence today

An appreciation of dexter kozen

Logic and Program Semantics

Eliminating Unorthodox Derivation Rules in an Axiom System for Iteration-free PDL with Intersection

Fundamenta Informaticae