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

Filter:
Subject:  Nonmonotonic Reasoning

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

PreviewAuthor(s)TitleTypeIssue Date
1Shen, 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
2Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph Liberal Safety for Answer Set Programs with External SourcesKonferenzbeitrag Inproceedings 2013
3Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter Eliminating Unfounded Set Checking for HEX-ProgramsKonferenzbeitrag Inproceedings 2012
4Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter Exploiting Unfounded Sets for HEX-Program EvaluationKonferenzbeitrag Inproceedings 2012
5EITER, THOMAS ; FINK, MICHAEL ; KRENNWALLNER, THOMAS ; REDL, CHRISTOPH Conflict-driven ASP solving with external sourcesArtikel Article2012
6Krennwallner, Thomas Promoting Modular Nonmonotonic Logic ProgramsPräsentation Presentation2011
7Eiter, Thomas ; Krennwallner, Thomas ; Redl, Christoph Nested HEX-ProgramsKonferenzbeitrag Inproceedings 2011
8Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas Dynamic Distributed Nonmontonic Multi-Context SystemsBuchbeitrag Book Contribution 2011
9Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas Decomposition of Declarative Knowledge Bases with External FunctionsKonferenzbeitrag Inproceedings 2009
10Drabent, Wlodzimierz ; Eiter, Thomas ; Ianni, Giovambattista ; Krennwallner, Thomas ; Lukasiewicz, Thomas ; Maluszynski, Jan Hybrid Reasoning with Rules and OntologiesBuchbeitrag Book Contribution 2009