878 search results - page 40 / 176 » Modelling Communicating Agents in Timed Reasoning Logics |
AAAI
1998
15 years 1 months ago
1998
In abductive planning, plans are constructed as reasons for an agent to act: plans are demonstrations in logical theory of action that a goal will result assuming that given actio...
ECAIW
1994
Springer
15 years 3 months ago
1994
Springer
Abstract. In this paper we describe an approach to the representation and implementation of agent-based systems where the behaviour of an individual agent is represented by a set o...
AAAI
2006
15 years 1 months ago
2006
We investigate the modelling of workflows, plans, and other event-generating processes as discrete event sources and reason about the possibility of having event sequences ending ...
131
click to vote
PCI
2005
Springer
15 years 5 months ago
2005
Springer
Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is useful for many applications in the Semantic W...
100
click to vote
LOPSTR
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL∗ ) properties of finite state reactive systems. The finite state ...