Past and Forthcoming Presentations

• Symbolic knowledge representation with artificial neural networks. (tentative title)
  International Workshop on the Theory of Computation at INFORMATION'2004, Tokyo, Japan, November/December 2004.
• Default reasoning over domains and concept hierarchies.
  27th German Conference on Artificial Intelligence, Ulm, Germany, September 2004.
• 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)]
• 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, June 2004.
  [gzipped postscript (slides, 3MB)]
• 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)]
• Reasoning with Formal Concepts.
  Presentation for the Knowledge Representation and Reasoning group meeting, Artificial Intelligence Institute, Dresden University of Technology, January 2004.
  [abstract]

• 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)]
• 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)]
• Towards a Systematic Account of Different Logic Programming Semantics.
  Poster from regular paper at KI2003, Hamburg, Germany, September 2003.
• (with A.K. Seda) Continuity of Semantic Operators in Logic Programming and their Approximation by Artificial Neural Networks.
  Poster from regular paper at KI2003, Hamburg, Germany, September 2003.
• A Resolution Theorem on Algebraic Domains.
  Poster at IJCAI'03, Acapulco, Mexico, August 2003.
• (with M. Wendt) Formal Concept Analysis and Resolution in Algebraic Domains.
  International Conference on Conceptual Structures, Dresden, Germany, July 2003.
  [gzipped postscript (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]
• Domain Theory and Nonmonotonic Reasoning.
  Workshop on Proof Theory, Computation, Complexity, Dresden, July 2003.
  [gzipped postscript (slides)]
• (by M. Wendt) Logic Programming on Domains and Formal Concept Analysis.
  First International Conference on Formal Concept Analysis, Darmstadt, Germany, March 2003.
  [abstract]
• 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.
  [abstract] [gzipped postscript (slides)]
• Semantic Operators in Logic Programming.
  Invited talk for the Graduiertenkolleg Wissensrepräsentation, Leipzig, February 2003.
  [abstract]

• Towards Nonmonotonic Reasoning on Hierarchical Knowledge.
  17. Workshop Logische Programmierung, Dresden, Germany, December 2002.
• (with M.A. Gutierrez Naranjo) ILP Operators and Propositional Connectionist Networks.
  17. Workshop Logische Programmierung, Dresden, Germany, December 2002.
• (by M. Wendt) Characterising Logic Programming Semantics with Level Mappings.
  17. Workshop Logische Programmierung, Dresden, Germany, December 2002.
• Some Corollaries on the Fixpoint Completion.
  Teleteaching Test Talk, Dresden, Germany, December 2002.
  [abstract] [gzipped postscript (slides)]
• Logic of Domains for Knowledge Representation and Reasoning.
  Colloqium at CENTRIA, Group of Prof. Luís Moniz Pereira, Universidade Nova de Lisboa, November 2002.
  [abstract]
• (with M. Wendt) A uniform approach to logic programming semantics.
  Colloqium at CENTRIA, Group of Prof. Luís Moniz Pereira, Universidade Nova de Lisboa, November 2002.
  [abstract]
• Circular Belief in Logic Programming Semantics
  Presentation for the Knowledge Representation and Reasoning group meeting, Artificial Intelligence Institute, Dresden University of Technology, October 2002.
  [abstract] [gzipped postscript (slides)]
• (with M. Wendt) The well-founded semantics is a stratified Fitting semantics.
  25th German Conference on Artificial Intelligence (KI2002), Aachen, September 2002.
  [abstract] [gzipped postscript (slides)]
• 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.
  [abstract] [gzipped postscript (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.
  [abstract] [gzipped postscript (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.
  [abstract]
• Resolution and Logic Programming in Algebraic Domains.
  Invited address at the Workshop Proof, Computation, Complexity, Tübingen, Germany, April 2002.
  [abstract]
• 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)]

• Resolution in Algebraic Domains.
  Presentation for the Knowledge Representation and Reasoning group meeting, Artificial Intelligence Institute, Dresden University of Technology, December 2001.
  [abstract]
• 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)]
• Logic Programming and Continuity.
Presentation for the Department of Computer Science, University of Indonesia, Jakarta, October 2001.
Event was scheduled, then cancelled.
• (with A.K. Seda)
Continuity of Semantic Operators and Their Approximation by Artificial Neural Networks.
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.)
[abstract] [gzipped postscript (slides)]
• (by A.K. Seda)
Convergence Classes and Spaces of Partial Functions.
Invited address at the Second International Symposium on Domain Theory 2001, Chengdu, China, October 2001.
[abstract (gzipped postscript)]
• (by A.K. Seda)
Semantic Operators and Fixed-Point Theory in Logic Programming.
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.
[abstract]
• (by A.K. Seda)
VDM meets LCF.
5th Irish Workshop on Formal Methods, IWFM'01, Dublin, Ireland, July 2001.
• (with A.K. Seda)
A "Converse" of the Banach Contraction Mapping Theorem.
3rd Slovakian Student Conference in Applied Mathematics, SCAM2001, Technical University of Bratislava, Slovak Republic, April 2001.
Presentation had to be cancelled.
[abstract (gzipped postscript)]  [gzipped postscript (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)] [gzipped postscript (slides)]

• (with A.K. Seda)
Verallgemeinerte Metriken in der Logikprogrammierung.
Invited talk for the Kolloquium Logik und Sprachtheorie, Department of Computer Science, University of Tübingen, December 2000.
[abstract (gzipped postscript)]
• (with A.K. Seda)
Logic Programs and Neural Networks.
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)]
• (by A.K. Seda)
Classes of Logic Programs which Posess Unique Supported Models.
The first international conference on Information, Information'2000, Fukoa, Japan, October 2000.
[gzipped postscript (published extended abstract)]
• (by A.K. Seda)
A New Fixed-point Theorem for Logic Programming Semantics.
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.
[abstract]
• (with A.K. Seda)
Localizing Uniquely Determined Programs.
First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, MFCSIT2000, Cork, Ireland, July 2000.
[abstract] [gzipped postscript (slides)]
• (with A.K. Seda)
A Note on the Relationships between Logic Programs and Neural Networks.
4th Irish Workshop on Formal Methods, IWFM'00, Maynooth, Ireland, July 2000.
[abstract] [gzipped postscript (slides)]
• (with A.K. Seda)
Generalized Metric Spaces in Logic Programming Semantics.
Invited address at the Dagstuhl Seminar 00231, Topology in Computer Science: Constructivity; Asymmetry and Partiality; Digitalization, Schloss Dagstuhl, Germany, June, 2000.
[abstract] [gzipped postscript (slides)]
• (with A.K. Seda)
Dislocated Topologies.
2nd Slovakian Student Conference in Applied Mathematics, SCAM2000, Technical University of Bratislava, Slovak Republic, April 2000.
[postscript (presentation abstract)] [paper abstract] [gzipped postscript (slides)]

• (by A.K. Seda)
Characterizations of Logic Programs by Three-Valued Operators.
5th International Conference on Logic Programming and Non-Monotonic Reasoning, LPNMR'99, El Paso, Texas, December, 1999.
[abstract]
• (with A.K. Seda)
Acceptable Programs Revisited.
Workshop on Verification of Logic Programs at the 16th International Conference on Logic Programming, ICLP'99, Las Cruces, New Mexico, December 1999.
[abstract] [gzipped postscript (slides)]
• (with A.K. Seda)
A Characterization of Acceptability.
Regular Poster at the 16thInternational Conference on Logic Programming, ICLP'99, Las Cruces, New Mexico, December 1999.
[postscript (published abstract)]
• (with A.K. Seda)
Characterizing Classes of Logic Programs via Unique Fixed-Points of Monotonic Operators.
Workshop on Domains 5, Darmstadt, Germany, September 1999.
Presentation had to be cancelled.
[abstract] [gzipped postscript (slides)]
• (by A.K. Seda)
Some Issues Concerning Fixed-Points in Computational Logic.
Invited talk at the 14th Summer Conference on Topology and its Applications: Special Session on Topology in Computer Science, New York, August 1999.
[abstract]
• (by A.K. Seda)
The Fixed-Point Theorem of Priess-Crampe and Ribenboim in Computational Logic.
Invited address at the International Conference on Valuation Theory: Special Session in Honour of Paulo Ribenboim, Saskatchewan, Canada, July 1999.
[abstract]
• (with A.K. Seda)
Multivalued Mappings, Fixed-Point Theorems and Disjunctive Databases.
Third Irish Workshop on Formal Methods, IWFM'99, National University of Ireland - Galway, Galway, July 1999.
[abstract] [gzipped postscript (slides)]

• (by A.K. Seda)
Generalized Ultrametrics, Domains and an Application to Computational Logic.
11th IMS September Meeting, University of Ulster at Coleraine, September 1998.
• (with A.K. Seda)
Strictly Level-Decreasing Logic Programs.
Second Irish Workshop on Formal Methods, University College Cork, July 1998.
[abstract] [gzipped postscript (slides)]
• Scott-Domains, Generalized Ultrametric Spaces and Generalized Acyclic Programs.
  Presentation for the AG Domains und Typtheorie, Technische Hochschule Darmstadt, June 1998.
  [abstract] [gzipped postscript (unpublished script)]

• (by A.K. Seda)
Stratified Programs Revisited: The use of topology in computational logic.
Irish Formal Methods Special Interest Group Meeting, Trinity College Dublin, September 1997.
• (by A.K. Seda)
Topology and Iterates in Computational Logic.
Invited address at the 12th Summer Conference on General Topology and its Applications: Special Session on Topology in Computer Science, North Bay, Ontario, August 1997.
[abstract]
• Fixpunktsemantik logischer Programme.
  Kurzüberblick im Rahmen einer Einführung in Prolog (Juli 1997).
  [gzipped postscript (unpublished script)]

• Der Kontraktionssatz auf metrischen Räumen und Verallgemeinerungen.
  Vorlesung auf dem Intensivkurs Mathematik Konstanz-Ulm 2000.
  [gzipped postscript (script draft)]
• Der Kontraktionssatz auf metrischen Räumen und Verallgemeinerungen.
  Vorlesung auf dem Intensivkurs Mathematik Konstanz-Ulm 1999.
  [Vorlesungsbericht]
• 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)]
• Logikprogrammierung.
  Vorlesung/Kurs auf dem Intensivkurs Mathematik Konstanz-Ulm 1997.
  [Vorlesungsbericht]
• Fixpunktsemantik.
  Vortrag auf der Emmy-Noether-Tagung, Ulm, 1997.
  [gzipped postscript (published script)]
• LaTeX2e-Course.
  Kurs auf den Intensivkursen Mathematik Konstanz-Ulm 1996, 1997 und 1999.
  [gzipped postscript (slides)]
• Der Kontraktionssatz auf metrischen Räumen.
  Vorlesung auf dem Intensivkurs Mathematik Konstanz-Ulm 1996.
  [gzipped postscript (published script)]

• Computer Science at TU Dresden.
Postgraduate Expo 2001, Jakarta, Indonesia, November 2001.
Event was scheduled, then cancelled.
• Substitute for Gerhard Brewka, delivering the talk Implementing Logic Programs with Ordered Disjunction by Gerhard Brewka, Ilkka iemelä and Tommi Syrjänen.
  Workshop on Cognitive Robotics at the 25th German Conference on Artificial Intelligence, KI2002, September 2002.

Back to my home page.