NLPExplorer
Papers
Venues
Authors
Authors Timeline
Field of Study
URLs
ACL N-gram Stats
TweeNLP
API
Team
A semantically-derived subset of English for hardware verification
Alexander Holt
|
Ewan Klein
|
Paper Details:
Month: June
Year: 1999
Location: College Park, Maryland, USA
Venue:
ACL |
Citations
URL
Generating Text with a Theorem Prover
Ivan I. Garibay
|
Extracting formal specifications from natural language regulatory documents
Nikhil Dinesh
|
Aravind Joshi
|
Insup Lee
|
Bonnie Webber
|
http://www.dcs.gla.ac.uk/prosper/
Field Of Study
Linguistic Trends
Discourse
Syntax
Language
English
Similar Papers
Anaphora and Discourse Structure
Bonnie Webber
|
Matthew Stone
|
Aravind Joshi
|
Alistair Knott
|
The OTIM Formal Annotation Model: A Preliminary Step before Annotation Scheme
Philippe Blache
|
Roxane Bertrand
|
Mathilde Guardiola
|
Marie-Laure Guénot
|
Christine Meunier
|
Irina Nesterenko
|
Berthille Pallaud
|
Laurent Prévot
|
Béatrice Priego-Valverde
|
Stéphane Rauzy
|
Coordination and context-dependence in the generation of embodied conversation
Justine Cassell
|
Matthew Stone
|
Hao Yan
|
THE INTONATIONAL STRUCTURING OF DISCOURSE
Julia Hirschberg
|
Janet Pierrehumbert
|
Gesture Theory is Linguistics: On Modelling Multimodality as Prosody
Dafydd Gibbon
|