Hasil Pencarian
Ditemukan 28 dokumen dengan kata kunci 4490 Simpan CSV Simpan CSV
Measuring the blame of each formula for inconsistent prioritized knowledge bases
Pengarang: Kedian Mu, Weiru Liu, and Zhi Jin | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 481-516 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
A Logic for prioritized normative reasoning
Pengarang: Frederik Van De Putte and Christian Straßer | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 563-583 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Pseudojumps and Formula Classes
Pengarang: Douglas Cenzer, Geoffrey Laforte, and Guohua Wu | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 77-87 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Bases of Admissible Rules of Łukasiewicz Logic
Pengarang: Emil Jeřábek | No. Panggil: Journal of Logic and Computation December 2010, 20 (6), p. 1149-1163 |
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  ::
Categorical Equivalences for Formula quasi-MV Algebras
Pengarang: Roberto Giuntini, Francesco Paoli, and Antonio Ledda | No. Panggil: Journal of Logic and Computation July 2010, 20 (4), p. 795-810 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
The Complexity of the Warranted Formula Problem in Propositional Argumentation
Pengarang: Robin Hirsch and Nikos Gorogiannis | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 481-499 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Preference-based argumentation built from prioritized logic programming
Pengarang: Toshiko Wakaki | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 2 April 2015, p. 251-301) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Multi-modal and Temporal Logics with Universal Formula—Reduction of Admissibility to Validity and Unification
Pengarang: V. Rybakov | No. Panggil: Journal of Logic and Computation August 2008, 18 (4), p. 509-519 |
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  ::
Prev   1 2 3  Next