| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Abducted by Bayesians?
|
Romeijn, Jan-Willem
|
|
2013
|
|
4 |
p. 430-439
10 p.
|
artikel
|
| 2 |
Abductive inference in defeasible reasoning: a model for research programmes
|
Delrieux, Claudio
|
|
2004
|
|
4 |
p. 409-437
29 p.
|
artikel
|
| 3 |
A domain specific language for describing diverse systems of dialogue
|
Wells, S.
|
|
2012
|
|
4 |
p. 309-329
21 p.
|
artikel
|
| 4 |
A family of Gödel hybrid logics
|
Galmiche, Didier
|
|
2010
|
|
4 |
p. 371-385
15 p.
|
artikel
|
| 5 |
Agent deliberation in an executable temporal framework
|
Fisher, Michael
|
|
2011
|
|
4 |
p. 223-238
16 p.
|
artikel
|
| 6 |
Algebraic tableau reasoning for the description logic SHOQ
|
Faddoul, Jocelyne
|
|
2010
|
|
4 |
p. 334-355
22 p.
|
artikel
|
| 7 |
Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA
|
Conradie, Willem
|
|
2010
|
|
4 |
p. 319-333
15 p.
|
artikel
|
| 8 |
Algorithms and computations for foldedness of P-ideals in BCI-algebras
|
Lele, Celestin
|
|
2008
|
|
4 |
p. 580-588
9 p.
|
artikel
|
| 9 |
A logical calculus for controlled monotonicity
|
D'Agostino, Marcello
|
|
2014
|
|
4 |
p. 558-569
12 p.
|
artikel
|
| 10 |
An abstract dynamic access control architecture
|
Liu, Chuchang
|
|
2011
|
|
4 |
p. 239-249
11 p.
|
artikel
|
| 11 |
An adaptive logic for relevant classical deduction
|
Lycke, Hans
|
|
2007
|
|
4 |
p. 602-612
11 p.
|
artikel
|
| 12 |
An analytic tableau calculus for a temporalised belief logic
|
Ma, Ji
|
|
2011
|
|
4 |
p. 289-304
16 p.
|
artikel
|
| 13 |
An axiomatization of family resemblance
|
Jennings, R.E.
|
|
2007
|
|
4 |
p. 577-585
9 p.
|
artikel
|
| 14 |
An epistemic and dynamic approach to abductive reasoning: Abductive problem and abductive solution
|
Velázquez-Quesada, Fernando R.
|
|
2013
|
|
4 |
p. 505-522
18 p.
|
artikel
|
| 15 |
An example of formalizing recent mathematical results in Mizar
|
Naumowicz, Adam
|
|
2006
|
|
4 |
p. 396-413
18 p.
|
artikel
|
| 16 |
An observation on Carnapʼs Continuum and stochastic independencies
|
Paris, J.B.
|
|
2013
|
|
4 |
p. 421-429
9 p.
|
artikel
|
| 17 |
A note on an extension of PDL
|
Göller, Stefan
|
|
2008
|
|
4 |
p. 606-608
3 p.
|
artikel
|
| 18 |
A planner agent that tries its best in presence of nondeterminism
|
do Lago Pereira, Silvio
|
|
2012
|
|
4 |
p. 419-430
12 p.
|
artikel
|
| 19 |
A polynomial time algorithm for Zero-Clairvoyant scheduling
|
Subramani, K.
|
|
2007
|
|
4 |
p. 667-680
14 p.
|
artikel
|
| 20 |
A postulate-based analysis of comparative preference statements
|
Kaci, Souhila
|
|
2014
|
|
4 |
p. 501-521
21 p.
|
artikel
|
| 21 |
A proof-centric approach to mathematical assistants
|
Dixon, Lucas
|
|
2006
|
|
4 |
p. 505-532
28 p.
|
artikel
|
| 22 |
A sequent calculus for a logic of contingencies
|
Tiomkin, Michael
|
|
2013
|
|
4 |
p. 530-535
6 p.
|
artikel
|
| 23 |
Authenticity: a red herring?
|
Currall, J.E.P.
|
|
2008
|
|
4 |
p. 534-544
11 p.
|
artikel
|
| 24 |
Author Index
|
|
|
2006
|
|
4 |
p. 647-648
2 p.
|
artikel
|
| 25 |
Author Index
|
|
|
2004
|
|
4 |
p. 495-496
2 p.
|
artikel
|
| 26 |
Automata for the verification of monadic second-order graph properties
|
Courcelle, Bruno
|
|
2012
|
|
4 |
p. 368-409
42 p.
|
artikel
|
| 27 |
Automatic detection of bunches of grapes in natural environment from color images
|
Reis, M.J.C.S.
|
|
2012
|
|
4 |
p. 285-290
6 p.
|
artikel
|
| 28 |
Axiomatizing hybrid logic using modal logic
|
Hodkinson, Ian
|
|
2010
|
|
4 |
p. 386-396
11 p.
|
artikel
|
| 29 |
Axiomatizing hybrid products
|
Sano, Katsuhiko
|
|
2010
|
|
4 |
p. 459-474
16 p.
|
artikel
|
| 30 |
Blueprint for a dynamic deontic logic
|
Segerberg, Krister
|
|
2009
|
|
4 |
p. 388-402
15 p.
|
artikel
|
| 31 |
Breast cancer MRI diagnosis approach using support vector machine and pulse coupled neural networks
|
Hassanien, Aboul Ella
|
|
2012
|
|
4 |
p. 277-284
8 p.
|
artikel
|
| 32 |
Challenging epistemology: Interactive proofs and zero knowledge
|
Bledin, Justin
|
|
2008
|
|
4 |
p. 490-501
12 p.
|
artikel
|
| 33 |
Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction)
|
Areces, Carlos
|
|
2010
|
|
4 |
p. 305-318
14 p.
|
artikel
|
| 34 |
Combining genetic algorithms and the finite element method to improve steel industrial processes
|
Sanz-García, A.
|
|
2012
|
|
4 |
p. 298-308
11 p.
|
artikel
|
| 35 |
Combining probability and logic: Papers from Progic 2011
|
Helzner, Jeffrey
|
|
2013
|
|
4 |
p. 363-
1 p.
|
artikel
|
| 36 |
Common-sense reasoning as proto-scientific agent activity
|
Dell'Acqua, Pierangelo
|
|
2004
|
|
4 |
p. 385-407
23 p.
|
artikel
|
| 37 |
Complexity of hybrid logics over transitive frames
|
Mundhenk, Martin
|
|
2010
|
|
4 |
p. 422-440
19 p.
|
artikel
|
| 38 |
Computation, hypercomputation, and physical science
|
Arkoudas, Konstantine
|
|
2008
|
|
4 |
p. 461-475
15 p.
|
artikel
|
| 39 |
Computer supported mathematics with Ωmega
|
Siekmann, Jörg
|
|
2006
|
|
4 |
p. 533-559
27 p.
|
artikel
|
| 40 |
Conditionals and consequences
|
Kyburg Jr., Henry E.
|
|
2007
|
|
4 |
p. 638-650
13 p.
|
artikel
|
| 41 |
Confirmation as partial entailment: A representation theorem in inductive logic
|
Crupi, Vincenzo
|
|
2013
|
|
4 |
p. 364-372
9 p.
|
artikel
|
| 42 |
Constraint LTL satisfiability checking without automata
|
Bersani, Marcello M.
|
|
2014
|
|
4 |
p. 522-557
36 p.
|
artikel
|
| 43 |
Cut elimination for a logic with induction and co-induction
|
Tiu, Alwen
|
|
2012
|
|
4 |
p. 330-367
38 p.
|
artikel
|
| 44 |
Cut-free common knowledge
|
Jäger, Gerhard
|
|
2007
|
|
4 |
p. 681-689
9 p.
|
artikel
|
| 45 |
Dark programming and the case for the rationality of programs
|
Janlert, Lars-Erik
|
|
2008
|
|
4 |
p. 545-552
8 p.
|
artikel
|
| 46 |
Deontic action logic, atomic boolean algebras and fault-tolerance
|
Castro, Pablo F.
|
|
2009
|
|
4 |
p. 441-466
26 p.
|
artikel
|
| 47 |
Editorial Board
|
|
|
2010
|
|
4 |
p. iii-vi
nvt p.
|
artikel
|
| 48 |
Editorial Board
|
|
|
2007
|
|
4 |
p. iii-vi
nvt p.
|
artikel
|
| 49 |
Editorial Board
|
|
|
2006
|
|
4 |
p. iii-vi
nvt p.
|
artikel
|
| 50 |
Editorial Board
|
|
|
2008
|
|
4 |
p. iii-vi
nvt p.
|
artikel
|
| 51 |
Editorial Board
|
|
|
2009
|
|
4 |
p. iii-vi
nvt p.
|
artikel
|
| 52 |
Editorial Board
|
|
|
2004
|
|
4 |
p. iii-iv
nvt p.
|
artikel
|
| 53 |
Editorial Board
|
|
|
2014
|
|
4 |
p. iii-vi
nvt p.
|
artikel
|
| 54 |
Editorial Board
|
|
|
2011
|
|
4 |
p. iii-vi
nvt p.
|
artikel
|
| 55 |
Editorial Board
|
|
|
2012
|
|
4 |
p. iii-vi
nvt p.
|
artikel
|
| 56 |
Editorial Board
|
|
|
2013
|
|
4 |
p. iii-vi
nvt p.
|
artikel
|
| 57 |
Epistemology and artificial intelligence
|
Wheeler, Gregory R.
|
|
2004
|
|
4 |
p. 469-493
25 p.
|
artikel
|
| 58 |
Error analysis of digital filters using HOL theorem proving
|
Akbarpour, Behzad
|
|
2007
|
|
4 |
p. 651-666
16 p.
|
artikel
|
| 59 |
Experimenting with computing
|
Beynon, Meurig
|
|
2008
|
|
4 |
p. 476-489
14 p.
|
artikel
|
| 60 |
Extended-order algebras
|
Guido, Cosimo
|
|
2008
|
|
4 |
p. 609-626
18 p.
|
artikel
|
| 61 |
From Bayesian epistemology to inductive logic
|
Williamson, Jon
|
|
2013
|
|
4 |
p. 468-486
19 p.
|
artikel
|
| 62 |
Hybrid logic with the difference modality for generalisations of graphs
|
Myers, Robert S.R.
|
|
2010
|
|
4 |
p. 441-458
18 p.
|
artikel
|
| 63 |
Improving the semantics of the Software Cost Reduction method
|
Bourguiba, Imen
|
|
2012
|
|
4 |
p. 410-418
9 p.
|
artikel
|
| 64 |
Infinity and verifiability in Carnapʼs inductive logic
|
Holm, Ruurik
|
|
2013
|
|
4 |
p. 487-504
18 p.
|
artikel
|
| 65 |
Innovations in computational type theory using Nuprl
|
Allen, S.F.
|
|
2006
|
|
4 |
p. 428-469
42 p.
|
artikel
|
| 66 |
Introduction
|
Pereira, Luís Moniz
|
|
2007
|
|
4 |
p. 575-576
2 p.
|
artikel
|
| 67 |
Is ZF a hack?
|
Wiedijk, Freek
|
|
2006
|
|
4 |
p. 622-645
24 p.
|
artikel
|
| 68 |
Justification logics and hybrid logics
|
Fitting, Melvin
|
|
2010
|
|
4 |
p. 356-370
15 p.
|
artikel
|
| 69 |
Levels of modality for BDI Logic
|
Blee, Jeff
|
|
2011
|
|
4 |
p. 250-273
24 p.
|
artikel
|
| 70 |
Lightweight hybrid tableaux
|
Hoffmann, Guillaume
|
|
2010
|
|
4 |
p. 397-408
12 p.
|
artikel
|
| 71 |
Mathematical foundations of consciousness
|
Miranker, Willard L.
|
|
2009
|
|
4 |
p. 421-440
20 p.
|
artikel
|
| 72 |
Measuring coherence using LP-models
|
Oller, Carlos A.
|
|
2004
|
|
4 |
p. 451-455
5 p.
|
artikel
|
| 73 |
Metaphor in computer science
|
Colburn, T.R.
|
|
2008
|
|
4 |
p. 526-533
8 p.
|
artikel
|
| 74 |
MizarMode—an integrated proof assistance tool for the Mizar way of formalizing mathematics
|
Urban, Josef
|
|
2006
|
|
4 |
p. 414-427
14 p.
|
artikel
|
| 75 |
Nonmonotonic conditionals that behave like conditional probabilities above a threshold
|
Hawthorne, James
|
|
2007
|
|
4 |
p. 625-637
13 p.
|
artikel
|
| 76 |
On the a priori and a posteriori assessment of probabilities
|
Vasudevan, A.
|
|
2013
|
|
4 |
p. 440-451
12 p.
|
artikel
|
| 77 |
Pitting corrosion behaviour of austenitic stainless steel using artificial intelligence techniques
|
Jiménez-Come, M.J.
|
|
2012
|
|
4 |
p. 291-297
7 p.
|
artikel
|
| 78 |
Preferential theory revision
|
Dell'Acqua, Pierangelo
|
|
2007
|
|
4 |
p. 586-601
16 p.
|
artikel
|
| 79 |
Probabilities on Sentences in an Expressive Logic
|
Hutter, Marcus
|
|
2013
|
|
4 |
p. 386-420
35 p.
|
artikel
|
| 80 |
Products of modal logics and tensor products of modal algebras
|
Gabbay, Dov
|
|
2014
|
|
4 |
p. 570-583
14 p.
|
artikel
|
| 81 |
Program algebra with a jump-shift instruction
|
Bergstra, J.A.
|
|
2008
|
|
4 |
p. 553-563
11 p.
|
artikel
|
| 82 |
Propositional dynamic logic for searching games with errors
|
Teheux, Bruno
|
|
2014
|
|
4 |
p. 377-394
18 p.
|
artikel
|
| 83 |
Propositional relevance through letter-sharing
|
Makinson, David
|
|
2009
|
|
4 |
p. 377-387
11 p.
|
artikel
|
| 84 |
Reasoning through doing. Epistemic mediators in scientific discovery
|
Magnani, Lorenzo
|
|
2004
|
|
4 |
p. 439-450
12 p.
|
artikel
|
| 85 |
Reasoning with prioritized information by iterative aggregation of distance functions
|
Arieli, Ofer
|
|
2008
|
|
4 |
p. 589-605
17 p.
|
artikel
|
| 86 |
Representation theorems for explanatory reasoning based on cumulative models
|
Díaz, Arelis
|
|
2008
|
|
4 |
p. 564-579
16 p.
|
artikel
|
| 87 |
Runtime verification using the temporal description logic ALC -LTL revisited
|
Baader, Franz
|
|
2014
|
|
4 |
p. 584-613
30 p.
|
artikel
|
| 88 |
S7
|
Irvine, Andrew David
|
|
2013
|
|
4 |
p. 523-529
7 p.
|
artikel
|
| 89 |
SAD as a mathematical assistant—how should we go from here to there?
|
Lyaletski, Alexander
|
|
2006
|
|
4 |
p. 560-591
32 p.
|
artikel
|
| 90 |
Second order inductive logic and Wilmers' principle
|
Kließ, M.S.
|
|
2014
|
|
4 |
p. 462-476
15 p.
|
artikel
|
| 91 |
Selected papers from the 6th International Conference on Soft Computing Models in Industrial and Environmental Applications
|
Guest Editors,
|
|
2012
|
|
4 |
p. 275-276
2 p.
|
artikel
|
| 92 |
Semantic computations of truth based on associations already learned
|
Suppes, Patrick
|
|
2004
|
|
4 |
p. 457-467
11 p.
|
artikel
|
| 93 |
Some comments on history based structures
|
Pacuit, Eric
|
|
2007
|
|
4 |
p. 613-624
12 p.
|
artikel
|
| 94 |
Special issue arising from the Third International Workshop on Computational Models of Scientific Reasoning and Applications
|
Delrieux, Claudio
|
|
2004
|
|
4 |
p. 381-384
4 p.
|
artikel
|
| 95 |
Special Issue on Formal Models of Belief Change in Rational Agents
|
Bonanno, Giacomo
|
|
2009
|
|
4 |
p. 363-
1 p.
|
artikel
|
| 96 |
Special Issue on Hybrid Logics
|
Areces, Carlos
|
|
2010
|
|
4 |
p. 303-304
2 p.
|
artikel
|
| 97 |
Special issue on logics for intelligent agents and multi-agent systems
|
Orgun, Mehmet A.
|
|
2011
|
|
4 |
p. 221-222
2 p.
|
artikel
|
| 98 |
Subject Index
|
|
|
2006
|
|
4 |
p. 649-652
4 p.
|
artikel
|
| 99 |
Subject Index
|
|
|
2004
|
|
4 |
p. 497-499
3 p.
|
artikel
|
| 100 |
Supporting the formal verification of mathematical texts
|
Zinn, Claus
|
|
2006
|
|
4 |
p. 592-621
30 p.
|
artikel
|
| 101 |
Temporal logics for concurrent recursive programs: Satisfiability and model checking
|
Bollig, Benedikt
|
|
2014
|
|
4 |
p. 395-416
22 p.
|
artikel
|
| 102 |
The categorical imperative: Category theory as a foundation for deontic logic
|
Peterson, Clayton
|
|
2014
|
|
4 |
p. 417-461
45 p.
|
artikel
|
| 103 |
The complexity of satisfiability for fragments of hybrid logic—Part I
|
Meier, Arne
|
|
2010
|
|
4 |
p. 409-421
13 p.
|
artikel
|
| 104 |
The countable versus uncountable branching recurrences in computability logic
|
Xu, Wenyan
|
|
2012
|
|
4 |
p. 431-446
16 p.
|
artikel
|
| 105 |
The existence of superluminal particles is consistent with relativistic dynamics
|
Madarász, Judit X.
|
|
2014
|
|
4 |
p. 477-500
24 p.
|
artikel
|
| 106 |
The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself
|
Bringsjord, Selmer
|
|
2008
|
|
4 |
p. 502-525
24 p.
|
artikel
|
| 107 |
Theorema: Towards computer-aided mathematical theory exploration
|
Buchberger, Bruno
|
|
2006
|
|
4 |
p. 470-504
35 p.
|
artikel
|
| 108 |
The Philosophy of Computer Science
|
Turner, Raymond
|
|
2008
|
|
4 |
p. 459-
1 p.
|
artikel
|
| 109 |
The sure thing principle, dilations, and objective probabilities
|
Gaifman, Haim
|
|
2013
|
|
4 |
p. 373-385
13 p.
|
artikel
|
| 110 |
Time and defeasibility in FIPA ACL semantics
|
Boella, Guido
|
|
2011
|
|
4 |
p. 274-288
15 p.
|
artikel
|
| 111 |
Towards computer aided mathematics
|
Benzmüller, Christoph
|
|
2006
|
|
4 |
p. 359-365
7 p.
|
artikel
|
| 112 |
TPS: A hybrid automatic-interactive system for developing proofs
|
Andrews, Peter B.
|
|
2006
|
|
4 |
p. 367-395
29 p.
|
artikel
|
| 113 |
Two approaches to the problems of self-attacking arguments and general odd-length cycles of attack
|
Bodanza, Gustavo A.
|
|
2009
|
|
4 |
p. 403-420
18 p.
|
artikel
|
| 114 |
Ultralarge lotteries: Analyzing the Lottery Paradox using non-standard analysis
|
Wenmackers, Sylvia
|
|
2013
|
|
4 |
p. 452-467
16 p.
|
artikel
|
| 115 |
Why indeterminate probability is rational
|
Levi, Isaac
|
|
2009
|
|
4 |
p. 364-376
13 p.
|
artikel
|
Tijdschrift beschrijving