| Ditemukan 118 dokumen dengan kata kunci 4645 |
Simpan CSV  |
|
On Instance-level Update and Erasure in Description Logic Ontologies
|
| Pengarang: Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, and Riccardo Rosati | No. Panggil: Journal of Logic and Computation October 2009, 19 (5), p. 745-770 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Model Checking Using Description Logic
|
| Pengarang: Shoham Ben-David, Richard Trefler, and Grant Weddell | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 111-1131 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A Multi-Agent System for Dynamic Ontologies
|
| Pengarang: Kevin Ottens, Nathalie Hernandez, Marie-Pierre Gleizes, and Nathalie Aussenac-Gilles | No. Panggil: Journal of Logic and Computation October 2009, 19 (5), p. 831-858 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Verification of Games in the Game Description Language
|
| Pengarang: Ji Ruan, Wiebe van der Hoek, and Michael Wooldridge | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1127-1156 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
The expressivity of update logics
|
| Pengarang: Louwe B. Kuijer | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 719-742) |
|
|
Koleksi: e-Article Oxford Journal ::
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 |
|
|
Koleksi: e-Article Oxford Journal ::
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 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Embedding-based approaches to paraconsistent and temporal description logics
|
| Pengarang: Norihiro Kamide | No. Panggil: Journal of Logic and Computation October 2012, 22 (5), p. 1097-1124 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
TIARA genome database: update 2013
|
| Pengarang: Dongwan Hong, Jongkeun Lee, Thomas Bleazard, HyunChul Jung, dll | No. Panggil: Database (Volume 2013, p.bat003) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
DCDB 2.0: a major update of the drug combination database
|
| Pengarang: Yanbin Liu, Qiang Wei, Guisheng Yu, Wanxia Gai, dll | No. Panggil: Database (Volume 2014, p.bau124) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
