Proceedings of the Workshop Popularize Artificial Intelligence co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), 2013

Liberal Safety for Answer Set Programs with External Sources.

[BibT_eX]

[DOI]

Thomas Eiter

Michael Fink

Thomas Krennwallner

Christoph Redl

Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012

Conflict-driven ASP solving with external sources.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2012

Linked Stream Data Processing Engines: Facts and Figures.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2012, 2012

Semantic Independence in DL-Programs.

[BibT_eX]

[DOI]

Thomas Eiter

Michael Fink

Daria Stepanova

Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

Paraconsistent Hybrid Theories.

[BibT_eX]

[DOI]

Michael Fink

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Exploiting Unfounded Sets for HEX-Program Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

Simulating Production Rules Using ACTHEX.

[BibT_eX]

[DOI]

Thomas Eiter

Cristina Feier

Michael Fink

Proceedings of the Correct Reasoning, 2012

2011

A general framework for equivalences in Answer-Set Programming by countermodels in the logic of Here-and-There.

[BibT_eX]

[DOI]

Michael Fink

Theory Pract. Log. Program., 2011

Relational Information Exchange and Aggregation in Multi-Context Systems.

[BibT_eX]

[DOI]

Michael Fink

Lucantonio Ghionna

Antonius Weinzierl

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems.

[BibT_eX]

[DOI]

Thomas Eiter

Michael Fink

Peter Schüller

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Towards a Policy Language for Managing Inconsistency in Multi-Context Systems.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on Logic-based Interpretation of Context: Modelling and Applications, 2011

Pushing Efficient Evaluation of HEX Programs by Modular Decomposition.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Symmetry Breaking for Distributed Multi-Context Systems.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Model Streaming for Distributed Multi-Context Systems.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on Logic-based Interpretation of Context: Modelling and Applications, 2011

The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems.

[BibT_eX]

[DOI]

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011

Managed Multi-Context Systems.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources.

[BibT_eX]

[DOI]

Gerhard Brewka

Thomas Eiter

Michael Fink

Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

2010

Updating action domain descriptions.

[BibT_eX]

[DOI]

Artif. Intell., 2010

Paracoherent Answer Set Programming.

[BibT_eX]

[DOI]

Thomas Eiter

Michael Fink

João Moura

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Distributed Nonmonotonic Multi-Context Systems.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

A Logical Semantics for Description Logic Programs.

[BibT_eX]

[DOI]

Michael Fink

David Pearce

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

Preference-Based Inconsistency Assessment in Multi-Context Systems.

[BibT_eX]

[DOI]

Thomas Eiter

Michael Fink

Antonius Weinzierl

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

The mcs-ie System for Explaining Inconsistency in Multi-Context Systems.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems.

[BibT_eX]

[DOI]

Seif El-Din Bairakdar

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

Decomposition of Distributed Nonmonotonic Multi-Context Systems.

[BibT_eX]

[DOI]

Seif El-Din Bairakdar

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

HEX Programs with Action Atoms.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010

First-Order Encodings for Modular Nonmonotonic Datalog Programs.

[BibT_eX]

[DOI]

Proceedings of the Datalog Reloaded - First International Workshop, 2010

2009

Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Decomposition of Declarative Knowledge Bases with External Functions.

[BibT_eX]

[DOI]

Thomas Eiter

Michael Fink

Thomas Krennwallner

Proceedings of the IJCAI 2009, 2009

Finding Similar or Diverse Solutions in Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 25th International Conference, 2009

Modular Nonmonotonic Logic Programming Revisited.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 25th International Conference, 2009

Combining Nonmonotonic Knowledge Bases with External Sources.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

2008

Repair localization for query answering from inconsistent databases.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2008

Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There.

[BibT_eX]

[DOI]

Michael Fink

Proceedings of the Logic Programming, 24th International Conference, 2008

Error Classification in Action Descriptions: A Heuristic Approach.

[BibT_eX]

[DOI]

Thomas Eiter

Michael Fink

Ján Senko

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

A knowledge-based approach for selecting information sources.

[BibT_eX]

[DOI]

Thomas Eiter

Michael Fink

Hans Tompits

Theory Pract. Log. Program., 2007

Semantical characterizations and complexity of equivalences in answer set programming.

[BibT_eX]

[DOI]

Thomas Eiter

Michael Fink

Stefan Woltran

ACM Trans. Comput. Log., 2007

Complexity results for answer set programming with bounded predicate arities and implications.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2007

Comparing action descriptions based on semantic preferences.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2007

Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

Complexity Results for Checking Equivalence of Stratified Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2007, 2007

2006

Replacements in Non-Ground Answer-Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

A Tool for Answering Queries on Action Descriptions.

[BibT_eX]

[DOI]

Thomas Eiter

Michael Fink

Ján Senko

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

Resolving Conflicts in Action Descriptions.

[BibT_eX]

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

2005

Reasoning about evolving nonmonotonic knowledge bases.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2005

The INFOMIX system for advanced integration of incomplete and inconsistent data.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2005

Boosting Information Integration: The INFOMIX System.

[BibT_eX]

Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, 2005

Data Integration: a Challenging ASP Application.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

KMonitor - A Tool for Monitoring Plan Execution in Action Theories.

[BibT_eX]

[DOI]

Thomas Eiter

Michael Fink

Ján Senko

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground Case.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2005

2004

Simplifying Logic Programs Under Uniform and Strong Equivalence.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

On Eliminating Disjunctions in Stable Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

2003

Monitoring Agents using Declarative Planning.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2003

Efficient Evaluation of Logic Programs for Querying Data Integration Systems.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 19th International Conference, 2003

Uniform Equivalence of Logic Programs under the Stable Model Semantics.

[BibT_eX]

[DOI]

Thomas Eiter

Michael Fink

Proceedings of the Logic Programming, 19th International Conference, 2003

Declarative Update Policies for Nonmonotonic Knowledge Bases.

[BibT_eX]

Proceedings of the Logics for Emerging Applications of Databases [outcome of a Dagstuhl seminar], 2003

Eliminating Disjunction from Propositional Logic Programs under Stable Model Preservation.

[BibT_eX]

[DOI]

Proceedings of the Answer Set Programming, 2003

Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Answer Set Programming, 2003

2002

Using Methods of Declarative Logic Programming for Intelligent Information Agents.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2002

On Properties of Update Sequences Based on Causal Rejection.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2002

A Generic Approach for Knowledge-Based Information-Site Selection.

[BibT_eX]

Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

2001

An Update Front-End for Extended Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

A Framework for Declarative Update Specifications in Logic Programs.

[BibT_eX]

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

2000

Considerations on Updates of Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

1999

A Web-based Tutoring Tool for Calculating Default Logic Extensions.

[BibT_eX]

Proceedings of WebNet 99, 1999

Michael Fink

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...