References

1

F. Baader and B. Hollunder. : Knowledge representation and inference system. System description. Technical Memo DFKI-TM-90-03, DFKI, 1990.

2

P. Codognet, P. M. Dung, A. C. Kakas, and P. Mancarella, editors. ICLP 93 Postconference Workshop on Abductive Reasoning, Budapest, Hungary, 1993.

3

F. M. Donini, M. Lenzerini, D. Nardi, A. Schaerf, and W. Nutt. Adding epistemic operators to concept languages. In B. Nebel, C. Rich, and W. Swartout, editors, Proceedings of KR '92, pages 342--353. Morgan Kaufmann, 1992.

4

J. Doyle and R. S. Patil. Two theses of knowledge representation: Language restrictions, taxionomic classification, and the utility of representation services. AI, 48:261--297, 1991.

5

D. Fehrer. A unifying framework for reason maintenance. In M. Clarke, R. Kruse, and S. Moral, editors, Proceedings of the ECSQARU '93, volume 747 of LNCS, pages 113--120, Granada, Spain, 1993. Springer.

6

A. Guessoum, B. Black, and J. Gallagher. Abduction for pronoun resolution. In Codognet et al. [2].

7

U. Hustadt. Abductive disjunctive logic programming. In Codognet et al. [2].

8

U. Hustadt and A. Nonnengart. Modalities in knowledge representation. In C. Rowles, H. Liu, and N. Foo, editors, Proceedings of AI '93, pages 249--254, Melbourne, Australia, 1993. World Scientific.

9

U. Hustadt, H. J. Ohlbach, and R. A. Schmidt. Qualified number restrictions and modal logic. Forthcoming MPI Report, 1994.

10

M. Jaeger. Probabilistic reasoning in terminological logics. In J. Doyle, E. Sandewall, and P. Torasso, editors, Proceedings of KR '94. Morgan Kaufmann, 1994.

11

A. Kobsa. Towards inferences in BGP-MS: Combining modal logic and partition hierarchies for user modeling (Preliminary Report). Bericht WIS-2, Projekt BGP-MS, Universität Konstanz Informationswissenschaft, June 1992.

12

B. Owsnicki-Klewe. A cardinality-based approach to incomplete knowledge. In L. C. Aiello, editor, Proceedings of the ECAI90, pages 491--496, Stockholm, Sweden, 1990. Pitnam Publishing.

13

P. Quaresma and J. G. Lopes. Abduction of plans and intentions in dialogues. In Codognet et al. [2].

14

R. A. Schmidt. Terminological representation, natural language & relation algebra. In H. J. Ohlbach, editor, Proceedings of the GWAI-92, volume 671 of LNAI, pages 357--371, Berlin, 1993. Springer.