Hauptspalte
Publikationen
Diese Seite enthält ausgewählte Publikationen des Vorjahres. Ausführlichere Informationen finden sich in den Auflistungen der einzelnen Mitarbeiter der Abteilung (rechts).
Zeitschriftenbeiträge 2011
Brewka G, Eiter T, Truszczynski M
Answer set programming at a glance
Communications of the ACM 54(12):92-103, 2011.
Munoz-Hernandez S, Pablos-Ceruelo V, Strass H
Rfuzzy: Syntax, semantics and implementation details of a simple and expressive fuzzy tool over prolog
Information Sciences 181(10):1951-1970, 2011.
Neumuth D, Loebe F, Herre H, Neumuth T
Modeling Surgical Processes: A Four-Level Translational Approach
Artificial Intelligence in Medicine 51(3):147-161, 2011.
Herre H, Hoehndorf R, Kelso J, Loebe F, Schulz S
OBML – Ontologies in Biomedicine and Life Sciences
Journal of Biomedical Semantics 2(Suppl 4):I1, 2011.
Ausgewählte Konferenzbeiträge 2011
Brewka G, Dunne P, Woltran S
Relating the Semantics of Abstract Dialectical Frameworks and Standard AFs
In: International Joint Conferences on Artificial Intelligence, IJCAI 2011, p.780-785, IJCAI/AAAI Press, 2011.
Brewka G, Eiter T, Fink M, Weinzierl A
Managed Multi-Context Systems
In: International Joint Conferences on Artificial Intelligence, IJCAI 2011, p.786-791, IJCAI/AAAI Press, 2011.
Brewka G, Eiter T, Fink M
Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources
In: Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday, LNCS 6565:233-258, Springer, 2011.
Baumann R
Splitting an Argumentation Framework
In: Logic Programming and Nonmonotonic Reasoning, LPNMR 2011, LNCS 6645:40-53, Springer, 2011.
Saad E, Brewka G
Aggregates in Answer Set Optimization
In: Logic Programming and Nonmonotonic Reasoning, LPNMR 2011, LNCS 6645:211-216, Springer, 2011.