Journal of Applied Non-Classical Logics
, Volume 5
Volume 5, Number 1, 1995
Special Issue:
JELIA'94
Gabriel Aguilera
,
Inman P. de Guzmán
,
Manuel Ojeda-Aciego
:
Increasing the efficiency of automated theorem proving.
9-29
José Júlio Alferes
,
Luís Moniz Pereira
:
Belief, Provability, and Logic Programs.
31-50
Phan Minh Dung
,
Chandrabose Aravindan
:
Knowledge base dynamics, Abduction and Databases updates.
51-76
Stéphane Demri
:
Uniform and Non Uniform Strategies for Tableaux Calculi for Modal Logics.
77-96
Joeri Engelfriet
,
Jan Treur
:
Temporal Theories of Reasoning.
97-119
Heinrich Herre
:
Generalized Compactness of Nonmonotonic Inference Operations.
121-135
Volume 5, Number 2, 1995
Franz Baader
,
Hans Jürgen Ohlbach
:
A Multi-Dimensional Terminological Knowledge Representation Language.
153-197
Jan A. Bergstra
,
Inge Bethke
,
Piet Rodenburg
:
A propositional logic with 4 values: true, false, divergent and meaningless.
199-217
Alexej P. Pynko
:
On Priest's logic of paradox.
219-225
Mihir K. Chakraborty
:
Graded Consequence: Further Studies.
227-238
Joeri Engelfriet
,
Jan Treur
:
Temporal Theories of Reasoning.
239-261
Last update Mon May 20 17:57:51 2013 CET by the
DBLP Team
—
Data released under the
ODC-BY 1.0 license
— See also our
legal information page