Fourth International Workshop on Deontic Logic in Computer Science
(DEON '98)
Bologna, Italy, 8-10 January, 1998
Sala delle Armi, Faculty of Law, Palazzo Malvezzi, via Zamboni 22
The biannual DEON workshops are intended to promote research and
cooperation in a rapidly expanding interdisciplinary area, linking the
formal study of normative concepts and normative systems with computer
science and artificial intelligence.
This area now commands the attention of a variety of researchers: some are
interested in formal analyses of normative concepts and normative systems
per se, such as legal theorists, deontic logicians and formal semanticists,
and some are interested in applications of such analyses in AI models of
normative reasoning, or in formal models of norm-governed behaviour of
computer systems (including their interaction with humans and other
computer systems). So far three DEON
workshops have been successfully held: in Amsterdam, December 1991, Oslo,
January 1994 and Sesimbra, January 1996. The fourth edition (DEON '98)
furthers the development of this exciting interdisciplinary field, by
merging the logical study of normative reasoning and normative systems and
its application in computer systems and public or private administration.
The workshop includes a special workshop session in honor of the late
Carlos Alchourrón, with an invited talk by David Makinson.
Paul McNamara, Department of Philosophy, University of New
Hampshire, Durham, NH, USA. Tel. 603-743-4288.
Email: paulm@christa.unh.edu
Henry Prakken
Faculty of Mathematics and Computer Science, Free University Amsterdam, The
Netherlands. Tel. +31-20-44-46216
And GMD - Forschungszentrum fuer Informationstechnik, Bonn, Germany
(till 31 December 1997). Tel. +49-2241-142852
Email: henry@cs.vu.nl
PROGRAM COMMITTEE
Mark Brown
(Syracuse University)
Daniel Bonevac
(University of Texas at Austin)
Jose Carmo (Technical University Lisbon)
Frank Dignum
(Technical University Eindhoven)
John Horty (University of Maryland)
Andrew Jones (University of Oslo)
Lars Lindahl (University of Lund)
Tom Maibaum (Imperial College London)
John-Jules Meyer
(Utrecht University)
Giovanni Sartor
(Queen's University Belfast, IDG-CNR
Florence)
Krister Segerberg (Uppsala University)
Marek Sergot (Imperial College London)
Lennart Åqvist (Uppsala University)
Giovanni Sartor
(Queen's University Belfast, IDG-CNR
Florence) (Co-chair)
Alberto Artosi (University of Bologna) (Co-chair)
Paola Cattabriga (University of Bologna)
Guido Governatori (Imperial College, London)
Antonino Rotolo (University of Padua)
Francesca Ventura (University of Bologna)
Silvia Vida (University of Milan)
Donald Nute
(University of Georgia)
David Makinson (UNESCO, France)
Claudio Pizzi (University of Siena)
Georg Henrik von Wright (University of Helsinki)
Wednesday, January 7
10.00 - 13.00: Registration/Check-in
14.30 - 18.00: Registration/Check-in
09.20 - 09.30: Opening
09.30 - 10.30: Invited Speaker 1: Von Wright (University of Helsinki)
Deontic Logic --- as I see it.
(Abstract)
- Coffee break
11.00 - 11.45:
Lars Lindahl & Jan Odelstad (Lund University),
Intermediate concepts as couplings of conceptual structures.
(Abstract)
11.45 - 12.30:
Jaap Hage (Maastricht University),
Semantics for a fragment of moderately naturalistic deontic logic.
(Abstract)
12.30 - 13.15:
Lou Goble (Willamette University),
Deontic logic with relevance.
(Abstract)
Lunch
14.45 - 15.45: Invited Speaker 2:
Claudio Pizzi (University of Siena),
Iterated Conditionals and Causal Imputation.
(Abstract)
- Coffee break
16.15 - 17.00:
Mark Brown
(Syracuse University),
Agents with changing and conflicting commitments: a preliminary study.
(Abstract)
17.00 - 17.45:
Paul Bartha (University of Brithish Columbia),
Moral preference, contrary-to-duty obligation and defeasible oughts.
(Abstract)
09.30 - 10.30: Invited Speaker 3:
David Makinson (UNESCO, France),
On the fundamental problem of deontic logic.
(Abstract)
- Coffee break
11.00 - 11.45:
Leon van der Torre
(Max-Plank-Institute) & Yao-Hua Tan
(Erasmus University, Rotterdam),
An update semantics for deontic reasoning.
(Abstract)
11.45 - 12.30:
Verónica Becher, Eduardo Fermé, Sandra Lazzer,
Carlos Oller, Gladys Palau
& Ricardo Rodriguez (University of Buenos Aires),
Some observations on Carlos Alchourrón's theory of defeasible conditionals.
(Abstract)
12.30 - 13.15:
Alberto Artosi (University of Bologna) &
Guido Governatori
(Imperial College, London),
A tableau methodology for deontic conditional logics.
(Abstract)
Lunch
14.45 - 15.30:
Marek Sergot (Imperial College, London),
A method for automating the analysis of normative positions
(Abstract)
15.30 - 16.15:
Pedro Ramos &
José Luis Fiadeiro (University of Lisbon),
A deontic logic for diagnosis of organisational process design.
(Abstract)
- Coffee break
16.45 - 17.30:
Babak Sadighi Firozabadi (Imperial College, London) &
Yao-Hua Tan
(Erasmus University, Rotterdam),
Formal models of fraud.
(Abstract)
17.30 - 18.15:
Christen Krogh
(SINTEF) & Andrew Jones (University of Oslo),
Protocol breaches and violation flaws.
(Abstract)
Concert
0 9.30 - 10.30: Invited Speaker 4:
Donald Nute
(University of Georgia),
Norms, priorities, and defeasibility
(Abstract)
- Coffee break
11.00 - 11.45:
Laurence Cholvy
&
Frédéric Cuppens (ONERA-CERT, Toulouse),
Reasoning about norms provided by conflicting regulations.
(Abstract)
11.45 - 12.30:
John Bell
& Zhisheng Huang
(Queen Mary and Westfield, London),
Dynamic obligation hierarchies.
(Abstract)
12.30 - 13.15:
Dov M. Gabbay
& Guido Governatori
(Imperial College, London),
Dealing with label dependent deontic modalities.
(Abstract)
Lunch
14.45 - 15.30:
Jeroen Krabbendam
& John-Jules Meyer,
(Utrecht University),
Contextual deontic logic.
(Abstract)
15.30 - 16.15:
Paul McNamara (University of New Hampshire),
Andersonian-Kangerian DWE-ish logics.
(Abstract)
- Coffee break
16.45 - 17.30:
Jörg Hansen (Hamburg),
On relations between Åqvist's deontic system G and Van Eck's
deontic temporal logic.(Abstract)
17.30 - 18.15:
Frank Dignum,
R. Kuiper
(Eindhoven University) &
J.-J.Ch. Meyer
(Utrecht University),
An investigation into deontics of durative actions.
(Abstract)
Dinner
Excursion
BOLOGNA
Bologna is an important and pleasant city in Northern Italy, bordered
by rolling hills and the Po river plain. The heart of the city is a
large medieval town, the second best conserved in Italy after Venice.
It is famous for its characteristic arcades which extend 35 Km, its
two leaning towers (Asinelli and Garisenda, XII century), the Santo
Stefano church, the statue of Neptune in Piazza Maggiore, the meridian
in San Petronio Cathedral made in support of Galileo's theory. Last
but not least, Bologna is world famous for its cuisine and the
friendliness of its citizens. Bologna has the oldest European
university, founded in 1088 (the Alma Mater) which treasures
distinguished names like Dante, Petrarca, Copernicus and Erasmus of
Rotterdam. In the modern times, Bologna's reputation for scientific
and technological development is linked to the pioneer works of
Galvani and Marconi. Because of its long university tradition,
Bologna has a special vocation for culture and many events take place
and plane. It is also situated near important artistic centres such as
Florence, Ferrara, Ravenna and Venice. The site of the conference is
the ancient Palazzo Malvezzi, site of the Faculty of Law, in the city
centre. The place is well served by public transport, and it is at
walking distance from the hotels.
The registration fee includes all coffee breaks, a copy of the
proceedings, the concert, the excursion and the conference dinner
on Saturday.
- Registration Fee (until 1/12/97): ITL 250.000
- Late (or on-site) registration: ITL 350.000
A limited number of scholarships will be made available to students with
limited funds. To apply, please send a letter of explanation, including an
e-mail address or fax number, and a letter of recommendation from an
advisor.
Payment can be made by
- check (in Italian Lire - ITL) payable to: Comitato Deon'98
- transfer to the following bank account:
- bank: Banco Ambrosiano Veneto
Filiale via Indipendenza 8/H, Bologna
- account: SWIFT BAVEITMM 031 C/C 27541/52
Deon98 --- Prof. Alberto Artosi
To register, please download a copy of the registration form
(txt), or register
on line and return it, togheter with payment
(or proof of payment) to: (please include proof of your student status if applying for a reduced fee)
DEON'98
Cirfid, University of Bologna
Via Galliera 3, 40121 Bologna
Italy
Tel: +39-(0)51-277204
Fax: +39-(0)51-260782
e-mail: deon98@cirfid.unibo.it
A limited number of guest-rooms are available at the University of Bologna.
Prices for accommodation are (per person, per night, payment on site):
Guest-rooms
- single: ITL 60.000
- double: ITL 70.000
Hotels
- single: ITL 140.000--180.000
- double: ITL 210.000--240.000
Due to the limited number of guest-rooms (16 singles and 16 doubles)
these will be allocated following the temporal criterion (priority of
reservation).
However, about 10 rooms (5 single and 5 doubles) will be preferentically
allocated to students or participants from soft currency countries, whose
reservation is received before november 15.
Return to Deon'98 home page