This page contains all publications of the institute. If you are searching for a particular paper that might have been written before the researcher joined us, please visit his or her individual page.

Please note that there is also a list of all students' theses written at our institute.

Publications of the Institute of Artificial Intelligence

Author


All :: A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Z
All :: Padgham, ... , Patel-Schneider, Pfab, Pfeifer, ... , Profitlich

Preferences

Show keywords Show abstracts

42.
default
Glodek, Michael; Geier, Thomas; Biundo, Susanne; Schwenker, Friedhelm; Palm, Günther
Recognizing User Preferences Based on Layered Activity Recognition and First-Order Logic
Proceedings of the 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI 2013) , page 648-653.
2013
41.
pdf
Chaussecourte, Pierre; Glimm, Birte; Horrocks, Ian; Motik, Boris; Pierre, Laurent
The Energy Management Adviser at EDF
Proceedings of the 12th International Semantic Web Conference (ISWC 2013) Volume 8219 of Lecture Notes in Computer Science , page 49-64.
Publisher: Springer-Verlag,
2013
40.
pdf
Ponomaryov, Denis; Vlasov, Dmitry
Concept Definability and Interpolation in Enriched Models of EL-TBoxes
Proceedings of the 26th International Workshop on Description Logics (DL 2013)
Publisher: CEUR Workshop Proceedings,
2013
39.
pdf
Ponomaryov, Denis; Soutchanski, Mikhail
Progression of Decomposed Situation Calculus Theories
AAAI, The Twenty-Seventh Conference on Artificial Intelligence
2013
38.
pdf
Glimm, Birte; Hogan, Aidan; Krötzsch, Markus; Polleres, Axel
OWL: Yet to arrive on the Web of Data?
Volume 937
Proceedings of the 5th Linked Data on the Web Workshop (LDOW2012)
Publisher: CEUR Workshop Proceedings,
April 2012
37.
pdf
Thao Ly, Linh; Knuplesch, David; Rinderle-Ma, Stefanie; Göser, Kevin; Pfeifer, Holger; Reichert, Manfred; Dadam, Peter
SeaFlows Toolset -- Compliance Verication Made Easy for Process-aware Information Systems
In Aalst, Will and Mylopoulos, John and Sadeh, Norman M. and Shaw, Michael J. and Szyperski, Clemens and Soffer, Pnina and Proper, Erik, editor, Information Systems Evolution -- CAiSE Forum 2010, Selected Extended Papers Volume 72 of Lecture Notes in Business Information Processing , page 76--91.
Publisher: Springer,
2011
36.
pdf
Knuplesch, David; Thao Ly, Linh; Rinderle-Ma, Stefanie; Pfeifer, Holger; Dadam, Peter
On Enabling Data-Aware Compliance Checking of Business Process Models
In Jeffrey Parsons and Motoshi Saeki and Peretz and Shoval and Carson Woo and Yair Wand, editor, Proceedings of the 29th International Conference on Conceptual Modeling -- ER 2010 Volume 6412 of Lecture Notes in Computer Science , page 332--346.
Publisher: Springer,
2010
35.
pdf
Bernardeschi, Cinzia; Masci, Paolo; Pfeifer, Holger
Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios
In Rachid Guerraoui and Franck Petit, editor, Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings Volume 5873 of Lecture Notes in Computer Science , page 105--119.
Publisher: Springer,
2009
ISBN: 978-3-642-05117-3
34.
default
Pfeifer, Holger
Formal Methods in the Automotive Domain: The Case of TTA
In Nicolas Navet and Francoise Simonot-Lion, editor, Automotive Embedded Systems Handbook
Chapter 15,
Publisher: Taylor and Francis CRC Press,
2008
ISBN: 9780849380266
33.
pdf
Bernardeschi, Cinzia; Masci, Paolo; Pfeifer, Holger
Early Prototyping of Wireless Sensor Network Algorithms in PVS
In Michael D. Harrison and Mark-Alexander Sujan, editor, Computer Safety, Reliability, and Security, 27th International Conference, SAFECOMP 2008, Newcastle upon Tyne, UK, September 22-25, 2008, Proceedings Volume 5219 of Lecture Notes in Computer Science , page 346--359.
Publisher: Springer,
2008
Export as: BibTeX, XML