Data-driven type checking in open domain question answering

, , &
Journal of Applied Logic 5 (1):121-143 (2007)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2005.12.001

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

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

Typability and type checking in System F are equivalent and undecidable.J. B. Wells - 1999 - Annals of Pure and Applied Logic 98 (1-3):111-156.
The difference between answering a 'why' - question and answering a 'how much' - question.Marcel J. Boumans - unknown
Data‐driven approaches to information access.Susan Dumais - 2003 - Cognitive Science 27 (3):491-524.
Open-domain question answering from large text collection, M. paşca.Jochen L. Leidner - 2004 - Journal of Logic, Language and Information 13 (3):373-376.
A Taxonomy of Errors for Information Systems.Giuseppe Primiero - 2014 - Minds and Machines 24 (3):249-273.
Domain restriction and the arguments of quantificational determiners.Anastasia Giannakidou - manuscript
Implicit memory-a data-driven concept, or conceptually driven data.Wt Neill & Jl la ValdesBeck - 1990 - Bulletin of the Psychonomic Society 28 (6):482-482.
The question of realism.Kit Fine - 2001 - Philosophers' Imprint 1:1-30.
Automated type-checking for the ramified theory of types of the Principia Mathematica of Russell and Whitehead.M. Randall Holmes - unknown
Interactive and probabilistic proof-checking.Luca Trevisan - 2000 - Annals of Pure and Applied Logic 104 (1-3):325-342.
A decidable theory of type assignment.William R. Stirton - 2013 - Archive for Mathematical Logic 52 (5-6):631-658.
Open consent, biobanking and data protection law: can open consent be ‘informed’ under the forthcoming data protection regulation?Michael Friedewald & Dara Hallinan - 2015 - Life Sciences, Society and Policy 11 (1):1-36.
Model checking lattices: using and reasoning about information orders for abstraction.S. Hazelhurst & C. Seger - 1999 - Logic Journal of the IGPL 7 (3):375-411.
From Domains Towards a Logic of Universals: A Small Calculus for the Continuous Determination of Worlds.Dr Claus Brillowski - unknown
The Promise and Perils of Open Medical Data.Sharona Hoffman - 2016 - Hastings Center Report 46 (1):6-7.

Analytics

Added to PP
2016-06-30

Downloads
7 (#1,310,999)

6 months
2 (#1,136,865)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references