Showing results 1 to 20 of 30
next >
Preview | Authors / Editors | Title | Type | Issue Date |
 | Saribatur Yaman, Zeynep Gözen | Abstraction for reasoning about agent behavior with answer set programming | Thesis Hochschulschrift  | 2019 |
 | Eiter, Thomas ; Kaminski, Tobias; Redl, Christoph; Schüller, Peter; Weinzierl, Antonius | Answer Set Programming with External Source Access | Inproceedings Konferenzbeitrag  | 2017 |
 | Redl, Christoph | Answer set programming with external sources; algorithms and efficient evaluation | Thesis Hochschulschrift  | 2014 |
 | Schindlauer, Roman | Answer-set programming for the semantic web | Thesis Hochschulschrift  | 2006 |
 | Dao Tran, Minh | Default reasoning on top of ontologies with dl-programs | Thesis Hochschulschrift  | 2008 |
 | Miljanović, Miloš | Deformation monitoring using artificial intelligence techniques | Thesis Hochschulschrift  | 2015 |
 | Redl, Christoph | Development of a Belief Merging framework for dlvhex | Thesis Hochschulschrift  | 2010 |
 | Dao-Tran, Minh | Distributed nonmonotonic multi-context systems; algorithms and efficient evaluation | Thesis Hochschulschrift  | 2014 |
 | Eiter, Thomas ; Germano, Stefano ; Ianni, Giovambattista ; Kaminski, Tobias; Redl, Christoph; Schüller, Peter ; Weinzierl, Antonius | The DLVHEX System | Article Artikel  | 2018 |
 | Mushthofa, Mushthofa | Evaluation of answer set programs with bounded predicate arities | Thesis Hochschulschrift  | 2009 |
 | Eiter, Thomas ; Kaminski, Tobias | Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects | Inproceedings Konferenzbeitrag  | 2016 |
 | Eiter, Thomas ; Kaminski, Tobias; Redl, Christoph ; Weinzierl, Antonius | Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access | Article Artikel  | 2018 |
 | Bischof, Stefan | Implementation and optimisation of queries in XSPARQL | Thesis Hochschulschrift  | 2010 |
 | Stepanova, Daria | Inconsistencies in hybrid Knowledge Bases | Thesis Hochschulschrift  | 2015 |
 | Schüller, Peter | Inconsistency in multi-context systems; analysis and efficient evaluation | Thesis Hochschulschrift  | 2012 |
 | Weinzierl, Antonius | Inconsistency management under preferences for multi-context systems and extensions | Thesis Hochschulschrift  | 2014 |
 | Krennwallner, Thomas | Integration of conjunctive queries over description logics into HEX-programs | Thesis Hochschulschrift  | 2007 |
 | Bairakdar, Seif El-Din | Local optimization for multi-context systems with constraint pushing | Thesis Hochschulschrift  | 2011 |
 | Solomakhin, Dmitry | Logical formalization of Semantic Business Vocabulary and Rules | Thesis Hochschulschrift  | 2011 |
 | Redl, Christoph | Merging of biomedical decision diagrams | Thesis Hochschulschrift  | 2010 |