4008 search results - page 234 / 802 » An expressive language of signatures |
162
click to vote
LADS
2007
Springer
16 years 22 days ago
2007
Springer
This paper proposes a method of integrating two different concepts of belief in artificial intelligence: belief as a probability distribution and belief as a logical formula. The...
165
click to vote
ACL
2007
15 years 8 months ago
2007
In this paper, we translate sentence generation from TAG grammars with semantic and pragmatic information into a planning problem by encoding the contribution of each word declara...
171
click to vote
AAAI
1994
15 years 8 months ago
1994
We propose a propositional language for temporal reasoning that is computationally effective yet expressive enough to describe information about fluents, events and temporal const...
165
click to vote
SIGPLAN
2002
15 years 6 months ago
2002
Field accessor methods have become a ubiquitous feature of object-oriented programming. The definition and use of such methods promote code bloat and an unnatural expression style...
259
click to vote
POPL
2002
ACM
16 years 6 months ago
2002
ACM
Many classical compiler optimizations can be elegantly expressed using rewrite rules of form: I = I if , where I, I are intermediate language instructions and is a property expre...