| Ditemukan 177 dokumen dengan kata kunci 3593 |
Simpan CSV  |
|
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 ::
|
|
|
From mathematical logic to programming-language semantics: a discussion with Tony Hoare
|
| Pengarang: Edgar G. Daylight | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 4 Agustus 2015, p. 1091-1110) |
|
|
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 ::
|
|
|
From (Quantified) Boolean Formulae to Answer Set Programming
|
| Pengarang: Igor Stéphan, Benoit Da Mota, and Pascal Nicolas | No. Panggil: Journal of Logic and Computation August 2009, 19 (4), p. 565-590 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Programmable Logic Controllers : Programming Methods and Applications
|
|
|
|
Implementing crash-resistance and non-interference in logic-based argumentation
|
| Pengarang: Yining Wu, Mikołaj Podlaszewski | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 2 April 2015, p. 303-333) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Towards the Proof-theoretic Unification of Dung’s Argumentation Framework: an Adaptive Logic Approach
|
| Pengarang: Christian Straßer and Dunja Šešelja | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 133-156 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
From Situation Calculus to Dynamic Epistemic Logic
|
| Pengarang: Hans Van Ditmarsch, Andreas Herzig, and Tiago De Lima | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 179-204 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Codd's Relational Model from the Point of View of Fuzzy Logic
|
| Pengarang: Radim Belohlavek and Vilem Vychodil | No. Panggil: Journal of Logic and Computation October 2011, 21 (5), p. 851-862 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Metalevel argumentation
|
| Pengarang: Sanjay Modgil and Trevor J. M. Bench-Capon | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 959-1003 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
