Browsing by Author 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 30  next >
PreviewAuthors / EditorsTitleTypeIssue Date
Abstraction for reasoning about agent behavior with answer set programming.pdf.jpgSaribatur Yaman, Zeynep Gözen Abstraction for reasoning about agent behavior with answer set programmingThesis Hochschulschrift 2019
Answer Set Programming with External Source Access.pdf.jpgEiter, Thomas ; Kaminski, Tobias; Redl, Christoph; Schüller, Peter; Weinzierl, AntoniusAnswer Set Programming with External Source AccessInproceedings Konferenzbeitrag 2017
Answer set programming with external sources algorithms and efficient evaluation.pdf.jpgRedl, Christoph Answer set programming with external sources; algorithms and efficient evaluationThesis Hochschulschrift 2014
Answer-set programming for the semantic web.pdf.jpgSchindlauer, Roman Answer-set programming for the semantic webThesis Hochschulschrift 2006
Default reasoning on top of ontologies with dl-programs.pdf.jpgDao Tran, MinhDefault reasoning on top of ontologies with dl-programsThesis Hochschulschrift 2008
Deformation monitoring using artificial intelligence techniques.pdf.jpgMiljanović, Miloš Deformation monitoring using artificial intelligence techniquesThesis Hochschulschrift 2015
Development of a Belief Merging framework for dlvhex.pdf.jpgRedl, ChristophDevelopment of a Belief Merging framework for dlvhexThesis Hochschulschrift 2010
Distributed nonmonotonic multi-context systems algorithms and efficient evaluation.pdf.jpgDao-Tran, Minh Distributed nonmonotonic multi-context systems; algorithms and efficient evaluationThesis Hochschulschrift 2014
The DLVHEX System.pdf.jpgEiter, Thomas ; Germano, Stefano ; Ianni, Giovambattista ; Kaminski, Tobias; Redl, Christoph; Schüller, Peter ; Weinzierl, AntoniusThe DLVHEX SystemArticle Artikel 2018
Evaluation of answer set programs with bounded predicate arities.pdf.jpgMushthofa, Mushthofa Evaluation of answer set programs with bounded predicate aritiesThesis Hochschulschrift 2009
Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects.pdf.jpgEiter, Thomas ; Kaminski, Tobias Exploiting Contextual Knowledge for Hybrid Classification of Visual ObjectsInproceedings Konferenzbeitrag 2016
Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access.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
Implementation and optimisation of queries in XSPARQL.pdf.jpgBischof, StefanImplementation and optimisation of queries in XSPARQLThesis Hochschulschrift 2010
Inconsistencies in hybrid Knowledge Bases.pdf.jpgStepanova, Daria Inconsistencies in hybrid Knowledge BasesThesis Hochschulschrift 2015
Inconsistency in multi-context systems analysis and efficient evaluation.pdf.jpgSchüller, PeterInconsistency in multi-context systems; analysis and efficient evaluationThesis Hochschulschrift 2012
Inconsistency management under preferences for multi-context systems and extensions.pdf.jpgWeinzierl, Antonius Inconsistency management under preferences for multi-context systems and extensionsThesis Hochschulschrift 2014
Integration of conjunctive queries over description logics into HEX-programs.pdf.jpgKrennwallner, ThomasIntegration of conjunctive queries over description logics into HEX-programsThesis Hochschulschrift 2007
Local optimization for multi-context systems with constraint pushing.pdf.jpgBairakdar, Seif El-Din Local optimization for multi-context systems with constraint pushingThesis Hochschulschrift 2011
Logical formalization of Semantic Business Vocabulary and Rules.pdf.jpgSolomakhin, Dmitry Logical formalization of Semantic Business Vocabulary and RulesThesis Hochschulschrift 2011
Merging of biomedical decision diagrams.pdf.jpgRedl, ChristophMerging of biomedical decision diagramsThesis Hochschulschrift 2010
Showing results 1 to 20 of 30  next >