Title: Representation and reasoning : proceedings of the Stuttgart Conference Workshop on Discourse Representation, Dialogue Tableaux, and Logic Programming /
Authors: Hoepelman, Jakob.; Fraunhofer-Institut für Arbeitswirtschaft und Organisation.
Publisher: M. Niemeyer Verlag,
Year: 1988
Subjects: Representation (Philosophy) Congresses.; Semantics (Philosophy) Congresses.; Logic, Symbolic and mathematical Congresses.
Contents: Games in logic / Johan van Benthem -- Games and representation / Jan van Eijck -- On how to convince a hangman / A.J.M. van Hoof -- Conditionals in DR theory / Hans Kamp -- Logic-based open systems / Robert Kowalski -- Dialogue sequents and quick proofs of completeness / Eric C.W. Krabbe -- Argumentation theory and knowledge representation / Drs. P.A. Smit -- Generic generalisations, discourse representation structures, and knowledge representation / Gerhard Heyer.