3844 search results - page 375 / 769 » Modular interpreted systems |
133
Voted
AUSAI
2003
Springer
15 years 10 months ago
2003
Springer
Most of the theories on formalising intention interpret it as a unary modal operator in Kripkean semantics, which gives it a monotonic look. We argue that policy-based intentions [...
128
click to vote
CEEMAS
2003
Springer
15 years 10 months ago
2003
Springer
We introduce a formal language for multi-agent systems based on new modal operators. The modal operators express concurrency at the syntactic level. Operators containing quantifie...
138
Voted
CADE
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. The little theories method, in which mathematical reasoning is distributed across a network of theories, is a powerful technique for describing and analyzing complex syst...
149
Voted
ESOP
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. We study the notion of binding-time analysis for logic programs. We formalise the unfolding aspect of an on-line partial deduction s a Prolog program. Using abstract inte...
127
Voted
FGR
1996
IEEE
15 years 9 months ago
1996
IEEE
Pfinder is a real-time system for tracking people and interpreting their behavior. It runs at 10Hz on a standard SGI Indy computer, and has performed reliably on thousands of peopl...