1705 search results - page 108 / 341 » Representing Constraints with Automata |
148
click to vote
FCT
2009
Springer
15 years 8 months ago
2009
Springer
Given a set P of natural numbers, we consider infinite games where the winning condition is a regular -language parametrized by P. In this context, an -word, representing a play, h...
141
click to vote
ATVA
2006
Springer
15 years 8 months ago
2006
Springer
In the past decades, many formal frameworks (e.g. timed automata and temporal logics) and techniques (e.g. model checking and theorem proving) have been proposed to model a real-ti...
158
click to vote
ATAL
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. This article considers the link between theory and practice in agentoriented programming. We begin by rigorously defining a new formal specification language for autono...
114
click to vote
AAAI
1996
15 years 5 months ago
1996
Agents that operate in a multi-agent system need an efficient strategy to handle their encounters with other agents involved. Searching for an optimal interactive strategy is a ha...
127
click to vote
EACL
1993
ACL Anthology
15 years 5 months ago
1993
ACL Anthology
A new class of formal languages will be defined the Distributed Index Languages (DI-languages). The grammar-formalism generating the new class - the DI-grammars - cover unbound de...