From Natural Language to Formal Proof Goal

2006 ◽  
pp. 51-58 ◽  
Author(s):  
Ruud Stegers ◽  
Annette ten Teije ◽  
Frank van Harmelen
Keyword(s):  
Natural Language ◽  
Formal Proof

Type Theory and Formal Proof

2009 ◽  
Author(s):  
Rob Nederpelt ◽  
Herman Geuvers
Keyword(s):  
Type Theory ◽  
Formal Proof

Interpreting Natural Language

1987 ◽  
Vol 32 (1) ◽  
pp. 33-34
Author(s):  
Greg N. Carlson
Keyword(s):  
Natural Language

Abstraction in Natural Language Categories

2012 ◽  
Author(s):  
Loes Stukken ◽  
Wouter Voorspoels ◽  
Gert Storms ◽  
Wolf Vanpaemel
Keyword(s):  
Natural Language

Conversational re-prompting in natural language dialog

2004 ◽  
Author(s):  
Harry E. Blanchard ◽  
Osamuyimen T. Stewart
Keyword(s):  
Natural Language
Sign in / Sign up

Export Citation Format

Share Document