ESSLLI-2000
Programme and Course Notes

Instructions

• How to view and print course notes from this page

Language

• Foundational:
  • Syntax in Categorial Grammar: An Introduction for Linguists (Mary McGee Wood)
• Introductory:
  • Introduction to Optimality Theory (Gisbert Fanselow, Caroline Féry)
  • Presupposition (Bart Geurts)
  • Varieties of Anaphora (Emiel Krahmer, Paul Piwek)
• Advanced:
  • A Comparison of LFG and HPSG (Valia Kordoni, Frank Richter)
  • Dependency Grammar (Dick Hudson)
• Workshop:
  • Paths and telicity in event structure (Hana Filip, Greg Carlson)

Logic

• Foundational:
  • Proof Systems for All - A Vade Mecum (Krysia Broda)
• Introductory:
  • Logic and Games (Johan van Benthem, Marc Pauly)
  • Introduction to paraconsistent logic (Jean-Yves Béziau)
  • Decidable fragments of first order logic and description logics (Yde Venema, Maarten Marx)
• Advanced:
  • Logics for Topological Reasoning (Ian Pratt-Hartmann, Brandon Bennett)
  • Abduction (John Woods, Dov Gabbay)
  • Finite Model Theory (Anuj Dawar)
• Workshop:
  • Hybrid Logics (Bringing Them All Together) (Carlos Areces, Patrick Blackburn)

Computation

• Foundational:
  • Mathematical Tools for Domain Theory (Drew Moshier)
• Introductory:
  • Computability and Complexity from a Programming Perspective (Neil D. Jones)
  • Formal Grammars (Carlos Martín-Vide)
  • Lambda Calculus: A Case for Inductive Definitions (Ralph Matthes)
• Advanced:
  • Type systems for polynomial time (Martin Hofmann)
  • Automatic Derivation of Logic Programs via Transformations (Alberto Pettorossi, Maurizio Proietti)
  • Human-Oriented Mechanised Mathematical Reasoning (Mateja Jamnik, Manfred Kerber)
• Workshop:
  • Integrating Information from Different Channels in Multi-Media-Contexts (Kenneth Holmqvist, Peter Kühnlein, Hannes Rieser)

Logic and Language

• Foundational:
  • The Logic of Categorial Grammar: an Introduction to Natural Language Structures for Logicians and Computer Scientists (Christian Retoré)
• Introductory:
  • Linear Logic for Linguists (Dick Crouch, Josef van Genabith)
  • Partiality, Paradoxes, and Reasoning (Manfred Kerber)
  • Dynamic Syntax (Ruth Kempson, Wilfried Meyer-Viol)
• Advanced:
  • Contexts and contextual reasoning: foundations, logics and applications (Paolo Bouquet, Luciano Serafini)
  • Intensionality (Fritz Hamm, Reinhard Kahle)
  • Context dependence and Dynamics (Robert van Rooy, Thomas Ede Zimmermann)
• Workshop:
  • Trees in logic, computer science and linguistics (Valentin Goranko)

Language and Computation

• Foundational:
  • Automated Reasoning for Linguists (Christof Monz, Geert-Jan M. Kruijff)
• Introductory:
  • Inductive Logic Programming for Learning Language in Logic (Stephen Muggleton, James Cussens)
  • Architectures for intelligent language users (Aaron Sloman)
  • An Introduction to Grammar Engineering using HPSG (Ann Copestake, Rob Malouf)
• Advanced:
  • Word Sense Disambiguation (Bob Krovetz)
  • Constraints and NLP (Denys Duchier)
  • Advanced Grammar Engineering using HPSG (Dan Flickinger, Stephan Oepen)
• Workshop:
  • Linguistic Theory and Grammar Implementation (Erhard Hinrichs, Detmar Meurers, Shuly Wintner)

Computation and Logic

• Foundational:
  • From machine learning to Inductive Logic Programming: ILP made easy (Hendrik Blockeel)
• Introductory:
  • Temporal logics of computations (Valentin Goranko)
  • An introduction to interactive theorem proving (Sara Kalvala, Mike Squire)
  • Semantics of Logic Programs and Non-monotonic Reasoning (José Júlio Alferes, David Pearce)
• Advanced:
  • Verification of Systems by Model Checking (Mark Ryan, Marta Kwiatkowska)
  • Metric and Layered Temporal Logics for Time Granularity (Angelo Montanari, Alberto Policriti)
  • Logic and Databases (Andrei Voronkov)
• Course and Workshop:
  • Many-dimensional logical systems (Agnes Kurucz, Frank Wolter, and Michael Zakharyaschev)

Student Session

• Proceedings

Evening Lectures

• Johan van Benthem: Update Delights
• Aaron Sloman: What kind of virtual machine could be a mind?
• Vienna Circle Lecture, Theo A.F. Kuipers: Interfaces between Logic, AI, Cognition and Philosophy of Science: Some Challenges for Computational Logic of Scientific Cognition
• Spinoza Lecture, Ruth Kempson: On Making Syntax Dynamic
• Dick Hudson: Default Inheritance in Language and Cognition