690 search results - page 62 / 138 » Logical Agents for Language and Action |
168
click to vote
CW
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents an educational distributed virtual reality-based environment for children called EVE - Environnement Virtuel pour Enfants. EVE is used in elementary schools fr...
150
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
This paper introduces AgentSpeak(F), a variation of the BDI logic programming language AgentSpeak(L) intended to permit the model-theoretic verification of multi-agent systems. A...
157
click to vote
AAAI
2000
15 years 7 months ago
2000
We propose a frameworkfor robot programming which allows the seamless integration of explicit agent programming with decision-theoretic planning. Specifically, the DTGolog model a...
141
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
Tuple spaces and the associated Linda language are a popular model for distributed computation, and Law-Governed Linda (LGL) is a variant allowing processes to have differential ...
157
click to vote
LICS
2006
IEEE
16 years 6 days ago
2006
IEEE
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...