Cogex: A semantically and contextually enriched logic prover for question answering

, , &
Journal of Applied Logic 5 (1):49-69 (2007)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2005.12.005

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,888

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Reasoning about conditional probabilities in a higher-order-logic theorem prover.Osman Hasan & Sofiène Tahar - 2011 - Journal of Applied Logic 9 (1):23-40.
Answer comparison in automated question answering.Tiphaine Dalmas & Bonnie Webber - 2007 - Journal of Applied Logic 5 (1):104-120.
Using logical relevance for question answering.Marco De Boni - 2007 - Journal of Applied Logic 5 (1):92-103.
Question answering from structured knowledge sources.Anette Frank, Hans-Ulrich Krieger, Feiyu Xu, Hans Uszkoreit, Berthold Crysmann, Brigitte Jörg & Ulrich Schäfer - 2007 - Journal of Applied Logic 5 (1):20-48.
Data-driven type checking in open domain question answering.Stefan Schlobach, David Ahn, Maarten de Rijke & Valentin Jijkoun - 2007 - Journal of Applied Logic 5 (1):121-143.
Question answering and database querying: Bridging the gap with generalized quantification.Antonio Badia - 2007 - Journal of Applied Logic 5 (1):3-19.
Combined reasoning by automated cooperation.Christoph Benzmüller, Volker Sorge, Mateja Jamnik & Manfred Kerber - 2008 - Journal of Applied Logic 6 (3):318-342.
Implementing a relational theorem prover for modal logic K.Angel Mora, Emilio Munoz Velasco & Joanna Golińska-Pilarek - 2011 - International Journal of Computer Mathematics 88 (9):1869-1884.
The logic of questions and answers.Nuel D. Belnap & Thomas B. Steel (eds.) - 1976 - New Haven/London: Yale University Press.
Tractable query answering and rewriting under description logic constraints.Héctor Pérez-Urbina, Boris Motik & Ian Horrocks - 2010 - Journal of Applied Logic 8 (2):186-209.

Analytics

Added to PP
2016-06-30

Downloads
17 (#1,149,837)

6 months
5 (#1,038,502)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

The logical form of action sentences.Donald Davidson - 1966 - In Nicholas Rescher (ed.), The Logic of Decision and Action. University of Pittsburgh Press. pp. 81--95.
Interpretation as abduction.Jerry R. Hobbs, Mark E. Stickel, Douglas E. Appelt & Paul Martin - 1993 - Artificial Intelligence 63 (1-2):69-142.

Add more references