Name
Abstract | ||
|---|---|---|
Ludics is a rebuilding of Linear Logic from the sole concept of interaction on objects called designs, that abstract proofs. Works have been done these last years to reconsider the formalization of Natural Language: a dialogue may be viewed as an interaction between such abstractions of proofs. We give a few examples taken from dialogue modeling but also from semantics or speech acts to support this approach. |
Year | DOI | Venue |
|---|---|---|
2012 | 10.1007/978-3-642-31262-5_2 | LACL |
Keywords | Field | DocType |
natural language,last year,dialogue modeling,linear logic,sole concept,abstract proof | Ludics,Abstraction,Computer science,Algorithm,Natural language,Mathematical proof,Natural language processing,Artificial intelligence,Linear logic,Semantics | Conference |
Citations | PageRank | References |
0 | 0.34 | 16 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Christophe Fouqueré | 1 | 28 | 10.68 |
| Myriam Quatrini | 2 | 31 | 5.78 |