| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A clausal resolution method for extended computation tree logic ECTL
|
Bolotov, Alexander
|
|
2006
|
|
2 |
p. 141-167
27 p.
|
artikel
|
| 2 |
A comprehensive semantic framework for data integration systems
|
Calì, Andrea
|
|
2005
|
|
2 |
p. 308-328
21 p.
|
artikel
|
| 3 |
Addressing moral problems through practical reasoning
|
Atkinson, Katie
|
|
2008
|
|
2 |
p. 135-151
17 p.
|
artikel
|
| 4 |
Agent strands in the action language n C +
|
Craven, Robert
|
|
2008
|
|
2 |
p. 172-191
20 p.
|
artikel
|
| 5 |
A logical framework for privacy-preserving social network publication
|
Hsu, Tsan-sheng
|
|
2014
|
|
2 |
p. 151-174
24 p.
|
artikel
|
| 6 |
A neural cognitive model of argumentation with application to legal inference and decision making
|
d'Avila Garcez, Artur S.
|
|
2014
|
|
2 |
p. 109-127
19 p.
|
artikel
|
| 7 |
An experiment concerning mathematical proofs on computers with French undergraduate students
|
David, R.
|
|
2004
|
|
2 |
p. 219-239
21 p.
|
artikel
|
| 8 |
An optimal construction of Hanf sentences
|
Bollig, Benedikt
|
|
2012
|
|
2 |
p. 179-186
8 p.
|
artikel
|
| 9 |
A note on orthogonality of subspaces in Euclidean geometry
|
Konarzewski, Jacek
|
|
2013
|
|
2 |
p. 169-173
5 p.
|
artikel
|
| 10 |
A propositional linear time logic with time flow isomorphic to ω 2
|
Marinković, Bojan
|
|
2014
|
|
2 |
p. 208-229
22 p.
|
artikel
|
| 11 |
A QBF-based formalization of abstract argumentation semantics
|
Arieli, Ofer
|
|
2013
|
|
2 |
p. 229-252
24 p.
|
artikel
|
| 12 |
Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence
|
de Campos, Cassio Polpo
|
|
2009
|
|
2 |
p. 137-154
18 p.
|
artikel
|
| 13 |
Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
|
Raimondi, Franco
|
|
2007
|
|
2 |
p. 235-251
17 p.
|
artikel
|
| 14 |
A verification framework for agent programming with declarative goals
|
de Boer, F.S.
|
|
2007
|
|
2 |
p. 277-302
26 p.
|
artikel
|
| 15 |
Can logic be combined with probability? Probably
|
Howson, Colin
|
|
2009
|
|
2 |
p. 177-187
11 p.
|
artikel
|
| 16 |
Capturing equilibrium models in modal logic
|
Fariñas del Cerro, Luis
|
|
2014
|
|
2 |
p. 192-207
16 p.
|
artikel
|
| 17 |
Causal discovery and the problem of ignorance. An adaptive logic approach
|
Leuridan, Bert
|
|
2009
|
|
2 |
p. 188-205
18 p.
|
artikel
|
| 18 |
Combining Probability and Logic
|
Cozman, Fabio
|
|
2009
|
|
2 |
p. 131-135
5 p.
|
artikel
|
| 19 |
Complete axiomatizations for XPath fragments
|
ten Cate, Balder
|
|
2010
|
|
2 |
p. 153-172
20 p.
|
artikel
|
| 20 |
Correlations of spaces of pencils
|
Żynel, Mariusz
|
|
2012
|
|
2 |
p. 187-198
12 p.
|
artikel
|
| 21 |
Deductive databases for computing certain and consistent answers from mediated data integration systems
|
Bravo, Loreto
|
|
2005
|
|
2 |
p. 329-367
39 p.
|
artikel
|
| 22 |
Definability and decidability of binary predicates for time granularity
|
Franceschet, Massimo
|
|
2006
|
|
2 |
p. 168-191
24 p.
|
artikel
|
| 23 |
Deontic epistemic stit logic distinguishing modes of mens rea
|
Broersen, Jan
|
|
2011
|
|
2 |
p. 137-152
16 p.
|
artikel
|
| 24 |
Editorial
|
Goble, Lou
|
|
2008
|
|
2 |
p. 133-134
2 p.
|
artikel
|
| 25 |
Editorial Board
|
|
|
2010
|
|
2 |
p. iii-vi
nvt p.
|
artikel
|
| 26 |
Editorial Board
|
|
|
2014
|
|
2 |
p. iii-vi
nvt p.
|
artikel
|
| 27 |
Editorial Board
|
|
|
2007
|
|
2 |
p. iii-vi
nvt p.
|
artikel
|
| 28 |
Editorial Board
|
|
|
2006
|
|
2 |
p. iii-vi
nvt p.
|
artikel
|
| 29 |
Editorial Board
|
|
|
2005
|
|
2 |
p. iii-iv
nvt p.
|
artikel
|
| 30 |
Editorial Board
|
|
|
2008
|
|
2 |
p. iii-vi
nvt p.
|
artikel
|
| 31 |
Editorial Board
|
|
|
2009
|
|
2 |
p. iii-vi
nvt p.
|
artikel
|
| 32 |
Editorial Board
|
|
|
2004
|
|
2 |
p. iii-iv
nvt p.
|
artikel
|
| 33 |
Editorial Board
|
|
|
2011
|
|
2 |
p. iii-vi
nvt p.
|
artikel
|
| 34 |
Editorial Board
|
|
|
2013
|
|
2 |
p. iii-vi
nvt p.
|
artikel
|
| 35 |
Editorial Board
|
|
|
2012
|
|
2 |
p. iii-vi
nvt p.
|
artikel
|
| 36 |
Editors' introduction
|
Reynolds, Mark
|
|
2006
|
|
2 |
p. 117-118
2 p.
|
artikel
|
| 37 |
Efficient spatio-temporal data mining with GenSpace graphs
|
Hamilton, Howard J.
|
|
2006
|
|
2 |
p. 192-214
23 p.
|
artikel
|
| 38 |
Erratum to “Confirmation as partial entailment” [Journal of Applied Logic 11 (2013) 364–372]
|
Crupi, Vincenzo
|
|
2014
|
|
2 |
p. 230-231
2 p.
|
artikel
|
| 39 |
Framing human inference by coherence based probability logic
|
Pfeifer, Niki
|
|
2009
|
|
2 |
p. 206-217
12 p.
|
artikel
|
| 40 |
Fresh Logic: proof-theory and semantics for FM and nominal techniques
|
Gabbay, Murdoch J.
|
|
2007
|
|
2 |
p. 356-387
32 p.
|
artikel
|
| 41 |
Intermediaries and intervenients in normative systems
|
Lindahl, Lars
|
|
2008
|
|
2 |
p. 229-250
22 p.
|
artikel
|
| 42 |
Interpreting HOL in the calculus of constructions
|
Seldin, Jonathan P.
|
|
2004
|
|
2 |
p. 173-189
17 p.
|
artikel
|
| 43 |
Living up to one's commitments: Agency, strategies and trust
|
Müller, Thomas
|
|
2008
|
|
2 |
p. 251-266
16 p.
|
artikel
|
| 44 |
Logic-Based Agent Verification
|
Fisher, Michael
|
|
2007
|
|
2 |
p. 193-195
3 p.
|
artikel
|
| 45 |
Logic-based XML data integration: a semi-materializing approach
|
May, Wolfgang
|
|
2005
|
|
2 |
p. 271-307
37 p.
|
artikel
|
| 46 |
Modal definability of first-order formulas with free variables and query answering
|
Kikot, Stanislav
|
|
2013
|
|
2 |
p. 190-216
27 p.
|
artikel
|
| 47 |
Norms as ascriptions of violations: An analysis in modal logic
|
Grossi, Davide
|
|
2011
|
|
2 |
p. 95-112
18 p.
|
artikel
|
| 48 |
[No title]
|
Fontaine, Matthieu
|
|
2014
|
|
2 |
p. 175-178
4 p.
|
artikel
|
| 49 |
[No title]
|
Eiter, Thomas
|
|
2005
|
|
2 |
p. 251-252
2 p.
|
artikel
|
| 50 |
[No title]
|
Kamareddine, Fairouz
|
|
2004
|
|
2 |
p. 169-172
4 p.
|
artikel
|
| 51 |
On database query languages for K-relations
|
Geerts, Floris
|
|
2010
|
|
2 |
p. 173-185
13 p.
|
artikel
|
| 52 |
On the consistency problem for the INDU calculus
|
Balbiani, Philippe
|
|
2006
|
|
2 |
p. 119-140
22 p.
|
artikel
|
| 53 |
Praise, blame, obligation, and DWE: Toward a framework for classical supererogation and kin
|
McNamara, Paul
|
|
2011
|
|
2 |
p. 153-170
18 p.
|
artikel
|
| 54 |
Precise specification matching for adaptive reuse in embedded systems
|
Guo, Hai-Feng
|
|
2007
|
|
2 |
p. 333-355
23 p.
|
artikel
|
| 55 |
Probabilistic argumentation
|
Haenni, Rolf
|
|
2009
|
|
2 |
p. 155-176
22 p.
|
artikel
|
| 56 |
Probabilistic reasoning in a classical logic
|
Ng, K.S.
|
|
2009
|
|
2 |
p. 218-238
21 p.
|
artikel
|
| 57 |
Prolegomenon to norms in branching space–times
|
Belnap, Nuel
|
|
2011
|
|
2 |
p. 83-94
12 p.
|
artikel
|
| 58 |
Reasoning about visibility
|
Villemaire, Roger
|
|
2012
|
|
2 |
p. 163-178
16 p.
|
artikel
|
| 59 |
Reasoning about XML with temporal logics and automata
|
Libkin, Leonid
|
|
2010
|
|
2 |
p. 210-232
23 p.
|
artikel
|
| 60 |
Representation of interlaced trilattices
|
Rivieccio, Umberto
|
|
2013
|
|
2 |
p. 174-189
16 p.
|
artikel
|
| 61 |
Rule-based schema matching for ontology-based mediators
|
Saake, Gunter
|
|
2005
|
|
2 |
p. 253-270
18 p.
|
artikel
|
| 62 |
Security of multi-agent systems: A case study on comparison shopping
|
Hutter, Dieter
|
|
2007
|
|
2 |
p. 303-332
30 p.
|
artikel
|
| 63 |
Selected and revised papers from the Ninth International Conference on Deontic Logic in Computer Science (DEON 2008)
|
van der Meyden, Ron
|
|
2011
|
|
2 |
p. 81-82
2 p.
|
artikel
|
| 64 |
Selected papers from the Logic in Databases Workshop 2008
|
Calì, Andrea
|
|
2010
|
|
2 |
p. 151-152
2 p.
|
artikel
|
| 65 |
Simulative belief logic
|
Liu, Hu
|
|
2013
|
|
2 |
p. 217-228
12 p.
|
artikel
|
| 66 |
SLAP: Specification logic of actions with probability
|
Rens, Gavin
|
|
2014
|
|
2 |
p. 128-150
23 p.
|
artikel
|
| 67 |
Specifying and verifying interaction protocols in a temporal action logic
|
Giordano, Laura
|
|
2007
|
|
2 |
p. 214-234
21 p.
|
artikel
|
| 68 |
Statistics between inductive logic and empirical science
|
Sprenger, Jan
|
|
2009
|
|
2 |
p. 239-250
12 p.
|
artikel
|
| 69 |
Stratification of normative systems with intermediaries
|
Lindahl, Lars
|
|
2011
|
|
2 |
p. 113-136
24 p.
|
artikel
|
| 70 |
Substantive and procedural norms in normative multiagent systems
|
Boella, Guido
|
|
2008
|
|
2 |
p. 152-171
20 p.
|
artikel
|
| 71 |
The computational complexity of scenario-based agent verification and design
|
Bontemps, Yves
|
|
2007
|
|
2 |
p. 252-276
25 p.
|
artikel
|
| 72 |
The many faces of counts-as: A formal analysis of constitutive rules
|
Grossi, Davide
|
|
2008
|
|
2 |
p. 192-217
26 p.
|
artikel
|
| 73 |
The normative aspect of signalling and the distinction between performative and constative
|
Jones, Andrew J.I.
|
|
2008
|
|
2 |
p. 218-228
11 p.
|
artikel
|
| 74 |
The paradoxes of permission an action based solution
|
Gabbay, Dov
|
|
2014
|
|
2 |
p. 179-191
13 p.
|
artikel
|
| 75 |
Tractable query answering and rewriting under description logic constraints
|
Pérez-Urbina, Héctor
|
|
2010
|
|
2 |
p. 186-209
24 p.
|
artikel
|
| 76 |
Two adaptive logics of norm-propositions
|
Beirlaen, Mathieu
|
|
2013
|
|
2 |
p. 147-168
22 p.
|
artikel
|
| 77 |
Unity in nominal equational reasoning: The algebra of equality on nominal sets
|
Gabbay, Murdoch J.
|
|
2012
|
|
2 |
p. 199-217
19 p.
|
artikel
|
| 78 |
Variants of the basic calculus of constructions
|
Bunder, M.W.
|
|
2004
|
|
2 |
p. 191-217
27 p.
|
artikel
|
| 79 |
Verifiable agent dialogues
|
Walton, Christopher D.
|
|
2007
|
|
2 |
p. 197-213
17 p.
|
artikel
|
Tijdschrift beschrijving