Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287-0
Publikationen
Ergebnisse pro Seite:  10


Sofronie-Stokkermans, Viorica

On Interpolation and Symbol Elimination in Theory Extensions

Nicola Olivetti; Ashish Tiwari (Hrsg). Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2016 S. 273 - 289


Hunter, Anthony; Thimm, Matthias

On Partial Information and Contradictions in Probabilistic Abstract Argumentation

Chitta Baral; James Delgrande; Frank Wolter (Hrsg). Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning KR 2016: April 25-29, 2016; Cape Town, South Africa. Palo Alto, CA: AAAI Press 2016 S. 53 - 62



Riehle, Dennis M.; Jannaber, Sven; Karhof, Arne et al.

On the de-facto Standard of Event-driven Process Chains: How EPC is defined in Literature

Andreas Oberweis; Ralf Reussner (Hrsg). Modellierung 2016: 2.-4. März, 2016; Karlsruhe; Proceedings. Bonn: Gesellschaft für Informatik 2016 S. 61 - 76 (LNI P-254)


Karhof, Arne; Jannaber, Sven; Riehle, Dennis M. et al.

On the de-facto Standard of Event-driven Process Chains: Reviewing EPC Implementations in Process Modelling Tools

Andreas Oberweis; Ralf Reussner (Hrsg). Modellierung 2016: 2.-4. März, 2016; Karlsruhe; Proceedings. Bonn: Gesellschaft für Informatik 2016 S. 77 - 91 (LNI P-254)


Thimm, Matthias

On the expressivity of inconsistency measures

Artificial Intelligence. Bd. 234. Amsterdam: Elsevier 2016 S. 120 - 151


Bauks, Michaela

One, Two, or Three...? The Confusion of the Trees in Genesis 2-3 and Its Hermeneutical Background

Elizabeth R. Hayes; Karolien Vermeulen (Hrsg). Doubling and Duplicating in the Book of Genesis: Literary and Stylistic Approaches to the Text. Winona Lake, IN: Eisenbrauns 2016 S. 99 - 111


d’Amato, Claudia; Staab, Steffen; Tettamanzi, A.G.B. et al.

Ontology Enrichment by Discovering Multi-Relational Association Rules from Ontological Knowledge Bases

Sascha Ossowski (Hrsg). Proceedings of the 31st Annual ACM Symposium on Applied Computing SAC 2016; Pisa, Italy; April 4-8, 2016. New York, NY: ACM Association for Computing Machinery 2016 S. 333 - 338