| Ditemukan 35 dokumen dengan kata kunci 4376 |
Simpan CSV  |
|
On the semantics of abstract argumentation
|
| Pengarang: A.C. Kakas and P. Mancarella | No. Panggil: Journal of Logic and Computation October 2013; 23 (5), p. 991-1015 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
The cf2 argumentation semantics revisited
|
| Pengarang: Sarah Alice Gaggl and Stefan Woltran | No. Panggil: Journal of Logic and Computation October 2013; 23 (5), p. 925-949 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Towards a Common Framework for Dialectical Proof Procedures in Abstract Argumentation
|
| Pengarang: Phan Minh Thang, Phan Minh Dung, and Nguyen Duy Hung | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1071-1109 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Partial semantics of argumentation: basic properties and empirical
|
| Pengarang: Beishui Liao and Huaxin Huang | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 541-562 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Inductive Defense for Sceptical Semantics of Extended Argumentation
|
| Pengarang: D. D. Hanh, P. M. Dung, N. D. Hung, and P. M. Thang | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 307-349 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
An abstract view on syntax with sharing
|
| Pengarang: Richard Garner | No. Panggil: Journal of Logic and Computation December 2012, 22 (6), p. 1427-1452 |
|
|
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 ::
|
|
|
Semantically closed intuitionistic abstract logics
|
| Pengarang: Steffen Lewitzka | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p 351-374 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A Proof System for Abstract Non-interference
|
| Pengarang: Roberto Giacobazzi and Isabella Mastroeni | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 449-479 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Initial semantics in logics with constructors
|
| Pengarang: Daniel Găină and Kokichi Futatsugi | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 1 February 2015, p. 95-116) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
