Media type: E-Book Title: Solving hard qualitative temporal reasoning problems: evaluating the efficiency of using the ORD-Horn class Contributor: Nebel, Bernhard [Author] Published: Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010 Published in: Ulmer Informatik-Berichte ; 96,02 Extent: Online-Ressource Language: English Identifier: RVK notation: SS 5525 : Ulmer Informatik-Berichte Keywords: Qualitative reasoning. Data processing ; Qualitatives Schließen ; Horn-Formel Origination: Footnote: Access State: Open Access