Ditemukan 80 dokumen dengan kata kunci 4450 |
Simpan CSV ![Simpan CSV](icons/save.png) |
Linear Temporal Logic ℒ𝒯ℒK extended by Multi-Agent Logic Kn with Interacting Agents
|
Pengarang: Vladimir Rybakov | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 989-1017 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Reconstructing an Agent's Epistemic State from Observations about its Beliefs and Non-beliefs
|
Pengarang: Richard Booth and Alexander Nittka | No. Panggil: Journal of Logic and Computation October 2008, 18 (5), p. 755-782 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
toxoMine: an integrated omics data warehouse for Toxoplasma gondii systems biology research
|
Pengarang: David B. Rhee, Matthew McKnight Croken, Kevin R. Shieh, Julie Sullivan, | No. Panggil: Database (Volume 2015, p. bav066) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Towards a uniform presentation of logical systems by indexed categories and adjoint situations
|
Pengarang: U. Wolter, A. Martini, and E. H. Häusler | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 1 February 2015, p. 57-93) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
The roles of universities in fostering knowledge-intensive clusters in Chinese regional innovation systems
|
Pengarang: Yuzhuo Cai and Cui Liu | No. Panggil: Science and Public Policy (Volume 42 Issue 1 February 2015, p. 15-29) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Characterizing and comparing innovation systems by different ‘modes’ of knowledge production: A proximity approach
|
Pengarang: Sjoerd Hardeman, Koen Frenken, Önder Nomaler, Anne L. J. Ter Wal | No. Panggil: Science and Public Policy (Volume 42 Issue 4 Agustus 2015, p. 530-548) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Explicit substitution calculi with de Bruijn indices and intersection type systems
|
Pengarang: Daniel Lima Ventura, Fairouz Kamareddine, and Mauricio Ayala-Rincón | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 2 April 2015, p. 295-340) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems
|
Pengarang: Matthias Knorr, Martin Slota, João Leite, and Martin Homola | No. Panggil: Journal of Logic and Computation (December 2014; 24 (6), p. 1279-1311) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Cut-free sequent calculi for C-systems with generalized finite-valued semantics
|
Pengarang: Arnon Avron, Beata Konikowska, and Anna Zamansky | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 517-540 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Rule Systems for Run-time Monitoring: from Eagle to RuleR
|
Pengarang: Howard Barringer, David Rydeheard, and Klaus Havelund | No. Panggil: Journal of Logic and Computation June 2010, 20 (3), p. 675-706 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|