Browsing Eiter, Thomas


or select a letter below to browse by last name
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 1 to 20 of 25  next >
PreviewAuthors / EditorsTitleTypeIssue Date
Saribatur Yaman Zeynep Goezen - 2019 - Abstraction for reasoning about agent...pdf.jpgSaribatur Yaman, Zeynep Gözen Abstraction for reasoning about agent behavior with answer set programmingThesis Hochschulschrift 2019
Redl Christoph - 2014 - Answer set programming with external sources algorithms...pdf.jpgRedl, Christoph Answer set programming with external sources : algorithms and efficient evaluationThesis Hochschulschrift 2014
Schindlauer Roman - 2006 - Answer-set programming for the semantic web.pdf.jpgSchindlauer, Roman Answer-set programming for the semantic webThesis Hochschulschrift 2006
Dao Tran Minh - 2008 - Default reasoning on top of ontologies with dl-programs.pdf.jpgDao Tran, MinhDefault reasoning on top of ontologies with dl-programsThesis Hochschulschrift 2008
Miljanovic Milos - 2015 - Deformation monitoring using artificial intelligence...pdf.jpgMiljanović, Miloš Deformation monitoring using artificial intelligence techniquesThesis Hochschulschrift 2015
Redl Christoph - 2010 - Development of a Belief Merging framework for dlvhex.pdf.jpgRedl, ChristophDevelopment of a Belief Merging framework for dlvhexThesis Hochschulschrift 2010
Dao-Tran Minh - 2014 - Distributed nonmonotonic multi-context systems algorithms...pdf.jpgDao-Tran, Minh Distributed nonmonotonic multi-context systems : algorithms and efficient evaluationThesis Hochschulschrift 2014
Eiter Thomas - 2018 - The DLVHEX System.pdf.jpgEiter, Thomas ; Germano, Stefano ; Ianni, Giovambattista ; Kaminski, Tobias; Redl, Christoph; Schüller, Peter ; Weinzierl, AntoniusThe DLVHEX SystemArticle Artikel 2018
Mushthofa Mushthofa - 2009 - Evaluation of answer set programs with bounded...pdf.jpgMushthofa, Mushthofa Evaluation of answer set programs with bounded predicate aritiesThesis Hochschulschrift 2009
Eiter Thomas - 2018 - Exploiting Partial Assignments for Efficient Evaluation of...pdf.jpgEiter, Thomas ; Kaminski, Tobias; Redl, Christoph ; Weinzierl, Antonius Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source AccessArticle Artikel 2018
Bischof Stefan - 2010 - Implementation and optimisation of queries in XSPARQL.pdf.jpgBischof, StefanImplementation and optimisation of queries in XSPARQLThesis Hochschulschrift 2010
Stepanova Daria - 2015 - Inconsistencies in hybrid Knowledge Bases.pdf.jpgStepanova, Daria Inconsistencies in hybrid Knowledge BasesThesis Hochschulschrift 2015
Schueller Peter - 2012 - Inconsistency in multi-context systems analysis and...pdf.jpgSchüller, PeterInconsistency in multi-context systems : analysis and efficient evaluationThesis Hochschulschrift 2012
Weinzierl Antonius - 2014 - Inconsistency management under preferences for...pdf.jpgWeinzierl, Antonius Inconsistency management under preferences for multi-context systems and extensionsThesis Hochschulschrift 2014
Krennwallner Thomas - 2007 - Integration of conjunctive queries over description...pdf.jpgKrennwallner, ThomasIntegration of conjunctive queries over description logics into HEX-programsThesis Hochschulschrift 2007
Bairakdar Seif El-Din - 2011 - Local optimization for multi-context systems with...pdf.jpgBairakdar, Seif El-Din Local optimization for multi-context systems with constraint pushingThesis Hochschulschrift 2011
Solomakhin Dmitry - 2011 - Logical formalization of Semantic Business Vocabulary...pdf.jpgSolomakhin, Dmitry Logical formalization of Semantic Business Vocabulary and RulesThesis Hochschulschrift 2011
Redl Christoph - 2010 - Merging of biomedical decision diagrams.pdf.jpgRedl, ChristophMerging of biomedical decision diagramsThesis Hochschulschrift 2010
Heisz Harald - 2004 - Praktisch orientierte Konzepte der Inferenz mit...pdf.jpgHeisz, Harald Praktisch orientierte Konzepte der Inferenz mit Fuzzy-Regeln auf Grundlage des nosokomialen Diagnosesystems MONI-IVThesis Hochschulschrift 2004
Ortiz de la Fuente Maria Magdalena - 2010 - Query answering in expressive...pdf.jpgOrtiz de la Fuente, María Magdalena Query answering in expressive description logics : techniques and complexity resultsThesis Hochschulschrift 2010