1127 search results - page 170 / 226 » Theory Extension in ACL2(r) |
184
click to vote
BIRTHDAY
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
134
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Multimodal human to human interaction requires integration of the contents/meaning of the modalities involved. Artificial Intelligence (AI) multimodal prototypes attempt...
161
click to vote
MKM
2004
Springer
15 years 11 months ago
2004
Springer
This paper reports on refinements and extensions to the MathLang framework that add substantial support for natural language text. We show how the extended framework supports mult...
191
click to vote
NMR
2004
Springer
15 years 11 months ago
2004
Springer
The development of Logic Programming and Defeasible Argumentation lead to Defeasible Logic Programming. Its core resides in the characterization of the warrant procedure. Defeasib...
184
click to vote
TCC
2004
Springer
15 years 11 months ago
2004
Springer
We consider the problem of threshold secret sharing in groups with hierarchical structure. In such settings, the secret is shared among a group of participants that is partitioned ...