1194 search results - page 29 / 239 » A Language for Implementing Arbitrary Logics |
118
click to vote
AAAI
2000
15 years 5 months ago
2000
We present Dialog Moves Markup Language (DMML): an extensible markup language (XML) representation of modality independent communicative acts of automated conversational agents. I...
157
click to vote
JUCS
2000
15 years 3 months ago
2000
This article introduces the idea that information compression by multiple alignment, unification and search (ICMAUS) provides a framework within which natural language syntax may ...
IJCAI
1993
15 years 5 months ago
1993
Our experience in the IDAS natural language generation project has shown us that IDAS'S KLONE-like classifier, originally built solely to hold a domain knowledge base, could ...
138
click to vote
HASKELL
2007
ACM
15 years 7 months ago
2007
ACM
We develop a Haskell library for functional-logic programming, motivated by the implementation of Wired, a relational embedded domain-specific language for describing and analysin...
147
click to vote
CADE
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Higher-order representation techniques allow elegant encodings of logics and programming languages in the logical framework LF, but unfortunately they are fundamentally i...