2920 search results - page 341 / 584 » Finite information logic |
152
click to vote
COLT
1992
Springer
15 years 10 months ago
1992
Springer
Machine learning of limit programs (i.e., programs allowed finitely many mind changes about their legitimate outputs) for computable functions is studied. Learning of iterated lim...
120
click to vote
SIGMOD
1990
ACM
15 years 10 months ago
1990
ACM
The role of database knowledge 1susually limited to the evaluation of data queries In this paper we argue that when this knowledge 1sof substantial volume and complexity, there 1s...
184
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
This paper extends the framework of dynamic influence diagrams (DIDs) to the multi-agent setting. DIDs are computational representations of the Partially Observable Markov Decisio...
189
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...
171
click to vote
ACSD
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract. The behaviour of asynchronous circuits is often described by Signal Transition Graphs (STGs), which are Petri nets whose transitions are interpreted as rising and falling...