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 Article2014
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 Article2014
5Eiter, Thomas ; Fink, Michael ; Stepanova, Daria Data Repair of Inconsistent DL-programsKonferenzbeitrag Inproceedings 2013
6Eiter, Thomas ; Fink, Michael ; Stepanova, Daria Inconsistency Management for Description Logic Programs and BeyondKonferenzbeitrag Inproceedings2013
7Eiter, Thomas ; Krennwallner, Thomas ; Schneider, Patrik Lightweight Spatial Conjunctive Query Answering Using KeywordsKonferenzbeitrag Inproceedings 2013
8Calvanese, Diego ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas Evolving Graph Databases under Description Logic ConstraintsKonferenzbeitrag Inproceedings 2013
9Bienvenu, Meghyn ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Xiao, Guohui Tractability Guarantees for DL-Lite Query AnsweringKonferenzbeitrag Inproceedings 2013
10Calimeri, 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
11EITER, THOMAS ; ERDEM, ESRA ; ERDOGAN, HALIT ; FINK, MICHAEL Finding Similar/Diverse Solutions in Answer Set ProgrammingArtikel Article2013
12Bienvenu, Meghyn ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Xiao, Guohui Tractable Queries for Lightweight Description LogicsKonferenzbeitrag Inproceedings 2013
13Bienvenu, Meghyn ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas Conjunctive Regular Path Queries in Lightweight Description LogicsKonferenzbeitrag Inproceedings 2013
14Wang, Yisong ; You, Jia-Huai ; Yuan, Li Yan ; Shen, Yi-Dong ; Eiter, Thomas Eliminating Nonmonotonic DL-Atoms in Description Logic ProgramsKonferenzbeitrag Inproceedings 2013
15Calvanese, D. ; Ortiz, M. ; Simkus, M. ; Stefanoni, G. Reasoning about Explanations for Negative Query Answers in DL-LiteArtikel Article 2013
16Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph Liberal Safety for Answer Set Programs with External SourcesKonferenzbeitrag Inproceedings 2013
17Eiter, Thomas ; Krennwallner, Thomas ; Schneider, Patrik ; Xiao, Guohui Uniform Evaluation of Nonmonotonic DL-ProgramsKonferenzbeitrag Inproceedings2012
18Eiter, Thomas ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Tran, Trung-Kien ; Xiao, Guohui Towards Practical Query Answering for Horn SHIQ.Konferenzbeitrag Inproceedings 2012
19Ortiz, Magdalena ; Šimkus, Mantas Reasoning and Query Answering in Description LogicsKonferenzbeitrag Inproceedings 2012
20Bienvenu, Meghyn ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas Answering Expressive Path Queries over Lightweight DL Knowledge BasesKonferenzbeitrag Inproceedings 2012