Volume 2, Number 1, March 2004 The Sixth International Workshop on Deontic Logic in Computer Science
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Jörg Hansen :
Problems and results for logics about imperatives.
39-61
export record as
dblp key:
journals/japll/LindahlO04 export record as
dblp key:
journals/japll/LomuscioS04 export record as
dblp key:
journals/japll/McNamara04 Paul McNamara :
Agential obligation as non-agential personal obligation plus agency.
117-152
export record as
dblp key:
journals/japll/Broersen04 Jan Broersen :
Action negation and alternative reductions for dynamic deontic logics.
153-168
Volume 2, Number 2, June 2004 Variants of Logics:
from HOL to the calculus of constructions to teaching mathematical proofs on computers
export record as
dblp key:
journals/japll/Kamareddine04 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Volume 2, Number 3, September 2004 Neural-symbolic Systems
export record as
dblp key:
journals/japll/GarcezGHT04 export record as
dblp key:
journals/japll/HitzlerHS04 export record as
dblp key:
export record as
dblp key:
journals/japll/MedinaCO04 export record as
dblp key:
Guido Bologna :
Is it worth generating rules from neural network ensembles?
325-348
export record as
dblp key:
journals/japll/TsakonasAKD04
Volume 2, Number 4, December 2004 CMSRA
export record as
dblp key:
journals/japll/DelrieuxP04 Claudio Delrieux ,
Luís Moniz Pereira :
Special issue arising from the Third International Workshop on Computational Models of Scientific Reasoning and Applications.
381-384
export record as
dblp key:
journals/japll/DellAcquaP04 export record as
dblp key:
journals/japll/Delrieux04 Claudio Delrieux :
Abductive inference in defeasible reasoning: a model for research programmes.
409-437
export record as
dblp key:
Lorenzo Magnani :
Reasoning through doing. Epistemic mediators in scientific discovery.
439-450
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/japll/WheelerP04
data released under the ODC-BY 1.0 license
