Past and Forthcoming Presentations
(this list is not entirely complete with respect to talks given by coauthors. Also, paper presentations at conferences are missing from 2008 onwards)
(for files of published papers see my list of publications)
(by coauthor' means joint work presented by coauthor; 'with coauthor' means joint work presented by me)
Research
2009
-
Neural-symbolic Integration.
Invited talk, School of Computer Science, University of St. Andrews, Scotland, January 2009. -
Knowledge Representation and Reasoning for the Semantic Web.
Invited talk, School of Computer Science, University of St. Andrews, Scotland, January 2009. - Semantic Web.
Invited talk, Department of Computer Science, TU Rostock, Germany, January 2009.
2008
-
Bringing WSML up to date with recent developments.
Oberseminar Wissensmanagement, AIFB, Universität Karlsruhe (TH), November 2008. -
Bringing WSML up to date with recent developments.
SOA4ALL meeting, Brussels, November 2008. -
Towards Scalable Ontology Reasoning
LarKC meeting, Stuttgart, October 2008. -
Integrating Symbolic and Subsymbolic Cognitive Processing.
Invited keynote at the Symposium on Neural-Symbolic Integration as a Means for Computational Cognition, 9. Fachtagung der Gesellschaft für Kognitionswissenschaft, KogWis 2008, Dresden, Germany, September 2008. -
OWL 2 Rules.
Invited talk, CENTRIA, Universidade Nova de Lisboa, Portugal, September 2008. -
Semantische Technologien - Methoden und Anwendungen.
Invited talk, Universität Mannheim, Germany, September 2008. -
Semantische Technologien für Informationssysteme.
Invited talk, Universität Koblenz, Germany, September 2008. -
Some Advances in Tractable Description Logics.
Presentation at the meeting of the special interest group on Logic in Computer Science of the German Informatics society (GI) in Munich, Germany, September 2008. -
Tableaualgorithmen für Beschreibungslogiken.
Oberseminar Wissensmanagement, AIFB, Universität Karlsruhe (TH), July 2008.
[slides (pdf)] -
OWL 2 Rules.
Invited colloquium talk, University of Koblenz, Germany, June 2008.
-
Keys for Unlocking the World Wide Web.
Invited talk, University of Luxembourg, March 2008. -
Intensivkurs Mathematik - report from an enhancement programme in mathematics.
Invited talk, University of Luxembourg, March 2008. -
Approximate Reasoning with OWL Ontologies.
Dagstuhl Seminar on Logic and Probability for Scene Interpretation, February 2008. -
Logic Programs, Iterated Function Systems, and Recurrent Radial Basis Function Networks.
(with Sebastian Bader)
Dagstuhl Seminar on Perspectives of Recurrent Neural Networks - Models, Capacities, and Applications, January 2008.
2007
-
Towards Tractable Local Closed World Reasoning for the Semantic Web.
(by Matthias Knorr, with Jose Alferes)
13th Portuguese Conference on Aritficial Intelligence, EPIA 2007, Guimaraes, Portugal, December 2007. - Applications of Semantic Technologies: Semantic MediaWiki, SmartWeb, and the added value of ontology reasoning.
Leipzig, November 2007. - Semantic Web Reasoning.
Invited Colloquium talk (group of Prof. Herre), Leipzig, November 2007. - Some Recent Issues in Tractable Description Logics.
LogInf meeting, Braunschweig, November 2007. -
Conjunctive Queries for a Tractable Fragment of OWL 1.1.
(by Markus Krötzsch, with Sebastian Rudolph)
6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 2007. - Neural-Symbolic Integration.
Cognitive Science Colloquium Osnabrück, November 2007.
[slides (pdf)] [audio (talk starts at 3 minutes)] -
An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics.
(with Yue Ma, by Guilin Qi, with Zuoquan Lin)
Ninth European Conference on Symbolic and Quanlitative Approaches to Reasoning with Uncertainty, Hammamet, Tunisia, October 2007. -
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics.
(with Yue Ma, by Guilin Qi, with Zuoquan Lin)
Ninth European Conference on Symbolic and Quanlitative Approaches to Reasoning with Uncertainty, Hammamet, Tunisia, October 2007. - Any-World Access to OWL from Prolog.
(with T. Matzner)
KI2007, Osnabrück, September 2007. - Relational Exploration - Reconciling Plato and Aristotle.
(presentation of a paper by Sebastian Rudolph)
FAInt-07, Osnabrück, September 2007. - A Comparison of Disjunctive Well-founded Semantics.
(by Matthias Knorr)
FAInt-07, Osnabrück, September 2007. - Description Logic Programs: Normal Forms.
(with Andreas Eberhart)
FAInt-07, Osnabrück, September 2007. -
Complexity Boundaries for Horn Description Logics
(by Markus Krötzsch, with Sebastian Rudolph)
AAAI Conference on Artficial Intelligence, Vancouver, British Columbia, Canada, August 2007. -
Supporting Lexical Ontology Learning by Relational Exporation.
(by Sebastian Rudolph, with Johanna Völker)
ICCS 2007, Sheffield, UK, July 2007. -
Quo Vadis, CS? - On the (non)-impact of Conceptual Structures on the
Semantic Web.
(by Sebastian Rudolph, with Markus Krötzsch)
ICCS 2007, Sheffield, UK, July 2007. -
Decidability Under the Well-Founded Semantics.
(by Natalia Cherchago, with Steffen Hölldobler)
First International Conference on Web Reasoning and Rule Systems, RR2007, Innsbruck, Austria, June 2007. - Efficient OWL Reasoning with Logic Programs - Evaluations.
(with Sebastian Rudolph, Markus Krötzsch, Michael Sintek, Denny Vrandecic)
Poster at RR2007, June 2007.
Best Poster Award. -
Acquisition of OWL DL Axioms from Lexical Resources.
(by Johanna Völker, with Philipp Cimiano)
4th European Semantic Web Conference, ESWC2007, Innsbruck, Austria, June 2007. -
Algorithms for Paraconsistent Reasoning with OWL.
(by Yue Ma, with Zuoquan Lin)
4th European Semantic Web Conference, ESWC2007, Innsbruck, Austria, June 2007. - Any-World Access to OWL from Prolog.
(with T. Matzner)
Poster at ESWC2007, June 2007. -
A Refinement Operator Based Learning Algorithm for the ALC Description Logic.
(by Jens Lehmann)
ILP 2007, Corvallis OR, June 2007.
Best Student Paper Award.
-
Foundations of Refinement Operators for Description Logics.
(by Jens Lehmann)
ILP 2007, Corvallis OR, June 2007..
Best Student Paper Award.
- Wissensverarbeitung für Semantische Technologien.
Antrittsvorlesung zur Habilitation in Angewandter Informatik, Universität Karlsruhe (TH), May 2007. - Semantic Web Technologies
Presentation at T-Systems, Berlin, May 2007. - Applications of Semantic Technologies: Semantic MediaWiki,
SmartWeb, and the added value of ontology reasoning.
Invited talk at the Institut für Software- und Multimediatechnik, TU Dresden, Germany, April 2007. - Semantic Web Reasoning.
Invited talk at the International Center for Computational Logic, TU Dresden, Germany, April 2007. - An Ordered-Resolution Decision Procedure for Four-valued Description Logics.
(by Yue Ma, with Zuoquan Lin)
Annual meeting of the Fachgruppe Deduktionssysteme, Koblenz, Germany, March 2007. - A Tableaux Decision Procedure for Circumscriptive Description Logics.
(with Stephan Grimm)
Annual meeting of the Fachgruppe Deduktionssysteme, Koblenz, Germany, March 2007. (Presentation had to be cancelled.) - Neural-symbolic Integration.
(with Sebastian Bader, Steffen Hölldobler, Andreas Witzel)
Oberseminar Wissensmanagement at AIFB, Universität Karlsruhe, Germany, February 2007. - Neural-symbolic Integration: overcoming the propositional fixation.
Invited talk at the Department of Artificial Intelligence, University of Ulm, Germany, January 2007. - A Fully Connectionist Model Generator for Covered First-Order Logic Programs.
(with Sebastian Bader, Steffen Hölldobler, by Andreas Witzel)
Twentieth International Joint Conference on Artificial Intelligence, IJCAI-07, Hyderabad, India, January 2007.
2006
- Towards subsymbolic methods for semantic knowledge.
Invited talk at the 3rd Italian Semantic Web Workshop on Semantic Web Applications and Perspectives, Pisa, Italy, December 2006. - Knowledge Representation and Reasoning for the World Wide Web.
Colloqium at CENTRIA, Universidade Nova de Lisboa, December 2006. - Knowledge Representation and Reasoning for the World Wide Web.
Invited talk for the Seminar at the Department of Electrical Engineering and Computer Science, Case Western Reserve University Cleveland, Ohio, November 2006. - On the Complexity of Horn Description Logics.
(by Markus Krötzsch, with Sebastian Rudolph)
Second Workshop OWL - Experiences and Directions, Athens, Georgia, November 2006. - How to reason with OWL in a logic programming system.
(with Markus Krötzsch, Michael Sintek, Denny Vrandecic)
Second International Conference on Rules and Rule Markup Languages for the Semantic Web, Athens, Georgia, November 2006. - Context Sensitivity in Knowledge Rich Systems.
(with/by Marko Grobelnik, Igor Mozetic, Michael Witbrock, Peter Haase)
Tutorial at ISWC2006, Athens, GA, November 2006. - How to reason with OWL in a logic programming system.
(with Markus Krötzsch, Michael Sintek, Denny Vrandecic)
Oberseminar Wissensmanagement at AIFB, Universität Karlsruhe, Germany. - A domain-logical perspective of answer set programming
LogInf meeting, Dortmund, Germany, October 2006. - Knowledge Technologies, Hybrid Approaches and Neural
Networks.
(with/by Steffen Hölldobler and Jeff Pan)
Tutorial at the 16th International Conference on Artificial Neural Networks, ICANN06, Athens, Greece, September 2006. - Approximate Reasoning for the Semantic Web.
(with/by Frank van Harmelen and Holger Wache)
Course at the 18th European Summer School in Logic, Language, and Information, ESSLLI 2006, Malaga, Spain, July/August 2006. - Knowledge, Reasoning, and the Semantic Web.
Course at the ICCL Summer School 2006 on Knowledge Structures, Dresden, Germany, June/July 2006. - OWL 1.1 and OWL 2.0.
Oberseminar Wissensmanagement, AIFB, University of Karlsruhe, June 2006. - Ontologieinfrastruktur in SmartWeb.
(with/by A. Ankolekar, P. Cimiano, M. Krötzsch, R. Studer, C. Schmidt, M. Weiten, P. Buitelaar, M. Kiesel, M. Sintek, M. Romanelli, N. Reithinger, B. Loos, R. Porzel)
Second SmartWeb Projektstandssitzung, Berlin, June 2006. - Interview on SmartWeb
made at the 3rd European Semantic Web Conference, ESWC06, Budva, Montenegro, June 2006. - Practical Reasoning with OWL and DL-Safe Rules.
(with Peter Haase, Markus Krötzsch, Jürgen Angele, Rudi Studer)
Tutorial at the 3rd European Semantic Web Conference, ESWC06, Budva, Montenegro, June 2006. -
Perspectives on Formal Concept Analysis: Domain Logics and Commonsense Reasoning.
Invited talk at the 4th International Symposium on Domain Theory, Changsha, China, June 2006. -
Semantically Enabled Knowledge Technologies.
4th International Symposium on Domain Theory, Changsha, China, June 2006. -
Semantically Enabled Knowledge Technologies: Logic and the Web.
Invited talk at Peking University, China, June 2006. - SmartWeb: Mobile Access to the Semantic Web.
(by/with A. Ankolekar, P. Cimiano, P. Hitzler, M. Krötzsch, G. Ladwig, H. Lewen, D. Oberle, R. Studer, M. Kiesel, M. Sintek, H. Schnurr)
WWW 2006 Mobile developer track. - Wissensverarbeitung als semantische Basistechnologie: symbolische KI
wird ubiquitär.
GIBU Annual Meeting 2006, Dagstuhl, Germany, April 2006. - Dynamics of Networked Ontologies.
(with Peter Haase)
Knowledge Transfer talk at the NeOn kick-off meeting, Rome, Italy, March 2006. -
Neural-symbolic learning and reasoning.
(with/by Sebastian Bader)
Course at the Interdisciplinary College IK2006, Günne, Germany, March 2006. - Visual Ontology Modeling for Electronic Markets
(by S. Brockmans, with R. Studer, A. Geyer-Schulz, P. Haase)
IME Doctoral Colloquium, Bad Herrenalb, February 2006. -
Wissensverarbeitung im WWW.
Invited talk at the Department of Artificial Intelligence, University of Ulm, Germany, January 2006.
2005
-
Neuro-symbolische Integration: Grundlagen und Anwendungsmöglichkeiten.
Scientific talk for achieving the requirements for a Habilitation, Department of Computer Science, TU Dresden, Germany, December 2005. -
Die Zukunft des Semantic Web.
Test lecture for achieving the requirements for a Habilitation, Department of Computer Science, TU Dresden, Germany, December 2005. - Logic and the Web.
Invited talk for the graduate college on Mathematical Logic and Applications, University of Freiburg, Germany, December 2005. -
Semantischer Zugriff auf Webservices.
(by D. Oberle, with A. Ankolekar)
2. SmartWeb Projektlenkungssitzung, EML, Heidelberg, December 2004.
-
W3C RIF WG.
Oberseminar Wissensmanagement, AIFB, Universität Karlsruhe, December 2005. -
Level mapping characterizations for the any-world assumption?
Presentation at AIFB Karlsruhe, November 2005. -
Extending DL-KBs by Fuzzy Rules.
(by S. Agarwal, with S. Lamparter)
Presentation at AIFB Karlsruhe, November 2005. - DLP isn't so bad after all.
(with P. Haase, M. Krötzsch, Y. Sure and R. Studer)
Workshop OWL - Experiences and Directions, Galway, Ireland, November 2005
- Modeling Fuzzy Rules with Description Logics.
(by S. Agarwal)
Workshop OWL - Experiences and Directions, Galway, Ireland, November 2005
- Resolution-based approximate reasoning for OWL DL.
(with D. Vrandecic)
4th International Semantic Web Conference, ISWC2005, Galway, Ireland, November 2005.
[slides (pdf)] - DLP isn't so bad after all.
(with P. Haase, M. Krötzsch, Y. Sure and R. Studer)
Oberseminar Wissensmanagement, AIFB, Universität Karlsruhe, October 2005. - Web, Rules, and W3C.
Oberseminar Wissensmanagement, AIFB, Universität Karlsruhe, September 2005. - Screech - Faster OWL Using Split Programs.
(with D. Vrandecic)
Software Demo.
Principles and Practice of Semantic Web Reasoning, PPSWR 2005, Dagstuhl, Germany, September 2005.
[slides (pdf)] - The KAON2 OWL Reasoner.
(with B. Motik and R. Studer)
Dagstuhl Seminar 05371
Principles and Practice of Semantic Web Reasoning, PPSWR 2005, Dagstuhl, Germany, September 2005. - Connectionist Knowledge Representation and Reasoning.
(with/by B. Hammer)
Tutorial at the 28th German Conference on Artificial Intelligence KI 2005, Koblenz, Germany, September 2005. - The well-supported semantics for multidimensional dynamic logic programs.
(with/by F. Banti, J. Alferes, A. Brogi)
8th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR'05, Diamante, Cosenza, Italy, September 2005. - Integrating Logic Programs and Connectionist Systems.
(with/by S. Bader and S. Hölldobler)
Course at the 17th European Summer School in Logic, Language, and Information, ESSLLI 2005, Edinburgh, Scotland, August 2005.
[link to slides] - Integrating First Order Logic Programs and Connectionist Systems - A Constructive Approach.
(by Andreas Witzel, with Sebastian Bader)
IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning, NeSy'05, Edinburgh, UK, August 2005.
[slides (pdf)] -
Extracting reduced logic programs from artificial neural networks.
(by Jens Lehmann, with Sebastian Bader)
IIJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning, NeSy'05, Edinburgh, UK, August 2005.
[slides (zipped ps)] - Ontology leaning as a use case for neural-symbolic integration.
(with Sebastian Bader and Artur S. d'Avila Garcez)
IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning, NeSy'05, Edinburgh, UK, August 2005.
[slides (zipped ps)] - What contribution can automated reasoning make to eScience? - A Semantic Web perspective
Panel member at the 12th Workhsop on Automated Reasoning, ARW 2005, Edinburgh, UK, July 2005. - Faster OWL Using Split Programs.
(with Denny Vrandecic)
12th Workshop on Automated Reasoning, ARW 2005, Edinburgh, UK, July 2005. - Morphisms in Context.
(by Markus Krötzsch, with Guo-Qiang Zhang)
13th International Conference on Conceptual Structures, ICCS '05, Kassel, Germany, July 2005. - What Is Ontology Merging? - A Category-Theoretical Perspective Using Pushouts.
(with Markus Krötzsch, Marc Ehrig, and York Sure)
Poster at the First International Workshop on Contexts and Ontologies: Theory, Practice and Applications (C&0). Workshop at the 20th National Conference on Artificial Intelligence, AAAI-05, Pittsburgh, Pennsylvania, July 2005. - Topological Aspects of First-Order Neural-Symbolic Integration
Invited talk for the lecture on Logic Programming and Connectionist Systems, International Master Programme in Computational Logic, TU Dresden, Germany, June 2005.
[zipped ps (slides)] [pdf (slides)] - Description Logic Programs: A Practical Choice For the Modelling of Ontologies.
(by Y. Sure, with R. Studer)
1st workshop "FOMI 2005" Formal Ontologies Meet Industry, Castelnuovo del Garda (VR), Italy, June 2005. - Approximate Resolution for OWL.
(with D. Vrandecic)
KnowledgeWeb Meeting, Iraklion, Greece, June 2005. - KAON2 OWL Reasoner and Tools.
(with/by Boris Motik, Denny Vrandecic, York Sure, Rudi Studer)
Software Demo at the Second European Semantic Web Conference, ESWC 2005, Iraklion, Greece, May 2005. - Computing First-Order Logic Programs by Fibring Artificial Neural Networks.
(by Sebastian Bader, with Artur S. d'Avila Garcez)
18th International FLAIRS Conference, Clearwater Beach, Florida, May 2005. - Non-monotonic Reasoning.
Oberseminar Wissensmanagement, AIFB, Universität Karlsruhe, May 2005. - Level mapping characterizations of selector-generated models for logic programs.
(by S. Schwarz)
19th Workshop on (Constraint) Logic Programming, W(C)LP 2005, Ulm, Germany, February 2005. - Approximate Resolution for OWL ABox Reasoning.
(with Boris Motik)
Oberseminar Wissensmanagement, AIFB, Universität Karlsruhe, February 2005.
[pdf (slides)] - Approximate Resolution for OWL ABox Reasoning.
(with Boris Motik)
KnowledgeWeb Meeting, Hannover, Germany, January 2005.
[pdf (slides)] - A categorical perspective on ontology merging.
(by Markus Krötzsch, with Marc Ehrig and York Sure)
KnowledgeWeb Meeting, Hannover, Germany, January 2005.
2004
- Symbolic knowledge representation with artificial neural networks.
(with S. Bader)
International Workshop on the Theory of Computation at INFORMATION'2004, Tokyo, Japan, November/December 2004.
[gzipped postscript (slides)] [pdf (slides)] - Computing First-Order Logic Programs by Fibring Artificial Neural Networks
(by S. Bader, with A.S. d'Avila Garcez)
International Workshop on the Theory of Computation at INFORMATION'2004, Tokyo, Japan, November/December 2004.
[gzipped postscript (slides)] [pdf (slides)] - Ontologien in SmartWeb
1. SmartWeb Projektlenkungssitzung, DFKI, Saarbrücken, November 2004.
- Neural-symbolic integration.
Oberseminar, Institute AIFB, University of Karlsruhe, November 2004.
[zipped postscript (slides, 3.5MB)] [pdf (slides)] - Description Logic Programs.
(with/by A. Eberhart)
SmartWeb Ontology Workshop, Karlsruhe, October 2004 - Language Weakening for OWL?
KnowledgeWeb Research Meeting, Manchester, September 2004 - Default reasoning over domains and concept hierarchies.
27th German Conference on Artificial Intelligence, Ulm, Germany, September 2004.
[gzipped postscript (slides)] [pdf (slides)] - A cartesian closed category of approximable concept structures.
(by G.-Q. Zhang)
12th International Conference on Conceptual Structures, ICCS'04, Huntsville, Alabama, July 2004. - Rule-based reasoning over conceptual knowledge.
International Workshop on Proof, Computation, Complexity, Dresden, Germany, June 2004.
[gzipped postscript (slides)] [pdf (slides)] - Representing first-order knowledge by artificial neural networks.
Invited talk for the Graduiertenkolleg Specification of discrete processes and systems of processes by operational models and logics, Dresden University of Technology, May 2004.
[gzipped postscript (slides, 3MB)] [pdf (slides)] - Nichtmonotones Schließen über hierarchischem Wissen.
Presentation for the Knowledge Management group, AIFB institute, University of Karlsruhe, April 2004. - Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion.
15th International Conference on Applications of Declarative Programming and Knowledge Management and 18th Workshop on Logic Programming, Potsdam, Germany, March 2004.
[gzipped postscript (slides)] [pdf (slides)] - Reasoning with Formal Concepts.
Presentation for the Knowledge Representation and Reasoning group meeting, Artificial Intelligence Institute, Dresden University of Technology, January 2003.
2003
- Non-monotonic reasoning - domain-theoretic aspects.
Invited talk for the Colloquium/Seminar at the Department of Electrical Engineering and Computer Science at Case Western Reserve University, Cleveland, Ohio, December 2003.
[gzipped postscript (slides)] [pdf (slides)] - Logic and Connectionism.
Invited talk at the Department of Electrical Engineering and Computer Science at Syracuse University, New York, December 2003.
[gzipped postscript (slides, 3MB)] [pdf (slides)] - Towards a Systematic Account of Different Logic Programming Semantics.
Poster from regular paper at KI2003, Hamburg, Germany, September 2003. - Continuity of Semantic Operators in Logic Programming and their Approximation by Artificial Neural Networks.
(with A.K. Seda)
Poster from regular paper at KI2003, Hamburg, Germany, September 2003. - A Resolution Theorem on Algebraic Domains.
Poster at IJCAI'03, Acapulco, Mexico, August 2003. - Formal Concept Analysis and Resolution in Algebraic Domains.
(with M. Wendt)
International Conference on Conceptual Structures, Dresden, Germany, July 2003.
[gzipped postscript (slides)] [pdf (slides)] - Non-monotonic Reasoning.
Invited talk for the colloqium at the Boole Research Centre in Informatics, Cork, Ireland, July 2003.
[gzipped postscript (slides), page 17] [pdf (slides), page 17] - Domain Theory and Nonmonotonic Reasoning.
Workshop on Proof Theory, Computation, Complexity, Dresden, July 2003.
[gzipped postscript (slides)] [pdf (slides)] - Logic Programming on Domains and Formal Concept Analysis.
(by M. Wendt)
First International Conference on Formal Concept Analysis, Darmstadt, Germany, March 2003.
- Some Corollaries on the Fixpoint Completion.
Teleteaching Talk on the occasion of a visit by researchers from CENTRIA (Universidad Nova de Lisboa), Dresden, Germany, February 2003.
[gzipped postscript (slides)] [pdf (slides)] - Semantic Operators in Logic Programming.
Invited talk for the Graduiertenkolleg Wissensrepräsentation, Leipzig, February 2003.
2002
- Towards Nonmonotonic Reasoning on Hierarchical Knowledge.
17. Workshop Logische Programmierung, Dresden, Germany, December 2002. - ILP Operators and Propositional Connectionist Networks.
(with M.A. Gutierrez Naranjo)
17. Workshop Logische Programmierung, Dresden, Germany, December 2002. - Characterising Logic Programming Semantics with Level Mappings.
(by M. Wendt)
17. Workshop Logische Programmierung, Dresden, Germany, December 2002. - Some Corollaries on the Fixpoint Completion.
Teleteaching Test Talk, Dresden, Germany, December 2002.
[gzipped postscript (slides)] [pdf (slides)] - Logic of Domains for Knowledge Representation and Reasoning.
Colloqium at CENTRIA, Group of Prof. Luis Moniz Pereira, Universidade Nova de Lisboa, November 2002.
- A uniform approach to logic programming semantics.
(with M. Wendt)
Colloqium at CENTRIA, Group of Prof. Luís Moniz Pereira, Universidade Nova de Lisboa, November 2002.
- Circular Belief in Logic Programming Semantics
Presentation for the Knowledge Representation and Reasoning group meeting, Artificial Intelligence Institute, Dresden University of Technology, October 2002.
[gzipped postscript (slides)] [pdf (slides)] - The well-founded semantics is a stratified Fitting semantics.
(with M. Wendt)
25th German Conference on Artificial Intelligence (KI2002), Aachen, September 2002.
[gzipped postscript (slides)] [pdf (slides)] - Substitute for Gerhard Brewka, delivering the talk Implementing Logic Programs with Ordered Disjunction by Gerhard Brewka, Ilkka Niemelä and Tommi Syrjänen.
Workshop on Cognitive Robotics at the 25th German Conference on Artificial Intelligence, KI2002, September 2002. - Fixed-point semantics in logic programming and nonmonotonic reasoning: A uniform approach.
Guest talk for the Workshop on Proof Theory and Computation, Dresden, June 2002.
[gzipped postscript (slides)] [pdf (slides)] - (Default) Negation for Logic Programming in Algebraic Domains.
Invited address at the Dagstuhl Seminar 02221, Mathematical Structures for Computable Topology and Geometry, Schloss Dagstuhl, Germany, May 2002.
[gzipped postscript (slides)] [pdf (slides)] - A "Converse" of the Banach Contraction Mapping Theorem (and why it does not serve us for integrating logic and connectionism).
Presentation for the Knowledge Representation and Reasoning group meeting, Artificial Intelligence Institute, Dresden University of Technology, May 2002.
- Resolution and Logic Programming in Algebraic Domains.
Invited address at the Workshop Proof, Computation, Complexity, Tübingen, Germany, April 2002.
- Logikprogrammierung, Stetigkeit und künstliche neuronale Netzwerke.
Invited talk for the Bonn International Graduate School in Mathematics and Physics and the Oberseminar Mengenlehre of the Mathematical Logic Group, Department of Mathematics, University of Bonn, Germany, February 2002.
[gzipped postscript (slides, 2.8 MB)] [pdf (slides)]
2001
- Resolution in Algebraic Domains.
Presentation for the Knowledge Representation and Reasoning group meeting, Artificial Intelligence Institute, Dresden University of Technology, December 2001.
- Logic and Neural Networks.
DAAD Alumni Meeting, Jakarta, Indonesia, and Promotion Tour Engineering Sciences in Germany, Indonesia, November 2001.
Event was scheduled, then cancelled.
[gzipped postscript (slides, 2.2 MB)] [pdf (slides)] - Computer Science at TU Dresden.
Postgraduate Expo 2001, Jakarta, Indonesia, November 2001.
Event was scheduled, then cancelled. - Logic Programming and Continuity.
Presentation for the Department of Computer Science, University of Indonesia, Jakarta, October 2001.
Event was scheduled, then cancelled. - Continuity of Semantic Operators and Their Approximation by Artificial Neural Networks.
(with A.K. Seda)
Invited address at the Second International Symposium on Domain Theory 2001, Chengdu, China, October 2001.
(also: Presentation for the Knowledge Representation and Reasoning group meeting, Artificial Intelligence Institute, Dresden University of Technology, October 2001.
[gzipped postscript (slides)] [pdf (slides)] - Convergence Classes and Spaces of Partial Functions.
(by A.K. Seda)
Invited address at the Second International Symposium on Domain Theory 2001, Chengdu, China, October 2001.
[abstract (gzipped postscript)] [abstract (pdf)] - Semantic Operators and Fixed-Point Theory in Logic Programming.
(by A.K. Seda)
Invited paper at the joint IIIS & IEEE meeting of the 5th World Multiconference on Systemics, Cybernetics and Informatics (SCI2001) and the 7th International Conference on Information Systems Analysis and Synthesis (ISAS2001), Orlando, Florida, USA, July, 2001. - VDM
meets LCF.
(by A.K. Seda) 5th Irish Workshop on Formal Methods, IWFM'01, Dublin, Ireland, July 2001. - A "Converse" of the Banach Contraction Mapping Theorem.
(with A.K. Seda)
3rd Slovakian Student Conference in Applied Mathematics, SCAM2001, Technical University of Bratislava, Slovak Republic, April 2001.
Presentation had to be cancelled.
[abstract (gzipped postscript)] [abstract (pdf)] [gzipped postscript (slides)] [pdf (slides)] - Towards a Semantical Hierarchy of Logic Programming Classes.
Knowledge Representation and Reasoning group meeting, Artificial Intelligence Institute, Dresden University of Technology, April 2001.
[abstract (gzipped postscript)] [abstract (pdf)] [gzipped postscript (slides)] [pdf (slides)]
2000
- Verallgemeinerte Metriken in der Logikprogrammierung.
(with A.K. Seda)
Invited talk for the Kolloquium Logik und Sprachtheorie, Department of Computer Science, University of Tübingen, December 2000.
[abstract (gzipped postscript)] [abstract (pdf)] - Logic Programs and Neural Networks.
(with A.K. Seda)
Invited talk for the Graduiertenkolleg Specification of discrete processes and systems of processes by operational models and logics, Department of Computer Science, Dresden University of Technology, November 2000.
[abstract (gzipped postscript)] [abstract (pdf)] - Classes of Logic Programs which Posess Unique Supported Models.
(by A.K. Seda)
The first international conference on Information, Information'2000, Fukoa, Japan, October 2000.
[gzipped postscript (published extended abstract)] [pdf (published extended abstract)] - A New Fixed-point Theorem for Logic Programming Semantics.
(by A.K. Seda)
Invited paper at the joint IIIS & IEEE meeting of the 4th World Multiconference on Systemics, Cybernetics and Informatics (SCI2000) and the 6th International Conference on Information Systems Analysis and Synthesis (ISAS2000), Orlando, Florida, USA, July, 2000. - Localizing Uniquely Determined Programs.
(with A.K. Seda)
First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, MFCSIT2000, Cork, Ireland, July 2000.
[abstract] [abstract] [gzipped postscript (slides)] [pdf (slides)] - A Note on the Relationships between Logic Programs and Neural Networks.
(with A.K. Seda)
4th Irish Workshop on Formal Methods, IWFM'00, Maynooth, Ireland, July 2000.
[gzipped postscript (slides)] [pdf (slides)] - Generalized Metric Spaces in Logic Programming Semantics.
(with A.K. Seda)
Invited address at the Dagstuhl Seminar 00231 Topology in Computer Science: Constructivity; Asymmetry and Partiality; Digitalization, Schloss Dagstuhl, Germany, June, 2000.
[gzipped postscript (slides)] [pdf (slides)] - Dislocated Topologies.
(with A.K. Seda)
2nd Slovakian Student Conference in Applied Mathematics, SCAM2000, Technical University of Bratislava, Slovak Republic, April 2000.
[postscript (presentation abstract)] [pdf (presentation abstract)] [gzipped postscript (slides)] [pdf (slides)]
1999
- Characterizations of Logic Programs by Three-Valued Operators.
(by A.K. Seda)
5th International Conference on Logic Programming and Non-Monotonic Reasoning, LPNMR'99, El Paso, Texas, December, 1999. - Acceptable Programs Revisited.
(with A.K. Seda)
Workshop on Verification of Logic Programs at the 16th International Conference on Logic Programming, ICLP'99, Las Cruces, New Mexico, December 1999.
[gzipped postscript (slides)] [pdf (slides)] - A Characterization of Acceptability.
(with A.K. Seda)
Regular Poster at the 16th International Conference on Logic Programming, ICLP'99, Las Cruces, New Mexico, December 1999. - Characterizing Classes of Logic Programs via Unique Fixed-Points of Monotonic Operators.
(with A.K. Seda)
Workshop on Domains 5, Darmstadt, Germany, September 1999.
Presentation had to be cancelled.
[gzipped postscript (slides)] [pdf (slides)] - Some Issues Concerning Fixed-Points in Computational Logic.
(by A.K. Seda)
Invited talk at the 14th Summer Conference on Topology and its Applications: Special Session on Topology in Computer Science, New York, August 1999.
- The Fixed-Point Theorem of Priess-Crampe and Ribenboim in Computational Logic.
(by A.K. Seda)
Invited address at the International Conference on Valuation Theory: Special Session in Honour of Paulo Ribenboim, Saskatchewan, Canada, July 1999. - (with A.K. Seda)
Multivalued Mappings, Fixed-Point Theorems and Disjunctive Databases. 3rd Irish Workshop on Formal Methods, IWFM'99, National University of Ireland - Galway, Galway, July 1999.
[gzipped postscript (slides)] [pdf (slides)]
1998
- Generalized Ultrametrics, Domains and an Application to Computational Logic.
(by A.K. Seda)
11th IMS September Meeting, University of Ulster at Coleraine, September 1998. - Strictly Level-Decreasing Logic Programs.
(with A.K. Seda)
2nd Irish Workshop on Formal Methods, University College Cork, July 1998.
[gzipped postscript (slides)] [pdf (slides)] - Scott-Domains, Generalized Ultrametric Spaces and Generalized Acyclic Programs.
Invited talk at the AG Domains und Typtheorie, Technische Hochschule Darmstadt, June 1998.
[gzipped postscript (unpublished script)] [pdf (unpublished script)]
1997
- Stratified Programs Revisited: The use of topology in computational logic.
(by A.K. Seda)
Irish Formal Methods Special Interest Group Meeting, Trinity College Dublin, September 1997. - Topology and Iterates in Computational Logic.
(by A.K. Seda)
12th Summer Conference on General Topology and its Applications: Special Session on Topology in Computer Science, North Bay, Ontario, August 1997. - Fixpunktsemantik logischer Programme.
Department of Computational Linguistics, University of Tübingen, Juli 1997. - Fixpunktsemantik.
Emmy-Noether-Tagung, Ulm, 1997.
Teaching enhancement programmes (Enhancement Programmes)
- Der Kontraktionssatz auf metrischen Räumen und Verallgemeinerungen.
Vorlesung auf dem Intensivkurs Mathematik Konstanz-Ulm 2000
[gzipped postscript (script draft)] [pdf (script draft)] - Der Kontraktionssatz auf metrischen Räumen und Verallgemeinerungen.
Vorlesung auf dem Intensivkurs Mathematik Konstanz-Ulm 1999 - Der Banachsche Fixpunktsatz.
Vorlesung auf dem Nachkurs zum Intensivkurs Mathematik 1997 an der Eberhardt-Karls-Universität Tübingen, März 1998.
[gzipped postscript (script)] [pdf (script)] - Logikprogrammierung.
Vorlesung/Kurs auf dem Intensivkurs Mathematik Konstanz-Ulm 1997 - LaTeX2e-Course.
Kurs auf den Intensivkursen Mathematik Konstanz-Ulm 1996, 1997 und 1999.
[gzipped postscript (slides)] [pdf (slides)] - Der Kontraktionssatz auf metrischen Räumen.
Vorlesung auf dem Intensivkurs Mathematik Konstanz-Ulm 1996.
[gzipped postscript (published script)] [pdf (published script)]