Hasil Pencarian
Ditemukan 29 dokumen dengan kata kunci 4644 Simpan CSV Simpan CSV
Base Revision for Ontology Debugging
Pengarang: Márcio M. Ribeiro and Renata Wassermann | No. Panggil: Journal of Logic and Computation October 2009, 19 (5), p. 721-743 |
Koleksi: e-Article Oxford Journal  :: 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 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Reasoning Support for Mapping Revision
Pengarang: Christian Meilicke, Heiner Stuckenschmidt, and Andrei Tamilin | No. Panggil: Journal of Logic and Computation October 2009, 19 (5), p. 807-829 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Reinforcement Belief Revision
Pengarang: Yi Jin and Michael Thielscher | No. Panggil: Journal of Logic and Computation October 2008, 18 (5), p. 783-813 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
An Ebola virus-centered knowledge base
Pengarang: Maulik R. Kamdar and Michel Dumontier | No. Panggil: Database (Volume 2015, p. bav049) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Prime implicates and relevant belief revision
Pengarang: Frederik Van De Putte | No. Panggil: Journal of Logic and Computation February 2013, 23 (1), p. 109-119 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Three Scenarios for the Revision of Epistemic States
Pengarang: Didier Dubois | No. Panggil: Journal of Logic and Computation October 2008, 18 (5), p. 721-738 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Base-extension semantics for intuitionistic sentential logic
Pengarang: Tor Sandqvist | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 719-731) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Evaluative multiple revision based on core beliefs
Pengarang: Yongfeng Yuan, Shier Ju, Xuefeng Wen | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 781-804) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Modelling epistemic actions in interrogative belief revision
Pengarang: Sebastian Enqvist | No. Panggil: Journal of Logic and Computation December 2012, 22 (6), p. 1335-1365 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Prev   1 2 3  Next