3319 search results - page 237 / 664 » Subshifts, Languages and Logic |
173
click to vote
IFL
2004
Springer
16 years 21 hour ago
2004
Springer
Abstract. We describe the architecture of a virtual machine for executing functional logic programming languages. A distinguishing feature of our machine is that it preserves the o...
160
click to vote
DEON
2008
Springer
15 years 8 months ago
2008
Springer
The paper a discusses the interaction properties between preference and choice of coalitions in a strategic interaction. A language is presented to talk about the conflict between...
170
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We present a novel coalgebraic logic for deterministic Mealy machines that is sound, complete and expressive w.r.t. bisimulation. Every finite Mealy machine corresponds t...
172
click to vote
DLOG
2003
15 years 8 months ago
2003
This paper presents an application of a DL reasoner to the optimization of an object-relational query language. Queries containing aggregate functions are difficult to optimize be...
149
click to vote
LAI
1996
15 years 8 months ago
1996
We propose a new semantics for modeling belief, mixing conncepts from qualitative probabilistic and classical possible world accounts. Our belief structures are coherent sets of q...