UnivIS
Informationssystem der Otto-Friedrich-Universität Bamberg © Config eG 
Kreutzmann, Arne ; Wolter, Diedrich:
Qualitative Spatial and Temporal Reasoning with AND/OR Linear Programming .
In: Schaub, T. ; Friedrich, G. ; O'Sullivan, B. (Hrsg.) : ECAI 2014, 21st European Conference on Artificial Intelligence
(21st European Conference on Artificial Intelligence (ECAI), Prag, Tschechien, 18.–22.8. 2014).
Amsterdam : IOS Press, 2014, S. 495-500. (Frontiers in Artificial Intelligence and Applications Bd. 263) - ISBN 978-1-61499-418-3
Stichwörter:  qualitative spatial and temporal reasoning; LP
[doi>10.3233/978-1-61499-419-0-495]

Institution: Professur für Angewandte Informatik, insbesondere Smart Environments
UnivIS ist ein Produkt der Config eG, Buckenhof