Inference and Computational Semantics-Reference-Cited by-同舟云学术

Inference and Computational Semantics

Published:2001 Issue: Volume: Page:11-28
ISSN:0924-4662
Container-title:Studies in Linguistics and Philosophy
language:
Short-container-title:

Author:

Blackburn Patrick,Bos Johan,Kohlhase Michael,De Nivelle Hans

Publisher

Springer Netherlands

Link

http://link.springer.com/content/pdf/10.1007/978-94-010-0572-2_2

Reference19 articles.

1. Allen, J. (1995) Natural Language Understanding. Amsterdam: Benjamin/Cummings, 2nd edition.

2. Andréka, H., I. Németi, and J. Van Benthem: (1998) Modal Languages and Bounded Fragments of Predicate Logic. Journal of Philosophical Logic 27(3), 217–274.

3. Baumgartner, P. (2000) FDPLL — A First-Order Davis-Putnam-Logeman-Loveland Procedure. In: D. McAllester (ed.): CADE-17-The 17th International Conference on Automated Deduction. Berlin: Springer Verlag. To appear.

4. Bibel, W. and P. Schmitt (eds.) (1998) Automated Deduction — A Basis for Applications. Dordrecht: Kluwer.

5. Blackburn, P. and J. Bos: (2000a) Representation and Inference for Natural Language. A First Course in Computational Semantics. Draft available at www.cornsem.org .

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Large-Scale Commonsense Knowledge for Default Logic Reasoning;SN Computer Science;2023-07-29

2. GF + MMT = GLF – From Language to Semantics through LF;Electronic Proceedings in Theoretical Computer Science;2019-10-12

3. Discourse Semantics with Information Structure;Journal of Semantics;2018-01-16

4. The Groningen Meaning Bank;Handbook of Linguistic Annotation;2017

5. Computing Meaning: Annotation, Representation, and Inference;Text, Speech and Language Technology;2014