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 44 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Fink, Michael Paraconsistent Hybrid TheoriesKonferenzbeitrag Inproceedings 2012
2Weinzierl, Antonius Comparing Inconsistency Resolutions in Multi-Context SystemsKonferenzbeitrag Inproceedings 2012
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
5Lierler, Yuliya ; Schüller, Peter Parsing Combinatory Categorial Grammar via Planning in Answer Set ProgrammingKonferenzbeitrag Inproceedings2012
6Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Weidinger, Gerald ; Weinzierl, Antonius OMiGA : An Open Minded Grounding On-The-Fly Answer Set SolverKonferenzbeitrag Inproceedings 2012
7Fink, Michael Recent Advancements in Nonmonotonic Multi-Context SystemsKonferenzbeitrag Inproceedings2011
8Schüller, Peter ; Weinzierl, Antonius Semantic Reasoning with SPARQL in Heterogeneous Multi-context SystemsKonferenzbeitrag Inproceedings 2011
9Weinzierl, Antonius Advancing Multi-Context Systems by Inconsistency ManagementKonferenzbeitrag Inproceedings 2011
10Eiter, Thomas ; Krennwallner, Thomas ; Redl, Christoph Declarative Merging of and Reasoning about Decision DiagramsKonferenzbeitrag Inproceedings 2011
11Lierler, Yuliya ; Schüller, Peter Parsing Combinatory Categorial Grammar with Answer Set Programming: Preliminary ReportKonferenzbeitrag Inproceedings 2011
12Redl, Christoph ; Eiter, Thomas ; Krennwallner, Thomas Declarative Belief Set Merging Using Merging PlansKonferenzbeitrag Inproceedings 2011
13Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas First-Order Encodings of Modular Nonmonotonic Logic ProgramsKonferenzbeitrag Inproceedings 2011
14Eiter, Thomas ; Fink, Michael ; Schüller, Peter Approximations for Explanations of Inconsistency in Partially Known Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
15Krennwallner, Thomas Promoting Modular Nonmonotonic Logic ProgramsKonferenzbeitrag Inproceedings 2011
16Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas Model Streaming for Distributed Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
17Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Schüller, Peter Towards a Policy Language for Managing Inconsistency in Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
18Brewka, Gerd ; Eiter, Thomas ; Fink, Michael ; Weinzierl, Antonius Managed Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
19Fink, Michael ; Ghionna, Lucantonio ; Weinzierl, Antonius Relational Information Exchange and Aggregation in Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
20Drescher, Christian ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Walsh, Toby Symmetry Breaking for Distributed Multi-Context SystemsKonferenzbeitrag Inproceedings 2011