Forschungsbereich Knowledge Based Systems

View Statistics Email Alert RSS Feed

Details

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
 

OrgUnit's Publications


Results 341-360 of 1291 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
341Taupe, Richard ; Weinzierl, Antonius ; Schenner, Gottfried Introducing Heuristics for Lazy-Grounding ASP SolvingKonferenzbeitrag Inproceedings 2017
342Mileo, Alessandra ; Dao-Tran, Minh ; ​Eiter, Thomas ; Fink, Michael Stream ReasoningBuchbeitrag Book Contribution 2017
343Szeider, Stefan ; Ordyniak, Sebastian ; Gaspers, Serge The Constraint Satisfaction Problem: Complexity and ApproximabilityBuchbeitrag Book Contribution 2017
344Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter A model building framework for answer set programming with external computationsArtikel Article Jul-2016
345Egly, Uwe Translations from QBFs to First-order LogicPräsentation Presentation2016
346Bienvenu, Meghyn ; Ortiz de la Fuente, M.Magdalena Query Answering with Description Logic OntologiesPräsentation Presentation2016
347Ortiz de la Fuente, M.Magdalena Expressive Ontology and Query Languages for Data Access and ManagementPräsentation Presentation2016
348Andresel, Medina-Petrina A Compilation Technique for Interactive Ontology-mediated Data ExplorationPräsentation Presentation2016
349Eiter, Thomas Answer Set Programming and ExtensionsPräsentation Presentation2016
350Eiter, Thomas Georg Gottlob: Life and PicturesPräsentation Presentation2016
351Eiter, Thomas Some Thoughts on Stream Reasoning, Revision and UpdatePräsentation Presentation2016
352Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas Managing Change in Graph-Structured Data Using Description LogicsPräsentation Presentation2016
353Eiter, Thomas Knowledge-Based System Group, Vienna University of TechnologyPräsentation Presentation2016
354Kiesl, Benjamin ; Suda, Martin First-Order Logic and Blocked ClausesPräsentation Presentation2016
355Mossburger, Andreas ; Beck, Harald ; Dao-Tran, Minh ; Eiter, Thomas A Benchmarking Framework for Stream ProcessorsPräsentation Presentation2016
356Lonsing, Florian Tutorial at IJCAI 2016: Solving (Problems with) Quantified Boolean Formulas: Recent Trends and ChallengesPräsentation Presentation2016
357Lonsing, Florian Submissions to QBFEVAL'16Präsentation Presentation2016
358Lonsing, Florian An Overview of QBF Reasoning TechniquesPräsentation Presentation2016
359Lonsing, Florian Advances in QBF ReasoningPräsentation Presentation2016
360Eiter, Thomas ; Parreira, Josiane ; Schneider, Patrik Towards Spatial Ontology-Mediated Query Answering over Mobility StreamsKonferenzbeitrag Inproceedings 2016