Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

96

Voted

CORR
2000
Springer

107views Education» more CORR 2000»

Computing Presuppositions by Contextual Reasoning

15 years 2 months ago

Computing Presuppositions by Contextual Reasoning

Download www.aaai.org

This paper describes howautomated deduction methods for natural language processing can be applied moreefficiently by encodingcontext in a moreelaborate way. Our workis based on formal approaches to context, and weprovide a tableau calculus for contextual reasoning. This is explained by considering an examplefrom the problemarea of presupposition projection.

Christof Monz

Real-time Traffic

CORR 2000 | Deduction Methods | Education | Moreelaborate Way | Natural Language Processing |

claim paper

Related Content

» Contextual Inference in Computational Semantics

» A goalbased framework for contextual requirements modeling and analysis

» Automated AssumeGuarantee Reasoning through Implicit Learning

» Reasoning about Contextual Equivalence From Untyped to Polymorphically Typed Calculi

» Contextual vocabulary acquisition as computational philosophy and as philosophical computa...

» An Argumentative Reasoning Service for Deliberative Agents

» Extraction of Contextualized User Interest Profiles in Social Sharing Platforms

» AgentBased Context Consistency Management in Smart Space Environments

» Detecting emotional state of a child in a conversational computer game

Post Info
More Details (n/a)

Added	17 Dec 2010
Updated	17 Dec 2010
Type	Journal
Year	2000
Where	CORR
Authors	Christof Monz

Comments (0)