11. ICLP 1994, Workshop W12: Legal Application of Logic Programming
The workshop is dedicated to the use of logic programming methodologies in modelling legal knowledge and legal reasoning. Main topics are: legal knowledge represention, abductive model of legal reasoning, metalevel legal reasoning, default reasoning, deontic logic, arguments construction; beliefs revision; analogical reasoning; case-based reasoning.
- Bob Kowalski: An abstract argumentation-theoretic framework for non-monotonic reasoning (joint work with Bondaranko, Dung, and Toni).
- Marek J. Sergot: (title not yet received).