Forschungsbereich Knowledge Based Systems

Organization Name (de) Name der Organisation (de)
E192-03 - Forschungsbereich Knowledge Based Systems
 
Code Kennzahl
E192-03
 
Type of Organization Organisationstyp
Research Division
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 


Results 21-40 of 75 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
21Eiter, Thomas ; Strass, Hannes ; Truszczynski, Miroslaw ; Woltran, Stefan A Glimpse on Gerhard Brewka's Contributions to Artificial IntelligenceBuchbeitrag Book Contribution2015
22Baumann, Ringo ; Spanring, Christof Infinite Argumentation FrameworksBuchbeitrag Book Contribution2015
23Dvořák, Wolfgang ; Gaggl, Sarah Alice ; Linsbichler, Thomas ; Wallner, Johannes Peter Reduction-Based Approaches to Implement Modgil’s Extended Argumentation FrameworksBuchbeitrag Book Contribution2015
24Croitoru, Madalina ; Rudolph, Sebastian ; Woltran, Stefan ; Gonzales, Christophe Graph Structures for Knowledge Representation and ReasoningKonferenzband Proceedings2014
25Bienvenu, Meghyn ; Ortiz de la Fuente, M.Magdalena ; Rosati, Riccardo ; Simkus, Mantas Informal Proceedings of the 27th International Workshop on Description LogicsKonferenzband Proceedings 2014
26Baral, Chitta ; De Giacomo, Giuseppe ; Eiter, Thomas Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014Konferenzband Proceedings 2014
27Fink, Michael ; Homola, Martin ; Mileo, Alessandra Workshop Notes of the 6th International Workshop on Acquisition, Representation and Reasoning about Context with Logic (ARCOE-Logic 2014)Konferenzband Proceedings 2014
28Sinz, Carsten ; Egly, Uwe Theory and Applications of Satisfiability Testing – SAT 2014Konferenzband Proceedings2014
29Kucera, Antonin ; Potapov, Igor ; Ciabattoni, Agata ; Szeider, Stefan ; Freivalds, Rusins MFCS & CSL 2010 Satellite Workshops: Selected Papers, Fundamenta Informaticae 123Konferenzband Proceedings 2013
30Gutin, Gregory ; Szeider, Stefan Parameterized and Exact Computation, 8th International Symposium, IPEC 2013 (LNCS 8246)Konferenzband Proceedings2013
31Fink, Michael ; Lierler, Yuliya Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, TurkeyKonferenzband Proceedings 2013
32Tompits, Hans ; Abreu, Salvador ; Oetsch, Johannes ; Puehrer, Joerg ; Seipel, Dietmar ; Umeda, Masanobu ; Wolf, Armin Applications of Declarative Programming and Knowledge Management, 19th International Conference, INAP 2011 and 25th Workshop on Logic Programming, WLP 2011 Vienna, Austria, September 28-30, 2011, Revised Selected PapersKonferenzband Proceedings 2013
33Eiter, Thomas ; Glimm, Birte ; Kazakov, Yevgeny ; Krötzsch, Markus Informal Proceedings of the 26th International Workshop on Description LogicsKonferenzband Proceedings2013
34Fink, Michael ; Homola, Martin ; Mileo, Alessandra ; Varzinczak, Ivan Workshop Notes of the 5th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge ARCOE-13 September 15, 2013, La Corunna, SpainKonferenzband Proceedings 2013
35Eiter, Thomas ; Krennwallner, Thomas Reasoning Web. Semantic Technologies for Advanced Query AnsweringBuch Book 2012
16Fink, Michael ; Lierler, Yuliya Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, HungaryKonferenzband Proceedings 2012
17Fink, Michael ; Homola, Martin ; Mileo, Alessandra ; Varzinczak, Ivan Workshop Notes of the 4th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge ARCOE-12 August 28, 2012 Montpellier, FranceKonferenzband Proceedings 2012
18Brewka, Gerd ; Eiter, Thomas ; McIlraith, Sheila Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012Konferenzband Proceedings 2012
19Verheij, Bart ; Szeider, Stefan ; Woltran, Stefan Fourth International Conference on Computational Models of Argument (COMMA 2012)Konferenzband Proceedings2012
20Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans Stepwise Debugging of Description-Logic ProgramsBuchbeitrag Book Contribution2012