Hierarchical reasoning in local theory extensions and applications
(invited talk at SYNASC 2014, Timisoara, September 2014)
slides [.pdf]
Hierarchical and modular reasoning in complex theories
(tutorial at CADE 2009, August 2009)
all slides [.pdf]
Reasoning in complex theories and applications
(tutorial at KI 2008, September 23, 2008)
all slides [.pdf]
Efficient hierarchical reasoning about functions over numerical domains
(talk at KI 2008, September 26, 2008)
all slides [.pdf]
Locality and subsumption testing in EL and some of its extensions
(talk at AiML 2008, Nancy, September 2008)
all slides [.pdf]
Hierarchical and modular reasoning in complex theories:
The case of local theory extensions.
(invited talk at joint session of FroCos 2007 and FTP 2007)
all slides [.pdf]
Interpolation in local theory extensions
(talk at IJCAR-06, Seattle, August 2006)
all slides [.pdf]
Applications of hierarchical reasoning in the verification of complex systems.
(talk given at PDPAR'06 by my coauthor, Swen Jacobs)
all slides [.pdf]
Hierarchic reasoning in local theory extensions;
(talk at CADE-05, Tallinn, Estonia, July 2005)
all slides [.pdf]
main slides [.pdf]
Automated theorem proving by resolution in non-classical logics
(invited talk at JIM'03, Metz, September 2003)
all slides
[.pdf]
Representation theorems and the semantics of (semi)lattice based
logics
(invited talk at the 31th ISMVL, May 21-23, 2001, Warsaw,
Poland)
all slides
[.pdf)]
main slides [.pdf]