default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLogic Journal of the IGPL, Volume 11, 2003
Volume 11, Number 1, January 2003
- Mauro Ferrari
, Pierangelo Miglioli, Mario Ornaghi:
On Uniformly Constructive and Semiconstructive Formal Systems. 1-49 - Ralph Loader:
Higher Order beta Matching is Undecidable. 51-68 - David Makinson:
Bridges between Classical and Nonmonotonic Logic. 69-96 - Nicolas Peltier:
Building Infinite Models for Equational Clause Sets: Constructing Non-Ambiguous Formulae. 97-129
Volume 11, Number 2, March 2003
- Wiebe van der Hoek, Michael J. Wooldridge:
Editorial. 133 - Wiebe van der Hoek, Michael J. Wooldridge:
Towards a Logic of Rational Agency. 135-159 - Yves Lespérance:
On the Epistemic Feasibility of Plans in Multiagent Systems Specifications. 161-178 - Henrik Grosskreutz, Gerhard Lakemeyer:
ccGolog -- A Logical Language Dealing with Continuous Change. 179-221 - Jan-Willem Roorda, Wiebe van der Hoek, John-Jules Ch. Meyer:
Iterated Belief Change in Multi-Agent Systems. 223-246 - Maria Fasli:
Reasoning about Knowledge and Belief: A Syntactical Treatment. 247-284
Volume 11, Number 3, May 2003
- Moshe Deutsch, Martin C. Henson, Steve Reeves:
An Analysis of Total Correctness Refinement Models for Partial Relation Semantics I. 287-317 - Moshe Deutsch, Martin C. Henson:
An Analysis of Total Correctness Refinement Models for Partial Relation Semantics II. 319-352 - Kevin M. Knight:
Probabilistic Entailment and a Non-Probabilistic Logic. 353-365 - Sergei Tupailo:
Epsilon Substitution Method for Delta11-CR: a Constructive Termination Proof. 367-377
Volume 11, Number 4, July 2003
- Johan Bos, Michael Kohlhase:
Editorial. 381-384 - Yaroslav Fyodorov, Yoad Winter, Nissim Francez:
Order-Based Inference in Natural Logic. 385-416 - Raffaella Bernardi, Richard Moot:
Generalized Quantifiers in Declarative and Interrogative Sentences. 419-434 - Michael Kohlhase, Alexander Koller:
Resource-Adaptive Model Generation as a Performance Model. 435-456 - Claus Zinn:
Computational Framework For Understanding Mathematical Discourse. 457-484 - Jörn Kreutel, Colin Matheson:
Incremental Information State Updates in an Obligation-Driven Dialogue Model. 485-511
Volume 11, Number 5, September 2003
- Damjan Bojadziev:
A Note on Interaction and Incompleteness. 513-523 - Kai Brünnler:
Two Restrictions on Contraction. 525-529 - Konstantinos Georgatos:
On Indistinguishability and Prototypes. 531-545 - Dale Jacquette:
The Soundness Paradox. 547-556 - Audun Stolpe:
QMML: Quantified Minimal Modal Logic and Its Applications. 557-575 - Roger D. Maddux:
Review: Relation algebras by games: Robin Hirsch, Ian Hodkinson: Relation algebras by games. 577-581
Volume 11, Number 6, November 2003
- Dov M. Gabbay, John Woods:
Normative Models of Rational Agency: The Theoretical Disutility of Certain Approaches. 597-613 - Ichiro Hasuo, Ryo Kashima:
Kripke Completeness of First-Order Constructive Logics with Strong Negation. 615-646 - Mateja Jamnik, Manfred Kerber, Martin Pollet, Christoph Benzmüller:
Automatic Learning of Proof Methods in Proof Planning. 647-673 - Neil Tennant:
Theory-Contraction is NP-Complete. 675-693
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 2025-01-22 20: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:
