default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic, Language and Information, Volume 7
Volume 7, Number 1, January 1998
- Sasa Buvac, Megumi Kameyama:
Introduction: Toward a Unified Theory of Context? 1 - Robert Stalnaker:
On the Representation of Context. 3-19 - Albert Visser:
Contexts in Dynamic Predicate Logic. 21-52 - Giuseppe Attardi, Maria Simi:
Communication across Viewpoints. 53-75 - Richard W. Weyhrauch, Marco Cadoli, Carolyn L. Talcott:
Using Abstract Resources to Control Reasoning. 77-101 - Michael Luck:
Elements of Machine Learning, Pat Langley. 103-105 - Paul Van Eynde:
Compositional Translation, M.T. Rosetta, ed. 107-110 - Marc Light:
Corpus Processing for Lexical Acquisition, edited by Branimir Boguraev and James Pustejovsky. 111-114
Volume 7, Number 2, April 1998
- Sven Ove Hansson:
Editorial: Belief Revision Theory Today. 123-126 - 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 - John Cantwell:
Resolving Conflicting Information. 191-220 - 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 - Wiebe van der Hoek:
Logic for Applications, Anil Nerode and Richard A. Shore. 228-229
Volume 7, Number 3, July 1998
- David A. Basin, Seán Matthews, Luca Viganò:
Labelled Modal Logics: Quantifiers. 237-263 - Tijn Borghuis:
Modal Pure Type Systems. 265-296 - Alberto Zanardo:
Undivided and Indistinguishable Histories in Branching-Time Logics. 297-315 - Yasuhito Suzuki, Frank Wolter, Michael Zakharyaschev:
Speaking about Transitive Frames in Propositional Languages. 317-339 - Wiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur:
Temporalizing Epistemic Default Logic. 341-367 - Joeri Engelfriet, Jan Treur:
An Interpretation of Default Logic in Minimal Temporal Epistemic Logic. 369-388 - Hans Jürgen Ohlbach:
Extensions of First-Order Logic, Maria Manzano. 389-391
Volume 7, Number 4, October 1998
- Christian Retoré:
Introduction. 395-398 - Natasha Kurtonina:
Categorial Inference and Modal Logic. 399-411 - Aarne Ranta:
Syntactic Calculus with Dependent Types. 413-431 - Mark Johnson:
Proof Nets and the Complexity of Processing Center Embedded Constructions. 433-447 - V. Michele Abrusci, Elena Maringelli:
A New Correctness Criterion for Cyclic Proof Nets. 449-459 - Marc Dymetman:
Group Theory and Computational Linguistics. 461-497 - Hans de Nivelle:
The Resolution Calculus, Alexander Leitsch. 499-502 - Geert-Jan M. Kruijff:
Labelled Deductive Systems, Volume 1, Dov M. Gabbay. 502-506
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-11 21:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
