Sprache und Information
Beiträge zur philologischen und linguistischen Datenverarbeitung, Informatik und Informationswissenschaft
- Band 19:
- Hoepelman, Jakob Ph. (Hrsg.): Representation and Reasoning. Proceedings of the Stuttgart Conference Workshop on Discourse Representation, Dialogue Tableaux and Logic Programming.
175 S. - Tübingen: Niemeyer, 1988.
ISBN: 3-484-31919-4
Dieser Band ist im IDS verfügbar:
- Alternatives Medium:
- E-Book (PDF). Berlin / New York: de Gruyter. ISBN: 978-3-11-165222-1
Inhaltsverzeichnis
| van Benthem, Johan: | |||
| Games in Logic: A Survey | S. 3 | ||
| van Eijck, Jan: | |||
| Games and Representation | S. 16 | ||
| van Hoof, A. J. M.: | |||
| On how to convince a hangman | S. 47 | ||
| Kamp, Hans: | |||
| Conditionals in DR Theory | S. 66 | ||
| Kowalski, Robert: | |||
| Logic-Based Open Systems | S. 125 | ||
| Krabbe, Eric C. W.: | |||
| Dialogue Sequents and Quick Proofs of Completeness | S. 135 | ||
| Smit, Drs. P. A.: | |||
| Argumentation Theory and Knowledge Representation | S. 141 | ||
| Heyer, Gerhard: | |||
| Generic Generalisations, Discourse Representation Structures and Knowledge Representation | S. 153 | ||
| References | S. 165 | ||