Inhaltsverzeichnis
nächster Punkt
vorheriger Punkt
Institut für Informatik
JAHRESBERICHT 1996
2.3. Workshops am Institut für Informatik
2.3.1 Extensions of Logic Programming, 5th International
Workshop, ELP'96 Leipzig,28.-30.März 1996
H. Herre (gemeinsam mit R. Dyckhoff,University of St Andrews,
P. Schroeder-Heister, Universität Tübingen):
Der Workshop war den Erweiterungen der auf dem Konzept der definiten
Klausel beruhenden logischen Programmierung gewidmet. Hierzu haben
sich in den letzten Jahren zwei Forschungsrichtungen herausgebildet:
beweistheoretisch orientierte Untersuchungen und Forschungen zur
Semantik der erweiterten Logikprogrammierung. Da beide Richtungen
auf dem Workshop vertreten waren, ergab sich eine gute Gelegenheit,
über die Tragweite und Grenzen beider Herangehensweisen und
über deren mögliche künftige Integration zu diskutieren.
Programm:
Thursday, March 28, 1996
- 09:00 - 10:00
- A Declarative Semantics for the Prolog Cut Operator
(Invited paper): Karl Stroetmann and Thomas Glaß
-
10:00 - 10:30
- Break
-
10:30 - 11.00
- Semantics of Constraint Logic Programs with Bounded
Quantifiers: Martin Argenius and Andrei Voronkov
-
11:00 - 11:30
- Pruning the search space of logic programs: Antonio
Brogi and Cosimo Guarino
-
11:30 - 12:00
- A significant extension of logic programming by
adapting model building rules: Ricardo Caferra and Nicolas Peltier
-
12:00 - 14:00
- Lunch
-
14:00 - 14:30
- A Logic Language based on GAMMA-like Multiset Rewriting:
Paolo Ciancarini, Daniela Fogli and Mauro Gaspari
-
14:30 - 15:00
- On the computational complexity of logic programs
with nested implications: Jörg Hudelmaier
-
15:00 - 15:30
- Break
-
15:30 - 16:00
- Extending Constructive Negation for Partial Functions
in Lazy Functional-logic Languages: Juan José Moreno-Navarro
-
16:00 - 16:30
- Total Correctness of Logic Programs: A Formal Approach:
Robert F. Stärk
Friday, March 29, 1996
-
09:00 - 10:00
- Super Logic Programs and Negation as Belief (Invited
paper): Teodor C. Przymusinski
-
10:00 - 10:30
- Break
-
10:30 - 11.00
- Default negated conclusions: why not ?: Carlos ViegasDamásio
and Luis Moniz Pereira
-
11:00 - 11:30
- Proof-theory for Extensions of Logic Programming:
Catholijn M. Jonker
-
11:30 - 12:00
- Some postulates for nonmonotonic theory revision
applied to logic programming: Cees Witteveen and Wiebe van der
Hoek
-
12:00 - 14:00
- Lunch
-
14:00 - 14:30
- Translating a Modal Language with Embedded Implication
into Horn Clauses Logic: Matteo Baldoni, Laura Giordano and Alberto
Martelli
-
14:30 - 15:00
- Soundness and completeness of non-classical SLD-resolution:
Peter Vojtávs and Leonard Paulik
-
15:00 - 15:30
- Break
-
15:30 - 16:00
- Handling Equality in Logic Programming via Basic
Folding: Anatoli Degtyarev and Andrei Voronkov
-
16:00 - 16:30
- An Abstract Machine for Reasoning about Situations,
Actions, and Causality: Kerstin Eder, Steffen Hölldobler
and Michael Thielscher
-
17:00 - 18:30
- Panel discussion
Saturday, March 30, 1996
-
09:00 - 10:00
- A New Framework for Declarative Programming: Categorical
Perspectives (Invited paper): James Lipton, Stacy E. Finkelstein
and Peter Freyd
-
10:00 - 10:30
- Break
-
10:30 - 11.00
- Efficient Resource Management for Linear Logic Proof
Search: Iliano Cervesato, Joshua S. Hodas and Frank Pfenning
-
11:00 - 11:30
- A fibrational semantics for logic programs: Yoshiki
Kinoshita and A. John Power
-
11:30 - 13:30
- Lunch
-
13:30 - 14:00
- Higher Order Babel: Language and Implementation:
Herbert Kuchen and Josef Anastasiadis
-
14:00 - 14:30
- A Definitional Approach to Functional Logic Programming:
Olof Torgersson
-
14:30 - 15:00
- Break
-
15:00 - 17:00
- Panel Discussion
| Seitenanfang
|
|
| Inhaltsverzeichnis
|
|
| 2.3.2 Workshops am Institut für Informatik:
Informationsverarbeitung in der Biomedizin - Erkennung von
Stoffwechselerkrankungen - 14.6-15.6.96, Leipzig
|
|
| 2.2 Übersicht Drittmittelprojekte
|
HTML-Umsetzung:
Andreas Zerbst