1438 search results - page 87 / 288 » An Expressive Extension of TLC |
102
Voted
IJCAI
2001
15 years 2 months ago
2001
In a rational programming language, a program specifies a situation faced by an agent; evaluating the program amounts to computing what a rational agent would believe or do in the...
98
Voted
SPLST
2003
15 years 2 months ago
2003
We integrate user-defined functions with semantic equations into standard Prolog. In order to interface them with Prolog, we introduce a single operator. If a predicate invocation...
95
Voted
AAAI
1994
15 years 2 months ago
1994
Most recent research in trainable part of speech taggers has explored stochastic tagging. While these taggers obtain high accuracy, linguistic information is captured indirectly, ...
87
Voted
CONCUR
2010
Springer
15 years 1 months ago
2010
Springer
We are concerned with the availability of systems, defined as the ratio between time of correct functioning and uptime. We propose to model guaranteed availability in terms of regu...
110
Voted
ECAI
2010
Springer
15 years 28 days ago
2010
Springer
We introduce and study higher-order coalition logic, a multi modal monadic second-order logic with operators [{x}] expressing that the coalition of all agents satisfying (x) can ac...