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.
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


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

Thursday, January 8

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)


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)

Friday, January 9

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)


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)


Saturday, January 10

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)


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)


Sunday, January 11



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.
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 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)

Cirfid, University of Bologna
Via Galliera 3, 40121 Bologna
Tel: +39-(0)51-277204
Fax: +39-(0)51-260782


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 Hotels 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