528 search results - page 90 / 106 » Epistemic Logic and Planning |
AAAI
2004
13 years 9 months ago
2004
In this paper we introduce the language Golog+HTNT I for specifying control using procedural and HTN-based constructs together with deadlines and time restrictions. Our language s...
COLING
1992
13 years 8 months ago
1992
Communication among agents collaborating on a task often involves complex utterances about multiple actions. In this paper, we analyze two particular multiaction constructions, ut...
AMAI
2006
Springer
13 years 7 months ago
2006
Springer
The aim of this paper is to demonstrate that A-Prolog is a powerful language for the construction of reasoning systems. In fact, A-Prolog allows to specify the initial situation, t...
COR
2007
13 years 7 months ago
2007
We propose a hybrid method designed to solve a problem of dispatching and conflict free routing of automated guided vehicles (AGVs) in a flexible manufacturing system (FMS). Thi...
JSW
2008
13 years 7 months ago
2008
This paper presents a role-based agent teamwork language called RoB-MALLET (Role-Based Multi-Agent Logic Language for Encoding Teamwork). Roles have been used to form multi-agent t...