Volume 7, Number 1, January 1998
Michael Luck:
Elements of Machine Learning, Pat Langley.
103-105
Marc Light:
Corpus Processing for Lexical Acquisition, edited by Branimir Boguraev and James Pustejovsky.
111-114
Volume 7, Number 2, April 1998
Eduardo L. Fermé:
On the Logic of Theory Change: Contraction without Recovery.
127-137
Jun Li:
A Note on Partial Meet Package Contraction.
139-142
Erick J. Olsson:
Making Beliefs Coherentl. The Subtraction and Addition Strategies.
143-163
R. Booth,
Jeff B. Paris:
A Note on the Rational Closure of Knowledge Bases with Both Positive and Negative Knowledge.
165-190
Harold Schellinx:
Basic Proof Theory, A.S. Troelstra and H. Schwichtenberg.
221-223
Diana McCarthy:
The Balancing Act, Judith L. Klavans and Philip Resnik.
223-227
Volume 7, Number 3, July 1998
Alberto Zanardo:
Undivided and Indistinguishable Histories in Branching-Time Logics.
297-315
Volume 7, Number 4, October 1998
Aarne Ranta:
Syntactic Calculus with Dependent Types.
413-431
Mark Johnson:
Proof Nets and the Complexity of Processing Center Embedded Constructions.
433-447
Marc Dymetman:
Group Theory and Computational Linguistics.
461-497
data released under the ODC-BY 1.0 license
