default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Applied Logic, Volume 2
Volume 2, Number 1, March 2004
- Andrew J. I. Jones:
Editorial note. 1- - Sven Ove Hansson:
Semantics for more plausible deontic logics. 3-18 - Mark A. Brown:
Rich deontic logic: a preliminary study. 19-37 - Jörg Hansen:
Problems and results for logics about imperatives. 39-61 - Lars Lindahl, Jan Odelstad:
Normative positions within an algebraic approach to normative systems. 63-91 - Alessio Lomuscio
, Marek J. Sergot:
A formalisation of violation, error recovery, and enforcement in the bit transmission problem. 93-116 - Paul McNamara:
Agential obligation as non-agential personal obligation plus agency. 117-152 - Jan M. Broersen:
Action negation and alternative reductions for dynamic deontic logics. 153-168
Volume 2, Number 2, June 2004
- Fairouz Kamareddine:
Editorial. 169-172 - Jonathan P. Seldin:
Interpreting HOL in the calculus of constructions. 173-189 - Martin W. Bunder, Jonathan P. Seldin:
Variants of the basic calculus of constructions. 191-217 - René David, Christophe Raffalli:
An experiment concerning mathematical proofs on computers with French undergraduate students. 219-239
Volume 2, Number 3, September 2004
- Artur S. d'Avila Garcez, Dov M. Gabbay, Steffen Hölldobler, John G. Taylor:
Journal of Applied Logic Special Volume on Neural-Symbolic Systems. 241-243 - Pascal Hitzler, Steffen Hölldobler, Anthony Karel Seda:
Logic programs and connectionist networks. 245-272 - Sebastian Bader, Pascal Hitzler:
Logic programs, iterated function systems, and recurrent radial basis function networks. 273-300 - Jesús Medina, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego:
A neural implementation of multi-adjoint logic programming. 301-324 - Guido Bologna:
Is it worth generating rules from neural network ensembles? 325-348 - Athanasios Tsakonas, Vasilis Aggelis, Ioannis Karkazis, Georgios Dounias:
An evolutionary system for neural logic networks using genetic programming and indirect encoding. 349-379
Volume 2, Number 4, December 2004
- Claudio Delrieux, Luís Moniz Pereira:
Special issue arising from the Third International Workshop on Computational Models of Scientific Reasoning and Applications. 381-384 - Pierangelo Dell'Acqua, Luís Moniz Pereira:
Common-sense reasoning as proto-scientific agent activity. 385-407 - Claudio Delrieux:
Abductive inference in defeasible reasoning: a model for research programmes. 409-437 - Lorenzo Magnani:
Reasoning through doing. Epistemic mediators in scientific discovery. 439-450 - Carlos A. Oller:
Measuring coherence using LP-models. 451-455 - Patrick Suppes, Jean-Yves Béziau:
Semantic computations of truth based on associations already learned. 457-467 - Gregory R. Wheeler, Luís Moniz Pereira:
Epistemology and artificial intelligence. 469-493
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-09 00:13 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
