Eighteenth International Symposium on Temporal Representation and Reasoning
Subtitle: proceedings : 12-14 September 2011, Lübeck, Germany
By: sponsored by DFG Deutsche Forschungsgemeinschaft, Bonn ... [et al.]. ; edited by Carlo Combi, Martin Leucker, Frank Wolter
Contributors: Combi, Carlo; Leucker, Martin; Wolter, Frank; Deutsche Forschungsgemeinschaft
Publisher: IEEE Computer Society
Published: 2011
Place of publication: Los Alamitos, Calif
Language: eng
Number of pages: 171
ISBN-13: 9780769545080
Subjects: Artificial intelligence; Congresses; Reasoning; Time; Temporal databases
Other titles: Symposium on Temporal Representation and Reasoning; Temporal representation and reasoning; TIME 2011
Notes: "IEEE Computer Society order number P4508"--T.p. verso.

Includes bibliographical references and index.