Hasil Pencarian
Ditemukan 101 dokumen dengan kata kunci 4526 Simpan CSV Simpan CSV
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  ::
The complexity of handling minimal solutions in logic-based abduction
Pengarang: Andreas Pfandler, Reinhard Pichler, Stefan Woltran | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p.805-825) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
On deontic action logics based on Boolean algebra
Pengarang: Robert Trypuz, Piotr Kulicki | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 5 Oktober 2015, p. 1241-1260) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Collective performance: modeling the interaction of habit-based actions
Pengarang: Michael D. Cohen, Daniel A. Levinthal, and Massimo Warglien | No. Panggil: Industrial and Corporate Change (Volume 23 Issue 2 April 2014, p. 329-360) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
A system for named entity recognition based on local grammars
Pengarang: Cvetana Krstev, Ivan Obradović, Miloš Utvić, and Duško Vitas | No. Panggil: Journal of Logic and Computation April 2014, 24 (2), p. 473-489 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Foundations of model construction in feature-based semantic science
Pengarang: David Poole | No. Panggil: Journal of Logic and Computation October 2013; 23 (5), p. 1081-1096 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Revising option status in argument-based decision systems1
Pengarang: Leila Amgoud and Srdjan Vesic | No. Panggil: Journal of Logic and Computation October 2012, 22 (5), p. 1019-1058 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Interaction-based Runtime Verification for Systems of Systems Integration
Pengarang: Ingolf H. Krüger, Michael Meisinger, and Massimiliano Menarini | No. Panggil: Journal of Logic and Computation June 2010, 20 (3), p. 725-742 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Max-based Prioritized Information Fusion without Commensurability
Pengarang: Salem Benferhat, Sylvain Lagrue, and Julien Rossit | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1577-1610 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Trust-based Revision for Expressive Web Syndication
Pengarang: Jennifer Golbeck and Christian Halaschek-Wiener | No. Panggil: Journal of Logic and Computation October 2009, 19 (5), p. 771-790 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Prev   1 2 3 4 5 6 7 8 9 10  Next