Ditemukan 39 dokumen dengan kata kunci 4637 |
Simpan CSV |
Qualitative Temporal and Spatial Reasoning Revisited
|
Pengarang: Manuel Bodirsky and Hubie Chen | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1359-1383 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A hybrid qualitative approach for relative movements
|
Pengarang: Joanna Golińska-Pilarek and Emilio Muñoz-Velasco | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 3 June 2015, p. 410-420) |
|
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 ::
|
|
Deterministic Graphical Games Revisited
|
Pengarang: Daniel Andersson, Kristoffer Arnsfelt Hansen, Peter Bro Miltersen, and Troels Bjerre Sørensen | No. Panggil: Journal of Logic and Computation April 2012, 22 (2), p. 165-178 |
|
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 ::
|
|
Reasoning Support for Mapping Revision
|
Pengarang: Christian Meilicke, Heiner Stuckenschmidt, and Andrei Tamilin | No. Panggil: Journal of Logic and Computation October 2009, 19 (5), p. 807-829 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Low upper bounds in the Turing degrees revisited
|
Pengarang: George Barmpalias and André Nies | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 693-699 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Temporal Logics of Repeating Values
|
Pengarang: Stéphane Demri, Deepak D’Souza, and Régis Gascon | No. Panggil: Journal of Logic and Computation October 2012, 22 (5), p. 1059-1096 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Temporal Assertions with Parametrized Propositions
|
Pengarang: Volker Stolz | No. Panggil: Journal of Logic and Computation June 2010, 20 (3), p. 743-757 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Proto logic and neural subsymbolic reasoning
|
Pengarang: Andreas Wichert | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 627-643 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|