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.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Fink, Michael ; Brewka, Gerd ; Eiter, Thomas ; McIlraith, Sheila Paraconsistent Hybrid TheoriesKonferenzbeitrag Inproceedings 2012
2Weinzierl, Antonius ; Lassiter, Daniel ; Slavkovik, Marija Comparing Inconsistency Resolutions in Multi-Context SystemsKonferenzbeitrag Inproceedings 2012
3Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Weidinger, Gerald ; Weinzierl, Antonius ; del Cerro, Luis Fariñas ; Herzig, Andreas ; Mengin, Jérôme OMiGA : An Open Minded Grounding On-The-Fly Answer Set SolverKonferenzbeitrag Inproceedings 2012
4Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Schüller, Peter Managing Inconsistency in Multi-Context Systems using the IMPL Policy LanguageBericht Report2012
5Eiter, Thomas ; Fink, Michael ; Schüller, Peter ; Weinzierl, Antonius Finding Explanations of Inconsistency in Multi-Context SystemsBericht Report2012
6Fink, Michael A Paraconsistent Semantics for Hybrid TheoriesBericht Report2012
7Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter ; Fink, Michael ; Lierler, Yuliya Eliminating Unfounded Set Checking for HEX-ProgramsKonferenzbeitrag Inproceedings 2012
8Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter ; del Cerro, Luis Fariñas ; Herzig, Andreas ; Mengin, Jérôme Exploiting Unfounded Sets for HEX-Program EvaluationKonferenzbeitrag Inproceedings 2012
9Lierler, Yuliya ; Schüller, Peter ; Erdem, Esra ; Lee, Joohyung ; Lierler, Yuliya ; Pearce, David Parsing Combinatory Categorial Grammar via Planning in Answer Set ProgrammingKonferenzbeitrag Inproceedings2012
10Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph Conflict-driven ASP Solving with External SourcesPreprint Preprint2012
11EITER, THOMAS ; FINK, MICHAEL ; KRENNWALLNER, THOMAS ; REDL, CHRISTOPH Conflict-driven ASP solving with external sourcesArtikel Article2012
12Brewka, Gerhard ; Eiter, Thomas ; Fink, Michael ; Balduccini, Marcello ; Son, Tran Cao Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge SourcesBuchbeitrag Book Contribution 2011
13Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Brewka, Gerd ; Marek, Victor ; Truszczynski, Miroslaw Dynamic Distributed Nonmontonic Multi-Context SystemsBuchbeitrag Book Contribution 2011
14Brewka, Gerd ; Eiter, Thomas ; Fink, Michael ; Weinzierl, Antonius ; Walsh, Toby Managed Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
15Lierler, Yuliya ; Schüller, Peter ; Abreu, Salvador ; Oetsch, Johannes ; Puehrer, Joerg ; Seipel, Dietmar ; Tompits, Hans ; Umeda, Masanobu ; Wolf, Armin Parsing Combinatory Categorial Grammar with Answer Set Programming: Preliminary ReportKonferenzbeitrag Inproceedings 2011
16Schüller, Peter ; Weinzierl, Antonius ; Salinesi, Camille ; Pastor, Oscar Semantic Reasoning with SPARQL in Heterogeneous Multi-context SystemsKonferenzbeitrag Inproceedings 2011
17Weinzierl, Antonius ; Damasio, Carlos Viegas ; Preece, Alun ; Straccia, Umberto Advancing Multi-Context Systems by Inconsistency ManagementKonferenzbeitrag Inproceedings 2011
18Fink, Michael ; Ghionna, Lucantonio ; Weinzierl, Antonius ; Delgrande, James P. ; Faber, Wolfgang Relational Information Exchange and Aggregation in Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
19Eiter, Thomas ; Krennwallner, Thomas ; Redl, Christoph ; Dal Palù, Alessandro ; Dovier, Agostino ; Formisano, Andrea Declarative Merging of and Reasoning about Decision DiagramsKonferenzbeitrag Inproceedings 2011
20Fink, Michael Recent Advancements in Nonmonotonic Multi-Context SystemsKonferenzbeitrag Inproceedings2011