Ditemukan 28 dokumen dengan kata kunci 4490 |
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 ::
|
|