1581 search results - page 236 / 317 » Domain semantics of possibility computations |
ERSHOV
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. An abstract framework is developed to describe program transformation by specializing a given program to a restricted set of inputs. Particular cases include partial eval...
104
Voted
JELIA
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. One of the maincharacteristics of logical reasoning in knowledge based systems is its high computational complexity. Anytime deduction and anytime compilation are two att...
85
Voted
KR
2000
Springer
15 years 4 months ago
2000
Springer
We consider the two-fold problem of representing collective beliefs and aggregating these beliefs. We propose a novel representation for collective beliefs that uses modular, tran...
BIRTHDAY
2010
Springer
15 years 1 months ago
2010
Springer
Yuri Gurevich and Itay Neeman proposed the Distributed Knowledge Authorization Language, DKAL, as an expressive, yet very succinctly expressible logic for distributed authorization...
CVPR
2007
IEEE
16 years 2 months ago
2007
IEEE
We build word models for American Sign Language (ASL) that transfer between different signers and different aspects. This is advantageous because one could use large amounts of la...