Inconsistency Management for Knowledge-Integration Systems


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
 
Funder/Funding Agency Fördergeber
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds
Grant number Förderkennnummer
ICT08-020
 

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
3Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Schüller, Peter Managing Inconsistency in Multi-Context Systems using the IMPL Policy LanguageBericht Report2012
4Fink, Michael A Paraconsistent Semantics for Hybrid TheoriesBericht Report2012
5Eiter, Thomas ; Fink, Michael ; Schüller, Peter ; Weinzierl, Antonius Finding Explanations of Inconsistency in Multi-Context SystemsBericht Report2012
6Dao-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
7Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph Conflict-driven ASP Solving with External SourcesPreprint Preprint2012
8Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter ; Fink, Michael ; Lierler, Yuliya Eliminating Unfounded Set Checking for HEX-ProgramsKonferenzbeitrag Inproceedings 2012
9Eiter, 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
10Lierler, Yuliya ; Schüller, Peter ; Erdem, Esra ; Lee, Joohyung ; Lierler, Yuliya ; Pearce, David Parsing Combinatory Categorial Grammar via Planning in Answer Set ProgrammingKonferenzbeitrag Inproceedings2012
11EITER, THOMAS ; FINK, MICHAEL ; KRENNWALLNER, THOMAS ; REDL, CHRISTOPH Conflict-driven ASP solving with external sourcesArtikel Article2012
12Fink, Michael Recent Advancements in Nonmonotonic Multi-Context SystemsKonferenzbeitrag Inproceedings2011
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, Gerhard ; Eiter, Thomas ; Truszczyński, Mirosław Answer Set Programming at a GlanceArtikel Article2011
15Brewka, 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
16Krennwallner, Thomas Promoting Modular Nonmonotonic Logic ProgramsPräsentation Presentation2011
17Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Krennwallner, Thomas ; Schüller, Peter Pushing Efficient Evaluation of HEX Programs by Modular DecompositionPräsentation Presentation2011
18Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Krennwallner, Thomas ; Schüller, Peter Pushing Efficient Evaluation of HEX Programs by Modular DecompositionPräsentation Presentation2011
19Fink, Michael HEX Programs with Action AtomsPräsentation Presentation2011
20Fink, Michael ; Ghionna, Lucantonio ; Weinzierl, Antonius ; Delgrande, James P. ; Faber, Wolfgang Relational Information Exchange and Aggregation in Multi-Context SystemsKonferenzbeitrag Inproceedings 2011