Reasoning in Hybrid Knowledge Bases

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
Hybride Wissensbasen
 
Project Title (de) Projekttitel (de)
Reasoning in Hybrid Knowledge Bases
 
Project Title (en) Projekttitel (en)
Reasoning in Hybrid Knowledge Bases
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
FWF Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
Grant number Förderkennnummer
P20840-N13
 

Publications

Results 1-20 of 88 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Eiter, Thomas ; Fink, Michael ; Stepanova, Daria Computing Repairs of Inconsistent DL-programs over EL OntologiesBericht Report2015
2Šimkus, Mantas Binary Frontier-Guarded ASP with Function SymbolsKonferenzbeitrag Inproceedings 2015
3Calvanese, Diego ; Eiter, Thomas ; Ortiz, Magdalena Answering Regular Path Queries in Expressive Description Logics via Alternating Tree-AutomataArtikel Article 2014
4Shen, Yi-Dong ; Wang, Kewen ; Eiter, Thomas ; Fink, Michael ; Redl, Christoph ; Krennwallner, Thomas ; Deng, Jun FLP answer set semantics without circular justifications for general logic programsArtikel Article 2014
5Eiter, Thomas ; Fink, Michael ; Stepanova, Daria Data Repair of Inconsistent DL-programsKonferenzbeitrag Inproceedings 1-Jan-2013
6EITER, THOMAS ; ERDEM, ESRA ; ERDOGAN, HALIT ; FINK, MICHAEL Finding Similar/Diverse Solutions in Answer Set ProgrammingArtikel Article 2013
7Calvanese, D. ; Ortiz, M. ; Simkus, M. ; Stefanoni, G. Reasoning about Explanations for Negative Query Answers in DL-LiteArtikel Article 2013
8Bienvenu, Meghyn ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas Conjunctive Regular Path Queries in Lightweight Description LogicsKonferenzbeitrag Inproceedings 2013
9Wang, Yisong ; You, Jia-Huai ; Yuan, Li Yan ; Shen, Yi-Dong ; Eiter, Thomas Eliminating Nonmonotonic DL-Atoms in Description Logic ProgramsKonferenzbeitrag Inproceedings 2013
10Bienvenu, Meghyn ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Xiao, Guohui Tractability Guarantees for DL-Lite Query AnsweringKonferenzbeitrag Inproceedings 2013
11Calvanese, Diego ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas Evolving Graph Databases under Description Logic ConstraintsKonferenzbeitrag Inproceedings 2013
12Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph Liberal Safety for Answer Set Programs with External SourcesKonferenzbeitrag Inproceedings 2013
13Bienvenu, Meghyn ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Xiao, Guohui Tractable Queries for Lightweight Description LogicsKonferenzbeitrag Inproceedings 2013
14Calimeri, Francesco ; Fink, Michael ; Germano, Stefano ; Ianni, Giovambattista ; Redl, Christoph ; Stepanova, Daria ; Wimmer, Anton AngryHEX: An Angry Birds-playing Agent based on HEX-ProgramsPräsentation Presentation2013
15Eiter, Thomas ; Krennwallner, Thomas ; Schneider, Patrik Lightweight Spatial Conjunctive Query Answering Using KeywordsKonferenzbeitrag Inproceedings 2013
16Eiter, Thomas ; Fink, Michael ; Stepanova, Daria Inconsistency Management for Description Logic Programs and BeyondKonferenzbeitrag Inproceedings2013
17Bischof, Stefan ; Decker, Stefan ; Krennwallner, Thomas ; Polleres, Axel Mapping between RDF and XML with XSPARQLArtikel Article2012
18EITER, THOMAS ; FINK, MICHAEL ; KRENNWALLNER, THOMAS ; REDL, CHRISTOPH Conflict-driven ASP solving with external sourcesArtikel Article 2012
19Calimeri, Francesco ; Ianni, Giovambattista ; Krennwallner, Thomas ; Ricca, Francesco The Answer Set Programming CompetitionArtikel Article 2012
20Eiter, Thomas ; Krennwallner, Thomas ; Schneider, Patrik ; Xiao, Guohui Uniform Evaluation of Nonmonotonic DL-ProgramsKonferenzbeitrag Inproceedings2012