Volume 2, Number 1, March 2004
The Sixth International Workshop on Deontic Logic in Computer Science
: Problems and results for logics about imperatives.
: Agential obligation as non-agential personal obligation plus agency.
: Action negation and alternative reductions for dynamic deontic logics.
Volume 2, Number 2, June 2004
Variants of Logics:
from HOL to the calculus of constructions to teaching mathematical proofs on computers
Volume 2, Number 3, September 2004
: Is it worth generating rules from neural network ensembles?
Volume 2, Number 4, December 2004
, Luís Moniz Pereira
: Special issue arising from the Third International Workshop on Computational Models of Scientific Reasoning and Applications.
: Abductive inference in defeasible reasoning: a model for research programmes.
: Reasoning through doing. Epistemic mediators in scientific discovery.