Michael Fink

Institute of Information Systems Vienna University of Technology Favoritenstraße 9-11 , A-1040 Vienna , Austria

6 papers in the IJCAI proceedings

IJCAI 2013

Data Repair of Inconsistent DL-Programs

with Thomas Eiter, Daria Stepanova

Details PDF

IJCAI 2011

Managed Multi-Context Systems

with Gerhard Brewka, Thomas Eiter, Antonius Weinzierl

doi:10.5591/978-1-57735-516-8/IJCAI11-138

Details PDF

IJCAI 2009

Decomposition of Declarative Knowledge Bases with External Functions

with Thomas Eiter, Thomas Krennwallner

Details PDF

IJCAI 2007

Complexity Results for Checking Equivalence of Stratified Logic Programs

with Thomas Eiter, Hans Tompits, Stefan Woltran

Details PDF

IJCAI 2005

Updating Action Domain Descriptions

with Thomas Eiter, Esra Erdem, Ján Senko

Details PDF

IJCAI 2001

A Framework for Declarative Update Specifications in Logic Programs

with Thomas Eiter, Giuliana Sabbatini, Hans Tompits

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings