Inconsistency Management for Knowledge-Integration Systems

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
IncMan
 
Project Title (de) Projekttitel (de)
Inconsistency Management for Knowledge-Integration Systems
 
Project Title (en) Projekttitel (en)
Inconsistency Management for Knowledge-Integration Systems
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds
Grant number Förderkennnummer
ICT08-020
 

Publications

Filter:
Author:  Krennwallner, Thomas

Results 1-20 of 27 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter Eliminating Unfounded Set Checking for HEX-ProgramsKonferenzbeitrag Inproceedings 2012
2Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter Exploiting Unfounded Sets for HEX-Program EvaluationKonferenzbeitrag Inproceedings 2012
3EITER, THOMAS ; FINK, MICHAEL ; KRENNWALLNER, THOMAS ; REDL, CHRISTOPH Conflict-driven ASP solving with external sourcesArtikel Article2012
4Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph Conflict-driven ASP Solving with External SourcesPreprint Preprint2012
5Krennwallner, Thomas Promoting Modular Nonmonotonic Logic ProgramsPräsentation Presentation2011
6Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Krennwallner, Thomas ; Schüller, Peter Pushing Efficient Evaluation of HEX Programs by Modular DecompositionPräsentation Presentation2011
7Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Krennwallner, Thomas ; Schüller, Peter Pushing Efficient Evaluation of HEX Programs by Modular DecompositionPräsentation Presentation2011
8Eiter, Thomas ; Krennwallner, Thomas ; Redl, Christoph Declarative Merging of and Reasoning about Decision DiagramsKonferenzbeitrag Inproceedings 2011
9Redl, Christoph ; Eiter, Thomas ; Krennwallner, Thomas Declarative Belief Set Merging Using Merging PlansKonferenzbeitrag Inproceedings 2011
10Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas First-Order Encodings of Modular Nonmonotonic Logic ProgramsKonferenzbeitrag Inproceedings 2011
11Krennwallner, Thomas Promoting Modular Nonmonotonic Logic ProgramsKonferenzbeitrag Inproceedings 2011
12Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas Model Streaming for Distributed Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
13Drescher, Christian ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Walsh, Toby Symmetry Breaking for Distributed Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
14Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Krennwallner, Thomas ; Schüller, Peter Pushing Efficient Evaluation of HEX Programs by Modular DecompositionKonferenzbeitrag Inproceedings 2011
15Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas Dynamic Distributed Nonmontonic Multi-Context SystemsBuchbeitrag Book Contribution 2011
16Drescher, Christian ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Walsh, Toby Symmetry Breaking for Distributed Multi-Context SystemsPreprint Preprint2011
17Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas Distributed Nonmonotonic Multi-Context SystemsPräsentation Presentation2010
18Bairakdar, Seif El-Din ; Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas Decomposition of Distributed Nonmonotonic Multi-Context SystemsKonferenzbeitrag Inproceedings 2010
19Bairakdar, Seif El-Din ; Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas The DMCS Solver for Distributed Nonmonotonic Multi-Context SystemsKonferenzbeitrag Inproceedings 2010
20Bairakdar, Seif El-Din ; Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas Decomposition of Distributed Nonmonotonic Multi-Context SystemsKonferenzbeitrag Inproceedings 2010