Reasoning in Hybrid Knowledge Bases


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
 
Funder/Funding Agency Fördergeber
FWF Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
Grant number Förderkennnummer
P20840-N13
 

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Eiter, Thomas ; Fink, Michael ; Stepanova, Daria Computing Repairs of Inconsistent DL-programs over EL OntologiesBericht Report2015
2Šimkus, Mantas ; Bassiliades, Nick ; Gottlob, Georg ; Sadri, Fariba ; Paschke, Adrian ; Roman, D. 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 ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; desJardins, Marie ; Littman, Michael Liberal Safety for Answer Set Programs with External SourcesKonferenzbeitrag Inproceedings 2013
8Eiter, Thomas ; Krennwallner, Thomas ; Schneider, Patrik ; Cimiano, Philipp ; Corcho, Oscar ; Presutti, Valentina ; Hollink, Laura ; Rudolph, Sebastian Lightweight Spatial Conjunctive Query Answering Using KeywordsKonferenzbeitrag Inproceedings 2013
9Calvanese, Diego ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Eiter, Thomas ; Glimm, Birte ; Kazakov, Yevgeny ; Krötzsch, Markus Evolving Graph Databases under Description Logic ConstraintsKonferenzbeitrag Inproceedings 2013
10Bienvenu, Meghyn ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Xiao, Guohui ; Eiter, Thomas ; Glimm, Birte ; Kazakov, Yevgeny ; Krötzsch, Markus Tractability Guarantees for DL-Lite Query AnsweringKonferenzbeitrag Inproceedings 2013
11Calimeri, 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
12EITER, THOMAS ; ERDEM, ESRA ; ERDOGAN, HALIT ; FINK, MICHAEL Finding Similar/Diverse Solutions in Answer Set ProgrammingArtikel Article2013
13Bienvenu, Meghyn ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Xiao, Guohui ; Rossi, Francesca Tractable Queries for Lightweight Description LogicsKonferenzbeitrag Inproceedings 2013
14Bienvenu, Meghyn ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Rossi, Francesca Conjunctive Regular Path Queries in Lightweight Description LogicsKonferenzbeitrag Inproceedings 2013
15Wang, Yisong ; You, Jia-Huai ; Yuan, Li Yan ; Shen, Yi-Dong ; Eiter, Thomas ; Lembo, Domenico ; Faber, Wolfgang Eliminating Nonmonotonic DL-Atoms in Description Logic ProgramsKonferenzbeitrag Inproceedings 2013
16Calvanese, D. ; Ortiz, M. ; Simkus, M. ; Stefanoni, G. Reasoning about Explanations for Negative Query Answers in DL-LiteArtikel Article 2013
17Eiter, Thomas ; Krennwallner, Thomas ; Schneider, Patrik ; Xiao, Guohui ; Lukasiewicz, Thomas ; Sali, Attila Uniform Evaluation of Nonmonotonic DL-ProgramsKonferenzbeitrag Inproceedings2012
18Eiter, Thomas ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Tran, Trung-Kien ; Xiao, Guohui ; Kazakov, Yevgeny ; Lembo, Domenico ; Wolter, Frank Towards Practical Query Answering for Horn SHIQ.Konferenzbeitrag Inproceedings 2012
19Ortiz, Magdalena ; Šimkus, Mantas ; Eiter, Thomas ; Krennwallner, Thomas Reasoning and Query Answering in Description LogicsKonferenzbeitrag Inproceedings 2012
20Bienvenu, Meghyn ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Kazakov, Yevgeny ; Lembo, Domenico ; Wolter, Frank Answering Expressive Path Queries over Lightweight DL Knowledge BasesKonferenzbeitrag Inproceedings 2012