From Natural Language to Formal Proof Goal

Managing Knowledge in a World of Networks - Lecture Notes in Computer Science ◽

10.1007/11891451_8 ◽

2006 ◽

pp. 51-58 ◽

Author(s):

Ruud Stegers ◽

Annette ten Teije ◽

Frank van Harmelen

Keyword(s):

Natural Language ◽

Download Full-text

Type Theory and Formal Proof

10.1017/cbo9781139567725 ◽

2009 ◽

Author(s):

Rob Nederpelt ◽

Herman Geuvers

Keyword(s):

Type Theory ◽

Download Full-text

Interpreting Natural Language

Contemporary Psychology ◽

10.1037/026658 ◽

1987 ◽

Vol 32 (1) ◽

pp. 33-34

Author(s):

Greg N. Carlson

Keyword(s):

Natural Language

Download Full-text

Studies in interactive communication: Limited vocabulary natural language dialogue.

PsycEXTRA Dataset ◽

10.1037/e402062004-001 ◽

1975 ◽

Author(s):

Michael J. Kelly

Keyword(s):

Natural Language ◽

Interactive Communication ◽

Natural Language Dialogue

Download Full-text

Bayesian Language: Uncertainty and Inference in Natural Language

PsycEXTRA Dataset ◽

10.1037/e502412013-280 ◽

2012 ◽

Author(s):

Noah Goodman

Keyword(s):

Natural Language

Download Full-text

A Change in Focus: How Readers Process Natural Language Quantifiers

PsycEXTRA Dataset ◽

10.1037/e524912015-244 ◽

2014 ◽

Author(s):

Sri Siddhi Upadhyay ◽

Celia Klin

Keyword(s):

Natural Language

Download Full-text

Abstraction in Natural Language Categories

PsycEXTRA Dataset ◽

10.1037/e557102013-070 ◽

2012 ◽

Author(s):

Loes Stukken ◽

Wouter Voorspoels ◽

Gert Storms ◽

Wolf Vanpaemel

Keyword(s):

Natural Language

Download Full-text

Conversational re-prompting in natural language dialog

PsycEXTRA Dataset ◽

10.1037/e577222012-001 ◽

2004 ◽

Author(s):

Harry E. Blanchard ◽

Osamuyimen T. Stewart

Keyword(s):

Natural Language

Download Full-text

Natural Language Processing and Enhanced Clinical Decision Making Radiology and VINCI

PsycEXTRA Dataset ◽

10.1037/e615572012-015 ◽

2012 ◽

Author(s):

Eliot Siegel

Keyword(s):

Decision Making ◽

Natural Language Processing ◽

Natural Language ◽

Language Processing ◽

Clinical Decision Making ◽

Clinical Decision

Download Full-text

Natural Language Processing in the Clinical Setting

PsycEXTRA Dataset ◽

10.1037/e615572012-013 ◽

2012 ◽

Author(s):

Thomas H. Payne

Keyword(s):

Natural Language Processing ◽

Natural Language ◽

Language Processing ◽

Clinical Setting

Download Full-text

From NLP to Natural Language Understanding for medical decision making

PsycEXTRA Dataset ◽

10.1037/e615572012-006 ◽

2012 ◽

Author(s):

Chitta Baral

Keyword(s):

Decision Making ◽

Natural Language ◽

Medical Decision Making ◽

Natural Language Understanding ◽

Medical Decision ◽

Language Understanding

Download Full-text