Koleksi : e-Article Oxford Journal
| Semua | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z |
Ada 1514 dokumen yang dimulai dengan Judul '_'
Aggregating Partially Ordered Preferences
Pengarang: Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, and Toby Walsh | No. Panggil: Journal of Logic and Computation June 2009, 19 (3), p. 475-502 | Penerbitan: Oxford University Press
Cari yang mirip ::  Tambahkan ke favorit :: 
Aggregating Judgements by Merging Evidence
Pengarang: Jon Williamson | No. Panggil: Journal of Logic and Computation June 2009, 19 (3), p. 461-473 | Penerbitan: Oxford University Press
Cari yang mirip ::  Tambahkan ke favorit :: 
Geodesic Revision
Pengarang: Konstantinos Georgatos | No. Panggil: Journal of Logic and Computation June 2009, 19 (3), p. 447-459 | Penerbitan: Oxford University Press
Cari yang mirip ::  Tambahkan ke favorit :: 
Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures
Pengarang: Giuliano Grossi, Massimo Marchi, Enrico Pontelli, and Alessandro Provetti | No. Panggil: Journal of Logic and Computation August 2009, 19 (4), p. 697-715 | Penerbitan: Oxford University Press
Cari yang mirip ::  Tambahkan ke favorit :: 
Efficiently Querying RDF(S) Ontologies with Answer Set Programming
Pengarang: Giovambattista Ianni, Alessandra Martello, Claudio Panetta, and Giorgio Terracina | No. Panggil: Journal of Logic and Computation August 2009, 19 (4), p. 671-695 | Penerbitan: Oxford University Press
Cari yang mirip ::  Tambahkan ke favorit :: 
OntoDLV: An ASP-based System for Enterprise Ontologies
Pengarang: Francesco Ricca, Lorenzo Gallucci, Roman Schindlauer, Tina Dell’Armi,dll | No. Panggil: Journal of Logic and Computation August 2009, 19 (4), p. 643-670 | Penerbitan: Oxford University Press
Cari yang mirip ::  Tambahkan ke favorit :: 
The Significance of Memory Costs in Answer Set Solver Implementation
Pengarang: Martin Brain and Marina De Vos | No. Panggil: Journal of Logic and Computation August 2009, 19 (4), p. 615-641 | Penerbitan: Oxford University Press
Cari yang mirip ::  Tambahkan ke favorit :: 
A Translation-based Approach to the Verification of Modular Equivalence
Pengarang: Emilia Oikarinen and Tomi Janhunen | No. Panggil: Journal of Logic and Computation August 2009, 19 (4), p. 591-613 | Penerbitan: Oxford University Press
Cari yang mirip ::  Tambahkan ke favorit :: 
From (Quantified) Boolean Formulae to Answer Set Programming
Pengarang: Igor Stéphan, Benoit Da Mota, and Pascal Nicolas | No. Panggil: Journal of Logic and Computation August 2009, 19 (4), p. 565-590 | Penerbitan: Oxford University Press
Cari yang mirip ::  Tambahkan ke favorit :: 
Monotonic Answer Set Programming
Pengarang: Martin Gebser, Mona Gharib, Robert Mercer, and Torsten Schaub | No. Panggil: Journal of Logic and Computation August 2009, 19 (4), p. 539-564 | Penerbitan: Oxford University Press
Cari yang mirip ::  Tambahkan ke favorit :: 
Mundur   1 2 3 4 5 6 7 8 9 10  Maju