thumbnail

Journal of Applied Logic

  1570-8683

 

 

Cơ quản chủ quản:  N/A

Lĩnh vực:

Các bài báo tiêu biểu

The three bases for the enthymeme: A dialogical theory
Tập 6 Số 3 - Trang 361-379 - 2008
Fabrizio Macagno
A general first-order solution to the ramification problem with cycles
Tập 11 - Trang 289-308 - 2013
Hannes Strass, Michael Thielscher
Is it worth generating rules from neural network ensembles?
Tập 2 - Trang 325-348 - 2004
Guido Bologna
Similarity-based relaxed instance queries
Tập 13 - Trang 480-508 - 2015
Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
Capturing equilibrium models in modal logic
Tập 12 - Trang 192-207 - 2014
Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su
Complexity of modal logics with Presburger constraints
Tập 8 - Trang 233-252 - 2010
Stéphane Demri, Denis Lugiez
From Bayesian epistemology to inductive logic
Tập 11 - Trang 468-486 - 2013
Jon Williamson
Defining answer classes using resolution refutation
Tập 5 - Trang 70-91 - 2007
Debra T. Burhans, Stuart C. Shapiro
Complete axiomatizations for XPath fragments
Tập 8 - Trang 153-172 - 2010
Balder ten Cate, Tadeusz Litak, Maarten Marx
Complexity of hybrid logics over transitive frames
Tập 8 - Trang 422-440 - 2010
Martin Mundhenk, Thomas Schneider, Thomas Schwentick, Volker Weber