| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Abduction: A categorical characterization
|
Tohmé, Fernando
|
|
2015
|
|
1 |
p. 78-90
13 p.
|
artikel
|
| 2 |
A calculus for orchestration of web services
|
Pugliese, Rosario
|
|
2012
|
|
1 |
p. 2-31
30 p.
|
artikel
|
| 3 |
Action negation and alternative reductions for dynamic deontic logics
|
Broersen, Jan
|
|
2004
|
|
1 |
p. 153-168
16 p.
|
artikel
|
| 4 |
A deontic logic framework allowing for factual detachment
|
Straßer, Christian
|
|
2011
|
|
1 |
p. 61-80
20 p.
|
artikel
|
| 5 |
A formal account of Socratic-style argumentation
|
Caminada, Martin W.A.
|
|
2008
|
|
1 |
p. 109-132
24 p.
|
artikel
|
| 6 |
A formalisation of violation, error recovery, and enforcement in the bit transmission problem
|
Lomuscio, Alessio
|
|
2004
|
|
1 |
p. 93-116
24 p.
|
artikel
|
| 7 |
Agential obligation as non-agential personal obligation plus agency
|
McNamara, Paul
|
|
2004
|
|
1 |
p. 117-152
36 p.
|
artikel
|
| 8 |
Algorithms and computations for ( m , n ) -fold p-ideals in BCI-algebras
|
Kordi, A.
|
|
2010
|
|
1 |
p. 22-32
11 p.
|
artikel
|
| 9 |
A logic for diffusion in social networks
|
Christoff, Zoé
|
|
2015
|
|
1 |
p. 48-77
30 p.
|
artikel
|
| 10 |
A logic of non-monotonic interactions
|
Boniolo, Giovanni
|
|
2013
|
|
1 |
p. 52-62
11 p.
|
artikel
|
| 11 |
A modal type theory for formalizing trusted communications
|
Primiero, Giuseppe
|
|
2012
|
|
1 |
p. 92-114
23 p.
|
artikel
|
| 12 |
A model of type theory in simplicial sets
|
Streicher, T.
|
|
2014
|
|
1 |
p. 45-49
5 p.
|
artikel
|
| 13 |
An encompassing framework for Paraconsistent Logic Programs
|
Alcântara, João
|
|
2005
|
|
1 |
p. 67-95
29 p.
|
artikel
|
| 14 |
An intelligent task analysis approach for special education based on MIRA
|
Srinivasan, Bama
|
|
2013
|
|
1 |
p. 137-145
9 p.
|
artikel
|
| 15 |
A note on two of Hrushovskiʼs constructions
|
Pastori, Elisabetta
|
|
2012
|
|
1 |
p. 85-91
7 p.
|
artikel
|
| 16 |
Answer comparison in automated question answering
|
Dalmas, Tiphaine
|
|
2007
|
|
1 |
p. 104-120
17 p.
|
artikel
|
| 17 |
Anti-intuitionism and paraconsistency
|
Brunner, Andreas B.M.
|
|
2005
|
|
1 |
p. 161-184
24 p.
|
artikel
|
| 18 |
A Paraconsistent Decagon
|
Marcos, João
|
|
2005
|
|
1 |
p. 1-5
5 p.
|
artikel
|
| 19 |
Applying automated deduction to natural language understanding
|
Bos, Johan
|
|
2009
|
|
1 |
p. 100-112
13 p.
|
artikel
|
| 20 |
A procedural criterion for final derivability in inconsistency-adaptive logics
|
Batens, Diderik
|
|
2005
|
|
1 |
p. 221-250
30 p.
|
artikel
|
| 21 |
Aristotle's Thesis between paraconsistency and modalization
|
Pizzi, Claudio
|
|
2005
|
|
1 |
p. 119-131
13 p.
|
artikel
|
| 22 |
A theory of permission based on the notion of derogation
|
Stolpe, Audun
|
|
2010
|
|
1 |
p. 97-113
17 p.
|
artikel
|
| 23 |
Automatic knowledge learning and case adaptation with a hybrid committee approach
|
Policastro, Claudio A.
|
|
2006
|
|
1 |
p. 26-38
13 p.
|
artikel
|
| 24 |
Axiomatizing geometric constructions
|
Pambuccian, Victor
|
|
2008
|
|
1 |
p. 24-46
23 p.
|
artikel
|
| 25 |
Category theory, logic and formal linguistics: Some connections, old and new
|
Gillibert, Jean
|
|
2014
|
|
1 |
p. 1-13
13 p.
|
artikel
|
| 26 |
Cogex: A semantically and contextually enriched logic prover for question answering
|
Moldovan, Dan
|
|
2007
|
|
1 |
p. 49-69
21 p.
|
artikel
|
| 27 |
Combining classical logic, paraconsistency and relevance
|
Avron, Arnon
|
|
2005
|
|
1 |
p. 133-160
28 p.
|
artikel
|
| 28 |
Combining linear-time temporal logic with constructiveness and paraconsistency
|
Kamide, Norihiro
|
|
2010
|
|
1 |
p. 33-61
29 p.
|
artikel
|
| 29 |
Computing finite models by reduction to function-free clause logic
|
Baumgartner, Peter
|
|
2009
|
|
1 |
p. 58-74
17 p.
|
artikel
|
| 30 |
Continuity and geometric logic
|
Vickers, Steven
|
|
2014
|
|
1 |
p. 14-27
14 p.
|
artikel
|
| 31 |
Corrigendum to “A decidable multi-modal logic of context” [Journal of Applied Logic 1 (1–2) (2003) 119–133]
|
Nossum, Rolf
|
|
2006
|
|
1 |
p. 115-
1 p.
|
artikel
|
| 32 |
Data-driven type checking in open domain question answering
|
Schlobach, Stefan
|
|
2007
|
|
1 |
p. 121-143
23 p.
|
artikel
|
| 33 |
Deductive temporal reasoning with constraints
|
Dixon, Clare
|
|
2013
|
|
1 |
p. 30-51
22 p.
|
artikel
|
| 34 |
Defining answer classes using resolution refutation
|
Burhans, Debra T.
|
|
2007
|
|
1 |
p. 70-91
22 p.
|
artikel
|
| 35 |
Denotation of contextual modal type theory (CMTT): Syntax and meta-programming
|
Gabbay, Murdoch J.
|
|
2013
|
|
1 |
p. 1-29
29 p.
|
artikel
|
| 36 |
Division by zero in non-involutive meadows
|
Bergstra, J.A.
|
|
2015
|
|
1 |
p. 1-12
12 p.
|
artikel
|
| 37 |
Dynamics of mental activity
|
Miranker, Willard L.
|
|
2010
|
|
1 |
p. 114-140
27 p.
|
artikel
|
| 38 |
Editorial Board
|
|
|
2010
|
|
1 |
p. iii-vi
nvt p.
|
artikel
|
| 39 |
Editorial Board
|
|
|
2014
|
|
1 |
p. iii-vi
nvt p.
|
artikel
|
| 40 |
Editorial Board
|
|
|
2007
|
|
1 |
p. iii-vi
nvt p.
|
artikel
|
| 41 |
Editorial Board
|
|
|
2006
|
|
1 |
p. v-viii
nvt p.
|
artikel
|
| 42 |
Editorial Board
|
|
|
2005
|
|
1 |
p. v-vi
nvt p.
|
artikel
|
| 43 |
Editorial Board
|
|
|
2008
|
|
1 |
p. iii-vi
nvt p.
|
artikel
|
| 44 |
Editorial Board
|
|
|
2009
|
|
1 |
p. iii-vi
nvt p.
|
artikel
|
| 45 |
Editorial Board
|
|
|
2004
|
|
1 |
p. v-vi
nvt p.
|
artikel
|
| 46 |
Editorial Board
|
|
|
2011
|
|
1 |
p. iii-vi
nvt p.
|
artikel
|
| 47 |
Editorial Board
|
|
|
2013
|
|
1 |
p. iii-vi
nvt p.
|
artikel
|
| 48 |
Editorial Board
|
|
|
2012
|
|
1 |
p. iii-vi
nvt p.
|
artikel
|
| 49 |
Editorial Board
|
|
|
2015
|
|
1 |
p. iii-vi
nvt p.
|
artikel
|
| 50 |
Efficiently checking propositional refutations in HOL theorem provers
|
Weber, Tjark
|
|
2009
|
|
1 |
p. 26-40
15 p.
|
artikel
|
| 51 |
Empirically successful computerized reasoning
|
Schmidt, Renate A.
|
|
2009
|
|
1 |
p. 1-
1 p.
|
artikel
|
| 52 |
Equivalence for the G 3 ′ -stable models semantics
|
Carballido, José Luis
|
|
2010
|
|
1 |
p. 82-96
15 p.
|
artikel
|
| 53 |
Eradication
|
Hansson, Sven Ove
|
|
2012
|
|
1 |
p. 75-84
10 p.
|
artikel
|
| 54 |
Essential unifiers
|
Hoche, Michael
|
|
2006
|
|
1 |
p. 1-25
25 p.
|
artikel
|
| 55 |
Execution architectures for program algebra
|
Bergstra, Jan A.
|
|
2007
|
|
1 |
p. 170-192
23 p.
|
artikel
|
| 56 |
Flexible software architectures for ontology-based information systems
|
Wessel, Michael
|
|
2009
|
|
1 |
p. 75-99
25 p.
|
artikel
|
| 57 |
Formalization of the ad hominem argumentation scheme
|
Walton, Douglas
|
|
2010
|
|
1 |
p. 1-21
21 p.
|
artikel
|
| 58 |
Formal Ontologies and Coherent Spaces
|
Abrusci, V. Michele
|
|
2014
|
|
1 |
p. 67-74
8 p.
|
artikel
|
| 59 |
Formal reliability analysis of combinational circuits using theorem proving
|
Hasan, Osman
|
|
2011
|
|
1 |
p. 41-60
20 p.
|
artikel
|
| 60 |
Future determination of entities in Talmudic public announcement logic
|
Abraham, M.
|
|
2013
|
|
1 |
p. 63-90
28 p.
|
artikel
|
| 61 |
Group announcement logic
|
Ågotnes, Thomas
|
|
2010
|
|
1 |
p. 62-81
20 p.
|
artikel
|
| 62 |
Higher-Order Unification: A structural relation between Huet's method and the one based on explicit substitutions
|
de Moura, Flávio L.C.
|
|
2008
|
|
1 |
p. 72-108
37 p.
|
artikel
|
| 63 |
Integrating external deduction tools with ACL2
|
Kaufmann, Matt
|
|
2009
|
|
1 |
p. 3-25
23 p.
|
artikel
|
| 64 |
LEO-II and Satallax on the Sledgehammer test bench
|
Sultana, Nik
|
|
2013
|
|
1 |
p. 91-102
12 p.
|
artikel
|
| 65 |
Lightweight relevance filtering for machine-generated resolution problems
|
Meng, Jia
|
|
2009
|
|
1 |
p. 41-57
17 p.
|
artikel
|
| 66 |
Locality and modular Ehrenfeucht–Fraïssé games
|
Blumensath, Achim
|
|
2012
|
|
1 |
p. 144-162
19 p.
|
artikel
|
| 67 |
Model checking propositional dynamic logic with all extras
|
Lange, Martin
|
|
2006
|
|
1 |
p. 39-49
11 p.
|
artikel
|
| 68 |
Modeling Martin-Löf type theory in categories
|
Lamarche, François
|
|
2014
|
|
1 |
p. 28-44
17 p.
|
artikel
|
| 69 |
Models for a paraconsistent set theory
|
Libert, Thierry
|
|
2005
|
|
1 |
p. 15-41
27 p.
|
artikel
|
| 70 |
Naturalizing logic
|
Magnani, Lorenzo
|
|
2015
|
|
1 |
p. 13-36
24 p.
|
artikel
|
| 71 |
Natural language semantics in biproduct dagger categories
|
Preller, Anne
|
|
2014
|
|
1 |
p. 88-108
21 p.
|
artikel
|
| 72 |
Normative positions within an algebraic approach to normative systems
|
Lindahl, Lars
|
|
2004
|
|
1 |
p. 63-91
29 p.
|
artikel
|
| 73 |
[No title]
|
Jones, Andrew J.I.
|
|
2004
|
|
1 |
p. 1-
1 p.
|
artikel
|
| 74 |
On negation: Pure local rules
|
Marcos, João
|
|
2005
|
|
1 |
p. 185-219
35 p.
|
artikel
|
| 75 |
On the structure of paraconsistent extensions of Johansson's logic
|
Odintsov, Sergei P.
|
|
2005
|
|
1 |
p. 43-65
23 p.
|
artikel
|
| 76 |
Open answer set programming for the semantic web
|
Heymans, Stijn
|
|
2007
|
|
1 |
p. 144-169
26 p.
|
artikel
|
| 77 |
Paraconsistent Informational Logic
|
Forcheri, Paola
|
|
2005
|
|
1 |
p. 97-118
22 p.
|
artikel
|
| 78 |
Paraconsistent logic from a modal viewpoint
|
Béziau, Jean-Yves
|
|
2005
|
|
1 |
p. 7-14
8 p.
|
artikel
|
| 79 |
Problems and results for logics about imperatives
|
Hansen, Jörg
|
|
2004
|
|
1 |
p. 39-61
23 p.
|
artikel
|
| 80 |
Quantum-like logics and schizophrenia
|
Selesnick, S.A.
|
|
2012
|
|
1 |
p. 115-126
12 p.
|
artikel
|
| 81 |
Question answering and database querying: Bridging the gap with generalized quantification
|
Badia, Antonio
|
|
2007
|
|
1 |
p. 3-19
17 p.
|
artikel
|
| 82 |
Question answering from structured knowledge sources
|
Frank, Anette
|
|
2007
|
|
1 |
p. 20-48
29 p.
|
artikel
|
| 83 |
Questions and Answers: Theoretical and Applied Perspectives
|
Bernardi, Raffaella
|
|
2007
|
|
1 |
p. 1-2
2 p.
|
artikel
|
| 84 |
Reactive Kripke models and contrary to duty obligations. Part A: Semantics
|
Gabbay, Dov M.
|
|
2013
|
|
1 |
p. 103-136
34 p.
|
artikel
|
| 85 |
Reasoning about conditional probabilities in a higher-order-logic theorem prover
|
Hasan, Osman
|
|
2011
|
|
1 |
p. 23-40
18 p.
|
artikel
|
| 86 |
Relational semantics for full linear logic
|
Coumans, Dion
|
|
2014
|
|
1 |
p. 50-66
17 p.
|
artikel
|
| 87 |
Rich deontic logic: a preliminary study
|
Brown, Mark A.
|
|
2004
|
|
1 |
p. 19-37
19 p.
|
artikel
|
| 88 |
Selectional restrictions, types and categories
|
Asher, Nicholas
|
|
2014
|
|
1 |
p. 75-87
13 p.
|
artikel
|
| 89 |
Semantics for more plausible deontic logics
|
Hansson, Sven Ove
|
|
2004
|
|
1 |
p. 3-18
16 p.
|
artikel
|
| 90 |
Similarity based approximate reasoning: fuzzy control
|
Raha, Swapan
|
|
2008
|
|
1 |
p. 47-71
25 p.
|
artikel
|
| 91 |
Simplified forms of computerized reasoning with distance semantics
|
Arieli, Ofer
|
|
2011
|
|
1 |
p. 1-22
22 p.
|
artikel
|
| 92 |
Simplified method based on an intelligent model to obtain the extinction angle of the current for a single-phase half wave controlled rectifier with resistive and inductive load
|
Calvo-Rolle, José Luis
|
|
2015
|
|
1 |
p. 37-47
11 p.
|
artikel
|
| 93 |
Simulating Turing machines on Maurer machines
|
Bergstra, J.A.
|
|
2008
|
|
1 |
p. 1-23
23 p.
|
artikel
|
| 94 |
Solving the $100 modal logic challenge
|
Rabe, Florian
|
|
2009
|
|
1 |
p. 113-130
18 p.
|
artikel
|
| 95 |
Special issue on Automated Specification and Verification of Web Systems
|
Kovács, Laura
|
|
2012
|
|
1 |
p. 1-
1 p.
|
artikel
|
| 96 |
Sufficient completeness verification for conditional and constrained TRS
|
Bouhoula, Adel
|
|
2012
|
|
1 |
p. 127-143
17 p.
|
artikel
|
| 97 |
The Ackermann approach for modal logic, correspondence theory and second-order reduction
|
Schmidt, Renate A.
|
|
2012
|
|
1 |
p. 52-74
23 p.
|
artikel
|
| 98 |
The axiomatization of override and update
|
Berendsen, Jasper
|
|
2010
|
|
1 |
p. 141-150
10 p.
|
artikel
|
| 99 |
The monadic second-order logic of graphs XV: On a conjecture by D. Seese
|
Courcelle, Bruno
|
|
2006
|
|
1 |
p. 79-114
36 p.
|
artikel
|
| 100 |
Translating regular expression matching into transducers
|
Sakuma, Yuto
|
|
2012
|
|
1 |
p. 32-51
20 p.
|
artikel
|
| 101 |
Using logical relevance for question answering
|
De Boni, Marco
|
|
2007
|
|
1 |
p. 92-103
12 p.
|
artikel
|
| 102 |
Using temporal logics of knowledge for specification and verification—a case study
|
Dixon, Clare
|
|
2006
|
|
1 |
p. 50-78
29 p.
|
artikel
|
Tijdschrift beschrijving