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

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

PreviewAuthors / EditorsTitleTypeIssue Date
1EITER, THOMAS ; FINK, MICHAEL ; KRENNWALLNER, THOMAS ; REDL, CHRISTOPH Conflict-driven ASP solving with external sourcesArtikel Article 2012
2Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Schüller, Peter Managing Inconsistency in Multi-Context Systems using the IMPL Policy LanguageBericht Report2012
3Eiter, Thomas ; Fink, Michael ; Schüller, Peter ; Weinzierl, Antonius Finding Explanations of Inconsistency in Multi-Context SystemsBericht Report2012
4Fink, Michael A Paraconsistent Semantics for Hybrid TheoriesBericht Report2012
5Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph Conflict-driven ASP Solving with External SourcesPreprint Preprint2012
6Lierler, Yuliya ; Schüller, Peter Parsing Combinatory Categorial Grammar via Planning in Answer Set ProgrammingKonferenzbeitrag Inproceedings2012
7Fink, Michael Paraconsistent Hybrid TheoriesKonferenzbeitrag Inproceedings 2012
8Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter Exploiting Unfounded Sets for HEX-Program EvaluationKonferenzbeitrag Inproceedings 2012
9Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter Eliminating Unfounded Set Checking for HEX-ProgramsKonferenzbeitrag Inproceedings 2012
10Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Weidinger, Gerald ; Weinzierl, Antonius OMiGA : An Open Minded Grounding On-The-Fly Answer Set SolverKonferenzbeitrag Inproceedings 2012
11Weinzierl, Antonius Comparing Inconsistency Resolutions in Multi-Context SystemsKonferenzbeitrag Inproceedings 2012
12Eiter, Thomas ; Fink, Michael ; Schüller, Peter Approximations for Explanations of Inconsistency in Partially Known Multi-Context SystemsKonferenzbeitrag Inproceedings 1-Jan-2011
13Brewka, Gerhard ; Eiter, Thomas ; Fink, Michael Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge SourcesBuchbeitrag Book Contribution 2011
14Fink, Michael Nonmonotonic Multi-Context Systems: Recent AdvancementsPräsentation Presentation2011
15Fink, Michael HEX Programs with Action AtomsPräsentation Presentation2011
16FINK, MICHAEL A General Framework for Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-ThereArtikel Article 2011
17Drescher, Christian ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Walsh, Toby Symmetry Breaking for Distributed Multi-Context SystemsPreprint Preprint2011
18Mileo, Alessandra ; Fink, Michael Proceedings of the 2nd International Workshop on Logic-Based Interpretation of Context: Modelling and Applications, Vancouver, Canada, May 16, 2011Konferenzband Proceedings2011
19Brewka, Gerhard ; Eiter, Thomas ; Truszczyński, Mirosław Answer Set Programming at a GlanceArtikel Article 2011
20Fink, Michael Recent Advancements in Nonmonotonic Multi-Context SystemsKonferenzbeitrag Inproceedings2011