| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
An ASP Implementation of Defeasible Deontic Logic
|
Governatori, Guido
|
|
|
38 |
1-2 |
p. 79-88
|
artikel
|
| 2 |
Challenges for Non-Classical Reasoning in Contemporary AI Applications
|
Steen, Alexander
|
|
|
38 |
1-2 |
p. 7-16
|
artikel
|
| 3 |
CLKR: Conditional Logic and Knowledge Representation
|
Beierle, Christoph
|
|
|
38 |
1-2 |
p. 61-67
|
artikel
|
| 4 |
Computer-Verified Foundations of Metaphysics
|
Kirchner, Daniel
|
|
|
38 |
1-2 |
p. 95-98
|
artikel
|
| 5 |
Eye of the Beholder
|
Richter, Kai-Florian
|
|
|
38 |
1-2 |
p. 1-2
|
artikel
|
| 6 |
Learning Normative Behaviour Through Automated Theorem Proving
|
Neufeld, Emery A.
|
|
|
38 |
1-2 |
p. 25-43
|
artikel
|
| 7 |
Modeling C0 Family Logics for Artificial Intelligence: Doxastic-Temporal Logics for Reasoning About Goals
|
Oswald, James T.
|
|
|
38 |
1-2 |
p. 45-59
|
artikel
|
| 8 |
Non-Classical Reasoning for Contemporary AI Applications
|
Steen, Alexander
|
|
|
38 |
1-2 |
p. 3-5
|
artikel
|
| 9 |
Report on “Axiomatizing Conditional Normative Reasoning”
|
Parent, Xavier
|
|
|
38 |
1-2 |
p. 107-111
|
artikel
|
| 10 |
Semantics of Belief Change Operators for Intelligent Agents
|
Sauerwald, Kai
|
|
|
38 |
1-2 |
p. 89-93
|
artikel
|
| 11 |
Spectra: An Expressive STRIPS-Inspired AI Planner Based on Automated Reasoning
|
Rozek, Brandon
|
|
|
38 |
1-2 |
p. 69-77
|
artikel
|
| 12 |
Towards a Logical Foundation of Randomized Computation: Doctoral Thesis Abstract
|
Antonelli, Melissa
|
|
|
38 |
1-2 |
p. 99-105
|
artikel
|
| 13 |
What are Non-classical Logics and Why Do We Need Them? An Extended Interview with Dov Gabbay and Leon van der Torre
|
Steen, Alexander
|
|
|
38 |
1-2 |
p. 17-23
|
artikel
|
Tijdschrift beschrijving