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 |