Selected Presentations/Talks

Please contact me if you are interested in the presentation material.

• • Verification of generalized inconsistency-aware knowledge and action bases

    • At the 24th Int. Joint Conf. on Artificial Intelligence (IJCAI 2015)

    • Buenos Aires - Argentina, July 2015

  • Inconsistency management in generalized knowledge and action bases

    • At the 28th Int. Workshop on Description Logics (DL 2015)

    • Athens - Greece, June 2015

  • Adding context to knowledge and action bases

    • At the 6th Int. Workshop on Acquisition, Representation and Reasoning about Context with Logic (ARCOE-Logic 2014)

    • Linköping - Sweden, November 2014

  • Verification of context-sensitive knowledge and action bases

    • At the 14th European Conf. on Logics in Artificial Intelligence (JELIA 2014)

    • Madeira - Portugal, September 2014

  • Verification of semantically-enhanced artifact systems

    • At the 11th Int. Conf. on Service Oriented Computing (ICSOC 2013)

    • Berlin - Germany, December 2013

  • Verification of inconsistency-aware knowledge and action bases

    • At the 23rd Int. Joint Conference on Artificial Intelligence (IJCAI 2013)

    • Beijing - China, August 2013

  • Verification of inconsistency-aware knowledge and action bases

    • At the 26th Int. Workshop on Description Logics (DL 2013)

    • Ulm - Germany, July 2013

  • When Data, Knowledge and Processes Meet Together

    • At the 6th International Conference on Web Reasoning and Rule Systems (RR 12)

    • Vienna - Austria, September 2012

  • Semantically-Governed Data-Aware Processes

    • At the 1st Int. Workshop on Knowledge-intensive Business Processes (KiBP 2012)

    • Rome - Italy, June 2012

  • Best Service Synthesis in the Weighted Roman Model

    • At the 4th Central-European Workshop on Services and their Composition (ZEUS 2012)

    • Bamberg - Germany, February 2012

  • Solving Sudoku as Satisfiability Problem

    • At the Summer School of Computational Logic and Logic Foundations of Computer Science

    • Hanoi - Vietnam, August 2007