|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
14 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A non-preferential semantics of non-monotonic modal logic |
Kaminski, Michael |
2009 |
53 | 1-4 |
p. 205-223 |
artikel |
|
| 2 | Consistency properties and set based logic programming |
Nerode, Anil |
2009 |
53 | 1-4 |
p. 289-311 |
artikel |
|
| 3 | Default logic generalized and simplified |
Bochman, Alexander |
2009 |
53 | 1-4 |
p. 21-49 |
artikel |
|
| 4 | Exploiting conjunctive queries in description logic programs |
Eiter, Thomas |
2009 |
53 | 1-4 |
p. 115-152 |
artikel |
|
| 5 | From Hilbert’s program to a logic tool box |
Makowsky, J. A. |
2009 |
53 | 1-4 |
p. 225-250 |
artikel |
|
| 6 | Hyperequivalence of logic programs with respect to supported models |
Truszczyński, Mirosław |
2009 |
53 | 1-4 |
p. 331-365 |
artikel |
|
| 7 | Integrating answer set programming and constraint logic programming |
Mellarkod, Veena S. |
2009 |
53 | 1-4 |
p. 251-287 |
artikel |
|
| 8 | Justification logics, logics of knowledge, and conservativity |
Fitting, Melvin |
2009 |
53 | 1-4 |
p. 153-167 |
artikel |
|
| 9 | My six encounters with Victor Marek—a personal account |
Truszczyński, Mirosław |
2009 |
53 | 1-4 |
p. 17-20 |
artikel |
|
| 10 | My work with Victor Marek: a mathematician looks at answer set programming |
Remmel, Jeffrey B. |
2009 |
53 | 1-4 |
p. 5-16 |
artikel |
|
| 11 | On the relation among answer set solvers |
Giunchiglia, Enrico |
2009 |
53 | 1-4 |
p. 169-204 |
artikel |
|
| 12 | Preface |
Kaminski, Michael |
2009 |
53 | 1-4 |
p. 1-3 |
artikel |
|
| 13 | Reasoning about temporal properties of rational play |
Bulling, Nils |
2009 |
53 | 1-4 |
p. 51-114 |
artikel |
|
| 14 | Stable models and difference logic |
Niemelä, Ilkka |
2009 |
53 | 1-4 |
p. 313-329 |
artikel |
14 gevonden resultaten