|
ROLE
AUTHOR PROFILE PAGES (BETA)
Project background
BOOKMARK & SHARE
|
|
|
|
| Export results as:
BibTeX
EndNotes
ACM Ref
|
| 2011
|
1
|
|
Iterated belief change in the situation calculus
|
|
January 2011
|
|
Artificial Intelligence
, Volume 175 Issue 1
|
|
Publisher: Elsevier Science Publishers Ltd.
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Citation Count: 1 |
 |
|
|
John McCarthy's situation calculus has left an enduring mark on artificial intelligence research. This simple yet elegant formalism for modelling and reasoning about dynamic systems is still in common use more than forty years since it was first proposed. ...
Keywords: Belief change, Knowledge representation and reasoning, Reasoning about action and change, Situation calculus
|
| |
|
| 2010
|
2
|
|
A logical framework for prioritized goal change
|
|
May 2010
|
|
AAMAS '10: Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
, Volume 1
|
|
Publisher: International Foundation for Autonomous Agents and Multiagent Systems
|
|
Full text available: |
 Pdf
(195.18 KB)
|
|
| Bibliometrics: Downloads (6 Weeks): 1, Downloads (12 Months): 17, Citation Count: 3 |
|
|
|
Most previous logical accounts of goals do not deal with prioritized goals and goal dynamics properly. Many are restricted to achievement goals. In this paper, we develop a logical account of goal change that addresses these deficiencies. In our account, ...
Keywords: goal change, intention, logic of agency, prioritized goals
|
| |
|
| 2009
|
3
|
|
4
|
|
Handling prioritized goals and subgoals in a logical account of goal change
|
|
May 2009
|
|
AAMAS '09: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
, Volume 2
|
|
Publisher: International Foundation for Autonomous Agents and Multiagent Systems
|
|
Full text available: |
Pdf
(206.77 KB)
|
|
| Bibliometrics: Downloads (6 Weeks): 1, Downloads (12 Months): 15, Citation Count: 1 |
|
|
Most existing formal models of goals [2, 3] assume that all goals are equally important and many only deal with achievement goals. Moreover, they do not guarantee that an agent's goals will properly evolve when an action/event occurs, e.g. when the agent's ...
Keywords: goal change, intention, logic of agency, prioritized goals, subgoals
|
| |
|
5
|
|
Golog speaks the BDI language
|
|
May 2009
|
|
ProMAS'09: Proceedings of the 7th international conference on Programming multi-agent systems
|
|
Publisher: Springer-Verlag
|
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Citation Count: 0 |
|
|
|
In this paper, we relate two of the most well developed approaches to agent-oriented programming, namely, BDI (Belief-Desire-Intention) style programming and "Golog-like" high-level programming. In particular, we show how "Golog-like" programming languages ...
|
| |
|
6
|
|
On-line adaptation of sequential mobile processes running concurrently
|
|
March 2009
|
|
SAC '09: Proceedings of the 2009 ACM symposium on Applied Computing
|
|
Publisher: ACM
|
|
Full text available: |
Pdf
(6.51 MB)
|
|
| Bibliometrics: Downloads (6 Weeks): 0, Downloads (12 Months): 18, Citation Count: 0 |
|
|
Process Management Systems (PMSs) are nowadays more and more used as a supporting tool for cooperative processes in pervasive and highly dynamic situations, such as emergency situations, pervasive healthcare or domotics/home automation. But in all such ...
Keywords: GOLOG, pervasive scenarios, process management, situation calculus, smart devices
|
| |
|
| 2008
|
7
|
|
A model of contingent planning for agent programming languages
|
|
May 2008
|
|
AAMAS '08: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1
, Volume 1
|
|
Publisher: International Foundation for Autonomous Agents and Multiagent Systems
|
|
Full text available: |
Pdf
(416.80 KB)
|
|
| Bibliometrics: Downloads (6 Weeks): 2, Downloads (12 Months): 15, Citation Count: 1 |
|
|
In this paper, we develop a formal model of planning for an agent that is operating in a dynamic and incompletely known environment. We assume that both the agent's task and the behavior of the agents in the environment are expressed as high-level nondeterministic ...
Keywords: agent programming languages, contingent planning
|
| |
|
| 2007
|
8
|
|
Goal Change in the Situation Calculus*
|
|
October 2007
|
|
Journal of Logic and Computation
, Volume 17 Issue 5
|
|
Publisher: Oxford University Press
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Citation Count: 3 |
|
|
Although there has been much discussion of belief change (e.g. [4, 21]), goal change has not received much attention. In this paper, we propose a method for goal change in the ...
|
| |
|
9
|
|
A logical theory of coordination and joint ability
|
|
July 2007
|
|
AAAI'07: Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
, Volume 1
|
|
Publisher: AAAI Press
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Citation Count: 3 |
|
|
A team of agents is jointly able to achieve a goal if despite any incomplete knowledge they may have about the world or each other, they still know enough to be able to get to a goal state. Unlike in the single-agent case, the mere existence of a working ...
|
| |
|
10
|
|
INVICON: A Toolkit for Knowledge-Based Control of Vision Systems
|
|
May 2007
|
|
CRV '07: Proceedings of the Fourth Canadian Conference on Computer and Robot Vision
|
|
Publisher: IEEE Computer Society
|
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Citation Count: 0 |
|
|
To perform as desired in a dynamic environment a vision system must adapt to a variety of operating conditions by selecting vision modules, tuning their parameters, and controlling image acquisition. Knowledge-based (KB) controller-agents that reason ...
|
| |
|
|
|
|
|
Author only
Publisher Site