Ditemukan 56 dokumen dengan kata kunci 4580 |
Simpan CSV ![Simpan CSV](icons/save.png) |
Relative expressive power of navigational querying on graphs using transitive closure
|
Pengarang: Dimitri Surinx, George H. L. Fletcher, Marc Gyssens, Dirk Leinders, dll | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 759-788) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Set Graphs. V. On representing graphs as membership digraphs
|
Pengarang: Eugenio G. Omodeo, Alexandru I. Tomescu | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 899-919) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Abstaining in rule set bagging for imbalanced data
|
Pengarang: Krystyna Napierala and Jerzy Stefanowski | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 3 June 2015, p. 421-430) |
|
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 ::
|
|
The Significance of Memory Costs in Answer Set Solver Implementation
|
Pengarang: Martin Brain and Marina De Vos | No. Panggil: Journal of Logic and Computation August 2009, 19 (4), p. 615-641 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Efficiently Querying RDF(S) Ontologies with Answer Set Programming
|
Pengarang: Giovambattista Ianni, Alessandra Martello, Claudio Panetta, and Giorgio Terracina | No. Panggil: Journal of Logic and Computation August 2009, 19 (4), p. 671-695 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Reduction of provability logics to Σ1-provability logics
|
Pengarang: Mohammad Ardeshir and S. Mojtaba Mojtahedi | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 842-847) |
|
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 ::
|
|
The expressivity of update logics
|
Pengarang: Louwe B. Kuijer | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 719-742) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Logics for some dynamic spaces-I
|
Pengarang: Md. Aquil Khan, Mohua Banerjee | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 827-856) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|