default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic, Language and Information, Volume 13
Volume 13, Number 1, Winter 2004
- Torben Braüner:
Two Natural Deduction Systems for Hybrid Logic: A Comparison. 1-23 - Allen Hazen, Lloyd Humberstone:
Similarity Relations and the Preservation of Solidity. 25-46 - Gerhard Jäger:
Residuation, Structural Rules and Context Freeness. 47-59 - Gregory L. McColm:
Guarded Quantification in Least Fixed Point Logic. 61-110
Volume 13, Number 2, Spring 2004
- Patrick Blackburn, Michael Kohlhase:
Inference and Computational Semantics. 117-120 - Carlos Areces, Raffaella Bernardi:
Analyzing the Core of Categorial Grammar. 121-137 - Johan Bos:
Computational Semantics in Discourse: Underspecification, Resolution, and Inference. 139-157 - Sandiway Fong:
Semantic Opposition and WordNet. 159-171 - Helen L. Gaylard
, Allan Ramsay:
Relevant Answers to WH-Questions. 173-186 - Alexander Koller, Ralph Debusmann, Malte Gabsdil, Kristina Striegnitz:
Put My Galakmid Coin into the Dispenser and Kick It: Computational Linguistics and Theorem Proving in a Computer Game. 187-206 - Ian Pratt-Hartmann:
Fragments of Language. 207-223 - Aarne Ranta, Robin Cooper:
Dialogue Systems as Proof Editors. 225-240
Volume 13, Number 3, Summer 2004
- Gerard Allwein, Hilmi Demir, Lee Pike:
Logics for Classes of Boolean Monoids. 241-266 - Lon A. Berk:
The Liar, Context and Logical Form. 267-286 - Fairouz Kamareddine, Rob Nederpelt:
A Refinement of de Bruijn's Formal Language of Mathematics. 287-340 - Hannes Leitgeb, Alexander Hieke:
Circular Languages. 341-371 - Jochen L. Leidner:
Open-Domain Question Answering from Large Text Collection, M. Pa[scedil]ca. 373-376 - Makoto Kanazawa:
Computational Approaches to Language Acquisition, Michael R. Brent, ed.. 377-379 - Heinrich Wansing:
Agency and Deontic Logic, J.F. Horty. 379-381
Volume 13, Number 4, 2004
- Richard T. Oehrle, James Rogers:
Introduction. 383 - Gilad Ben-Avi, Yoad Winter:
Scope Dominance with Monotone Quantifiers over Finite Domains. 385-402 - José M. Castaño:
Global Index Grammars and Descriptive Power. 403-419 - Philippe de Groote, Sylvain Pogodalla:
On the Expressive Power of Abstract Categorial Grammars: Representing Context-Free Formalisms. 421-438 - Martin Jansche:
Learning Local Transductions Is Hard. 439-455 - Stephan Kepser:
Querying Linguistic Treebanks with Monadic Second-Order Logic in Linear Time. 457-470 - Wiebke Petersen:
A Mathematical Analysis of Panini's Sivasutras. 471-489 - Robert van Rooij, Katrin Schulz:
Exhaustive Interpretation of Complex Sentences. 491-519 - Raffaella Bernardi:
The Syntactic Process: Language, Speech, and Communication, Mark Steedman. 526-530 - Börkur Sigurbjörnsson:
Language Modeling for Information Retrieval. 531-534
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-06-13 18:41 CEST 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:
