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 21-40 of 69 (Search time: 0.007 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
21Lierler, Yuliya ; Schüller, Peter Parsing Combinatory Categorial Grammar with Answer Set Programming: Preliminary ReportKonferenzbeitrag Inproceedings 2011
22Fink, Michael Nonmonotonic Multi-Context Systems: Recent AdvancementsPräsentation Presentation2011
23FINK, MICHAEL A General Framework for Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-ThereArtikel Article2011
24Redl, Christoph ; Eiter, Thomas ; Krennwallner, Thomas Declarative Belief Set Merging Using Merging PlansKonferenzbeitrag Inproceedings 2011
25Mileo, Alessandra ; Fink, Michael Proceedings of the 2nd International Workshop on Logic-Based Interpretation of Context: Modelling and Applications, Vancouver, Canada, May 16, 2011Konferenzband Proceedings2011
26Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas First-Order Encodings of Modular Nonmonotonic Logic ProgramsKonferenzbeitrag Inproceedings 2011
27Eiter, Thomas ; Fink, Michael ; Schüller, Peter Approximations for Explanations of Inconsistency in Partially Known Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
28Krennwallner, Thomas Promoting Modular Nonmonotonic Logic ProgramsKonferenzbeitrag Inproceedings 2011
29Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas Model Streaming for Distributed Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
30Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Schüller, Peter Towards a Policy Language for Managing Inconsistency in Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
31Brewka, Gerd ; Eiter, Thomas ; Fink, Michael ; Weinzierl, Antonius Managed Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
32Fink, Michael ; Ghionna, Lucantonio ; Weinzierl, Antonius Relational Information Exchange and Aggregation in Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
33Drescher, Christian ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Walsh, Toby Symmetry Breaking for Distributed Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
34Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Krennwallner, Thomas ; Schüller, Peter Pushing Efficient Evaluation of HEX Programs by Modular DecompositionKonferenzbeitrag Inproceedings 2011
35Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas Dynamic Distributed Nonmontonic Multi-Context SystemsBuchbeitrag Book Contribution 2011
36Brewka, Gerhard ; Eiter, Thomas ; Fink, Michael Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge SourcesBuchbeitrag Book Contribution 2011
37Drescher, Christian ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Walsh, Toby Symmetry Breaking for Distributed Multi-Context SystemsPreprint Preprint2011
38Schüller, Peter Methods and Algorithms for Managing Inconsistency in Multi-Context SystemsPräsentation Presentation2010
39Schüller, Peter ; Eiter, Thomas ; Fink, Michael Towards Approximating Output-Projected Equilibria in Partially Known Multi-Context SystemsPräsentation Presentation2010
40Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas Distributed Nonmonotonic Multi-Context SystemsPräsentation Presentation2010