Labels

3d active media actuators ad adaptation adaptibility adaptive advertiser agent agile ai analysis aose aspects attention auction autonomic autonomous benchmark bidding bio-inspired bioinformatics bionetics brain business buyer cellular automata charging chi cloud computing cognition collaboration communication competition complexity computer graphics concurrency constraints control cooperation coordination cots creativity cryptology dai data mining decisionmaking defense design disaster management discovery distributed dl ecommerce eierlegendewollmilchsau embedded emotion energy engineering entertainment environment evaluation evolutionary computing examples exercises formal framework fuzzy game theory gaming genetic globalization goal green computing grid hai hci health care heterogeneous heuristics human hybrid icaps information systems integration intelligence interaction knowledge knowledge-based systems language learning location-based locomotion logic logistics market mas mates memory meta methodology methods mixedreality mobile model multi-modal multirobot systems natural networks negotiation noncooperative norms ontology owl2 parallel pattern recognition personalization pervasive placement planning preception prediction presentation privacy probabilistic problem solving procurement programming protocol publishing qos quality rational real-time reasoning recommendation reliability representation resilient retrieval rif robocup robot robotics robots rules safety security self* semantic web semantics sensors serious games service-oriented services simulation smart soa social soft-computing software engineering sparql specification standard stochastic stockexchange strategy supplychain symbolic tagging teaching testing tools trading trust tutorial ubiquitous uncertainty usability verification virtual reality virtual worlds visualization web3d wireless

Donnerstag, 8. April 2010

Special Issue on: FORMAL MODELS OF NORM CHANGE

Journal of Applied Non-Classical Logic

Special Issue on:

FORMAL MODELS OF NORM CHANGE

----------------------------------------------------------------------

Formal models of norm change have been drawing attention since the seminal work of Alchourrón and Bulygin on normative systems, and that of Alchourrón, Gärdenfors and Makinson on the logic of theory change. Research trends in Artificial Intelligence have recently revived this attention emphasizing the importance of a formal analysis of the type(s) of dynamics involved in systems of norms, and norm change has become the topic of a dedicated international workshop: http://www.cs.uu.nl/events/normchange2/index.html

This special issue aims at providing an up to date account of this recent and lively research area at the interface of logic, philosophy, computer science and legal theory.

We invite submissions on any topic in the following, not exclusive, list:

  * Dynamic logic approaches to norm change
  * AGM-like approaches to norm change
  * Deontic logic and the dynamics of informational attitudes
  * Deontic logic and game theory
  * Formal analysis of legal procedures
  * Norm change in legal theory
  * Norm change and multi-agent systems


SUBMISSION
==========

The papers can be submitted via email to Davide Grossi (d.grossi@uva.nl ).

The paper must be unpublished and not submitted for publication elsewhere. Submissions will be refereed according to the usual high standards of JANCL.

Submissions exceeding 25 pages will require a specific justification and the agreement of the editors.

The paper must be prepared in LaTeX. Typing instructions and style files can be obtained:
- in .ZIP format from: http://www.irit.fr/JANCL/Styles/Latex/Jancl_style_V2.1.6.zip
- in TAR.GZ format from: http://www.irit.fr/JANCL/Styles/Latex/Jancl_style_V2.1.6.tar.gz

Any further information about submission can be asked to Davide Grossi (d.grossi@uva.nl ).


PLANNED SCHEDULE
================

Deadline for submissions:               15 June 2010
First referee reports:                  15 August 2010
Submission revision (if necessary):     15 September 2010
Notification:                           30 September 2010
Final version:                          30 October 2010


GUEST EDITORS
=============

Jan Broersen, Utrecht University (broersen@cs.uu.nl )
Davide Grossi, University of Amsterdam (d.grossi@uva.nl )
Leendert van der Torre, University of Luxembourg (leon.vandertorre@uni.lu )


URL of the CFP: http://staff.science.uva.nl/~grossi/SpecialIssue/NormChangeJANCL





=================================
Davide Grossi
ILLC, University of Amsterdam
phone: +31 020 525 8254
_www.illc.uva.nl/~grossi_
=================================

Keine Kommentare:

Kommentar veröffentlichen