440 search results - page 36 / 88 » Predicate Abstraction with Indexed Predicates |
129
click to vote
AGENTS
1997
Springer
15 years 9 months ago
1997
Springer
We describe a uniform technique for representing both sensory data and the attentional state of an agent using a subset of modal logic with indexicals. The resulting representatio...
142
click to vote
AROBOTS
1998
15 years 4 months ago
1998
We describe a uniform technique for representing both sensory data and the attentional state of an agent using a subset of modal logic with indexicals. The resulting representation...
105
click to vote
ACII
2007
Springer
15 years 11 months ago
2007
Springer
in the form of light clusters (displayed in arrays of LEDs) and abstract electroacoustic sound — what we term low-fidelity embodiments. Thus, the architecture for such agents is...
137
Voted
ER
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Topological relationships between spatial objects in the twodimensional space have been investigated for a long time in a number of disciplines like artificial intellige...
160
click to vote
COLT
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. A brief overview is given of recent results on theory revision with queries for propositional formulas, such as monotone and unate DNF, Horn formulas, read-once formulas,...