Vorträge

Diese Seite listet nur solche Vorträge, zu denen es keine Veröffentlichungen in Tagungsbänden gibt.

2003

• François Bry: Query Languages for Semantic Web Applications: Requirement Specifications.
  Keio University, Tokyo, 8. Oktober 2003

• François Bry: Query Languages for Semantic Web Applications: Requirement Specifications.
  IEEE Kansai Section Lecture, NTT Communication Science Laboratories, Kyoto, 1. Oktober 2003

• François Bry: Logics for Inconsistency Tolerant Reasoning.
  Seminar "Inconsistency Tolerance", Dagstuhl, 9.-13. Juni 2003

2002

• Slim Abdennadher: Reasoning with, about and for Constraint Handling.
  Eingenladener Vortrag, 15th European Conference on Artificial Intelligence, Lyon, France, 22. Juli 2002
  Slides (.pdf)

• Slim Abdennadher: Regelbasierte Constraint-Programmierung: Automatische Generierung von Constraint-Lösern.
  Technische Universität Graz, 13. Mai 2002
  Slides (.pdf)

• Slim Abdennadher: Reasoning with, about and for Constraint Handling Rules.
  Eingenladener Vortrag, 4th International Workshop on Frontiers of Combining Systems, Santa Margherita Ligure, Italy, 9. April 2002
  Slides (.pdf)

• Slim Abdennadher: Rule-based Constraint Programming: Theory and Practice.
  Département d'Ingénierie Informatique, Université catholique de Louvain, 18. Februar 2002
  Slides (.pdf)

• Slim Abdennadher: Semantic Web: Das Web der nächsten Generation.
  Tag der offenen Tür der LMU 2002, LMU München, 8. Februar 2002
  Slides (.pdf)

• François Bry: Towards Grouping Constructs for Semistructured Data.
  University of Melbourne, 6. November 2002

• François Bry: Perspectives for Electronic Books in the World Wide Web Age.
  University of Linköping (Sweden), August 2002

• François Bry: Towards Grouping Constructs for Semistructured Data.
  Seminar "Rule Markup Techniques for the Semantic Web", Dagstuhl, 3.-8. Februar 2002

2001

• Reinhard Kahle: Beweistheoretische Semantik.
  Deduktionstreffen 2001, Universität Karlsruhe, 15. Mai

• Slim Abdennadher: Automatic Generation of Rule-based Constraint Solvers.
  INRIA Paris, March 27

• Reinhard Kahle: Universes in Explicit Mathematics.
  Centro de Matemática e Aplicações Fundamentais, Universität Lissabon., April 19
  Kyberneetika Instituut, Technische Universität Tallinn., April 9
  Mittag-Leffler-Insitut, Djursholm, Schweden., March 28

• Reinhard Kahle: Basic Beliefs.
  Logic and Logical Philosophy 2001, Technische Universität Dresden, March 29 - April 1

• François Bry: Semantic Modeling with XML.
  Dagstuhl Seminar Semantics in Databases, 7-12 January 2001

• Hans Jürgen Ohlbach: Ontologiesprachen und Optimierung.
  Informatik Kolloquium, Universität Hamburg, November 2001

• Hans Jürgen Ohlbach: Set Description Languages and Reasoning about Numerical Features of Sets,
  Venice International University, April 2001

2000

• François Bry: Aggregated Answers for Structured Document and Semistructured Data. xerox research centre europe (xrce), Grenoble, France, August 11
  Slides (.ps.gz 45 K, .pdf 643 K)

• Reinhard Kahle: Necessity from a proof-theoretic perspective.
  "Intensionality" Workshop, Ludwig-Maximilians Universität München, October 27-29

• Reinhard Kahle: A Theory of Explicit Mathematics Equivalent to ID_1.
  Computer Science Logic, CSL 2000, Fischbachau/Munich, August 21-26

• Slim Abdennadher: Automatic Generation of Propagation Rules for Finite Domains.
  National University of Singapore, August 17

• Slim Abdennadher: A Java Implementation of Constraint Handling Rules.
  National University of Singapore, August 10

• Reinhard Kahle: Course about Intensionality.
  12th European Summer School in Logic, Language and Information, Birmingham, 7-10 August

• Slim Abdennadher: Constraint Handling Rules: Theory and Practice.
  Xerox, Palo Alto, July

• Reinhard Kahle: Hilbert's Paradox and Name Induction in Explicit Mathematics
  Logic Colloquium 2000, Paris, July 23 - 31

• Reinhard Kahle: Software maintenance and theory change
  First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, MFCSIT2000, Cork, July 20 - 21

• François Bry: Data Modeling with Markup Languages
  15th Workshop "Logic Programming and Constraint Systems" (WLP2000), Collocated with ECAI2000, August 25 - 27, 2000, Berlin

• François Bry: Datenmodellierung mit XML
  Softcon IT-Service GmbH, July 13, 2000, Munich

• Reinhard Kahle: Hilbert's Paradox
  Hopos 2000, Wien, July 6 - 9

• Reinhard Kahle: Notwendigkeit
  Institut für deutsche Sprache und Linguistik, Humboldt Universität Bern, May 22

• Slim Abdennadher: Constraint Handling Rules: Theory and Practice.
  INRIA, Paris, März 2000

• Slim Abdennadher: Analysis of Constraint Handling Rules Programs.
  14th Workshop on Logic Programming, Julius-Maximilians-Universität, Würzburg, 26.- 28.1.2000

1999

• Slim Abdennadher: Constraint Handling Rules: Applications and Extensions.
  12th International Conference on Applications of Prolog, Tokyo, Japan, 3-5.9.2000

• François Bry: Small Is Beautiful: Der kleinste Theorembeweiser der Welt.
  TaCos'99, Tagung der Computerlinguistik-Studierenden, 2.-5.6.1999.

• François Bry: A Proof Method for Minimal Finite Entailment.
  Deduction Seminar, Dagstuhl, 28.2.-5.3.1999.

1998

• François Bry: Perspektiven in der Ludwig-Maximilians-Universität zum Anbruch des Informationszeitalters.
  Tag der Informatik 1998, Universität München, 4.12.1998.

• François Bry, Sunna Torge: Die EP-Tableau-Methode.
  Deduktionstreffen 1998, Technische Universität München, 5.10.1998.

• Sunna Torge: Überprüfung der Erfüllbarkeit im Endlichen: Ein Verfahren und seine Anwendung.
  Deduktionstreffen 1998, Technische Universität München, 5.10.1998.

• Tim Geisler, Alexander von Drach, Sven Panne, David Sacher: Eine abstrakte Maschine zur Modellgenerierung mit PUHR-Tableaux.
  Deduktionstreffen 1998, Technische Universität München, 5.10.1998.

• Sunna Torge: Überprüfung der Erfüllbarkeit im Endlichen: Ein Verfahren und seine Anwendung.
  In der Forschungsgruppe von Dr. M. Kaltenbach, Siemens AG, München, Juli 1998.

• François Bry: Model Generation in Prolog: Variations on Satchmo's Theme.
  Kolloquiumsvortrag, Technische Universität Dresden, 30.6.1998.

• Norbert Eisinger: The Tableau Browser SNARKS.
  LANDE seminar, INSA de Rennes, 6.4.1998.

• François Bry: Model Generation in Prolog: Variations on Satchmo's Theme.
  Venice International University, 17.3.1998.

• François Bry: Logische Grundlagen der Anfrageauswertung in Informationssystemen mit Integritätsbedingungen.
  Kolloquiumsvortrag, Universität Bonn (Prof. Manthey), 12.1.1998.

• Hans Jürgen Ohlbach: Combination of Formal Systems with Set Description Languages,
  Manchester University, Juni 1998

1997

• François Bry: Von der Informationsdarstellung zur Wissensrepräsentation.
  Vortragszyklus "Medienprobleme" an der Universität München, 25.2.1997.

1996

• François Bry: Vortrag on SATCHMO.
  Kompaktkurs "Déduction Automatique", INSA der Rennes, 23.-27.9.1996.

• François Bry: Towards a Constructive Definition of the Compositional Semantics.
  Dagstuhl-Seminar über Disjunctive Logic Programming and Databases: Nonmonotonic Aspects, 1.-5.7.1996.

• François Bry: Deduktive Datenbanken: Ziele undMethoden.
  Kolloquiumsvortrag, Uni Würzburg (Prof. D. Seipel), 17.6.1996.
  Folien PostScript (164 K).

• François Bry: Minimal Model Generation with Positive Unit Hyper-Resolution Tableaux.
  Kolloquiumsvortrag, ENSA de Lyon und Universität Lyon 1 (Prof. J. Kouloumdjian), 10.5.1996.

1995

• François Bry: Das Internet: Ein Werkzeug der Lehre und Forschung.
  Dies Mathephysicus 1995, Fakultät für Mathematik, Universität München, 5.7.1995.

1994

• François Bry: Disjunctive Logic Programming: What Application Developers Need.
  Workshop FG2 "Disjunctive Logic Programming and Disjunctive Databases" in conjunction with IFIP Congress 1994, Hamburg, 28.8.-2.9.1994.

• François Bry: Model Generation à la Satchmo: What makes it efficient?
  ICOT-ECRC Workshop on Finite Domain Theorem Proving, März 1994.

Lehr- und Forschungseinheit

Institut

Universität