111 search results - page 9 / 23 » Using Counterfactuals in Knowledge-Based Programming |
ATAL
2005
Springer
14 years 28 days ago
2005
Springer
Rational strategic reasoning is the process whereby an agent reasons about the best strategy to adopt in a given multi-agent scenario, taking into account the likely behaviour of ...
SGAI
2007
Springer
14 years 1 months ago
2007
Springer
Computer scientists are often faced with the challenge of having to model the world and its associated uncertainties. One area in particular where modelling uncertainty is importa...
ATAL
1997
Springer
13 years 11 months ago
1997
Springer
We briefly overview the architecture of a diagnosis agent. We employ logic and logic programming to specify and implement the agent: the knowledge base uses extended logic progra...
ICLP
2005
Springer
14 years 27 days ago
2005
Springer
This paper presents a reactive programming and triggering framework for the coordination of a large number of distributed agents with shared knowledge. At the heart of this framewo...
IWPC
1997
IEEE
13 years 11 months ago
1997
IEEE
System migration presents a myriad of challenges in software maintenance. The user interfaces of interactive systems can undergo significant change during migration. Program unde...