58 search results - page 5 / 12 » A Tactic Language for Hiproofs |
ITP
2010
14 years 11 months ago
2010
Influenced by the success of the MIZAR system many declarative proof languages have been developed in the theorem prover community, as declarative proofs are more readable, easier...
EACL
2010
ACL Anthology
14 years 11 months ago
2010
ACL Anthology
One major aim of research in affective natural language generation is to be able to use language intelligently to induce effects on the emotions of the reader/ hearer. Although va...
ATAL
2003
Springer
15 years 2 months ago
2003
Springer
This paper studies argumentation-based dialogues between agents. It takes a previously defined system by which agents can trade arguments and examines the outcomes of the dialogu...
AAAI
2000
14 years 10 months ago
2000
Changing the way users interact with their data is the principal objective of the Listen, Communicate, Show (LCS) paradigm. LCS is a new paradigm being applied to Marine Corps tac...
ANLP
1997
14 years 10 months ago
1997
We describe our experiences building spoken language interfaces to four demonstration applications all involving 2- or 3-D spatial displays or gestural interactions: an air combat...