|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
13 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Logic-based Computational Method for the Automated Induction of Fuzzy Ontology Axioms |
Lisi, Francesca A. |
2013 |
124 | 4 |
p. 503-519 |
artikel |
|
| 2 | A Tabled Prolog Program for Solving Sokoban |
Zhou, Neng-Fa |
2013 |
124 | 4 |
p. 561-575 |
artikel |
|
| 3 | AUTHOR INDEX VOLUME 124 |
2013 |
124 | 4 |
p. 577-578 |
artikel |
||
| 4 | Coalitions of Arguments: An Approach with Constraint Programming |
Bistarelli, Stefano |
2013 |
124 | 4 |
p. 383-401 |
artikel |
|
| 5 | Controlling Polyvariance for Specialization-based Verification |
Fioravanti, Fabio |
2013 |
124 | 4 |
p. 483-502 |
artikel |
|
| 6 | Logic-based Reasoning Support for SBVR |
Solomakhin, Dmitry |
2013 |
124 | 4 |
p. 543-560 |
artikel |
|
| 7 | MCINTYRE: A Monte Carlo System for Probabilistic Logic Programming |
Riguzzi, Fabrizio |
2013 |
124 | 4 |
p. 521-541 |
artikel |
|
| 8 | Nested Weight Constraints in ASP |
Costantini, Stefania |
2013 |
124 | 4 |
p. 449-464 |
artikel |
|
| 9 | On Modal μ-Calculus in S5 and Applications |
D'Agostino, Giovanna |
2013 |
124 | 4 |
p. 465-482 |
artikel |
|
| 10 | On the Satisfiability Problem for a 4-level Quantified Syllogistic and Some Applications to Modal Logic |
Cantone, Domenico |
2013 |
124 | 4 |
p. 427-448 |
artikel |
|
| 11 | Preface |
Fioravanti, Fabio |
2013 |
124 | 4 |
p. i-ii |
artikel |
|
| 12 | Product and Production Process Modeling and Configuration |
Campagna, Dario |
2013 |
124 | 4 |
p. 403-425 |
artikel |
|
| 13 | The CHR-based Implementation of the SCIFF Abductive System |
Alberti, Marco |
2013 |
124 | 4 |
p. 365-381 |
artikel |
13 gevonden resultaten