3229 search results - page 397 / 646 » The Theory of Timed Automata |
171
click to vote
ATAL
2005
Springer
16 years 9 days ago
2005
Springer
Temporal difference (TD) learning methods [22] have become popular reinforcement learning techniques in recent years. TD methods have had some experimental successes and have been...
174
click to vote
DALT
2005
Springer
16 years 8 days ago
2005
Springer
Existing cognitive agent programming languages that are based on the BDI model employ logical representation and reasoning for implementing the beliefs of agents. In these programm...
146
click to vote
GECCO
2005
Springer
16 years 8 days ago
2005
Springer
We present a theoretical analysis of Watson’s Hierarchicalif-and-only-if (HIFF) problem using a variety of tools. These include schema theory and course graining, the concept of...
196
click to vote
LPNMR
2005
Springer
16 years 7 days ago
2005
Springer
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitio...
200
click to vote
MFCS
2005
Springer
16 years 7 days ago
2005
Springer
This paper investigates the word problem for inverse monoids generated by a set Γ subject to relations of the form e = f, where e and f are both idempotents in the free inverse m...