Ditemukan 11 dokumen dengan kata kunci 4387 |
Simpan CSV ![Simpan CSV](icons/save.png) |
On the inference of non-confluent NLC graph grammars
|
Pengarang: Robert Brijder and Hendrik Blockeel | No. Panggil: Journal of Logic and Computation August 2013, 23 (4), p. 799-814 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Polynomially parsable unification grammars
|
Pengarang: Hadas Peled, Shuly Wintner | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 5 Oktober 2015, p. 1167-1202) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A Graph-theoretic Account of Logics
|
Pengarang: Amilcar Sernadas, Cristina Sernadas, Joao Rasga, and Marcelo Coniglio | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1281-1320 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
On Graph-theoretic Fibring of Logics
|
Pengarang: Amilcar Sernadas, Cristina Sernadas, Joao Rasga, and Marcelo Coniglio | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1321-1357 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A system for named entity recognition based on local grammars
|
Pengarang: Cvetana Krstev, Ivan Obradović, Miloš Utvić, and Duško Vitas | No. Panggil: Journal of Logic and Computation April 2014, 24 (2), p. 473-489 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Model-theory and implementation of property grammars with features
|
Pengarang: Denys Duchier, Thi-Bich-Hanh Dao, and Yannick Parmentier | No. Panggil: Journal of Logic and Computation April 2014, 24 (2), p. 491-509 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Reasoning with vectors: A continuous model for fast robust inference
|
Pengarang: Dominic Widdows, Trevor Cohen | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 2 April 2015, p. 141-173 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Graph Polynomials: From Recursive Definitions to Subset Expansion Formulas
|
Pengarang: B. Godlin, E. Katz, and J. A. Makowsky | No. Panggil: Journal of Logic and Computation April 2012, 22 (2), p. 237-265 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
From Deep Inference to Proof Nets via Cut Elimination
|
Pengarang: Lutz Strassburger | No. Panggil: Journal of Logic and Computation August 2011, 21 (4), p. 589-624 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures
|
Pengarang: Giuliano Grossi, Massimo Marchi, Enrico Pontelli, and Alessandro Provetti | No. Panggil: Journal of Logic and Computation August 2009, 19 (4), p. 697-715 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|