Representation and reasoning
Subtitle: proceedings of the Stuttgart Conference Workshop on Discourse Representation, Dialogue Tableaux, and Logic Programming
By: Jakob Ph. Hoepelman (Hg.).
Contributors: Hoepelman, Jakob.; Fraunhofer-Institut für Arbeitswirtschaft und Organisation.
Series: Sprach und Information,; Bd. 19
Publisher: M. Niemeyer Verlag
Published: 1988
Place of publication: Tübingen
Language: eng
Number of pages: 175
Subjects: Representation (Philosophy) -- Congresses.; Semantics (Philosophy) -- Congresses.; Logic, Symbolic and mathematical -- Congresses.
Notes: Bibliography: p. 165-175.
Workshop organized by Fraunhofer-Institut für Arbeitswirtschaft und Organisation.
Table of contents: title: Games in logic / Johan van Benthem; title: Games and representation / Jan van Eijck; title: On how to convince a hangman / A.J.M. van Hoof; title: Conditionals in DR theory / Hans Kamp; title: Logic-based open systems / Robert Kowalski; title: Dialogue sequents and quick proofs of completeness / Eric C.W. Krabbe; title: Argumentation theory and knowledge representation / Drs. P.A. Smit; title: Generic generalisations, discourse representation structures, and knowledge representation / Gerhard Heyer.