9145 search results - page 372 / 1829 » Description Logic Systems |
185
click to vote
JVA
2006
IEEE
16 years 24 days ago
2006
IEEE
We present a natural deduction calculus for the computation tree logic CTL defined with the full set of classical and temporal logic operators. The system extends the natural ded...
140
click to vote
ATAL
2005
Springer
16 years 8 days ago
2005
Springer
We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised f...
223
click to vote
ECSQARU
2003
Springer
16 years 16 hour ago
2003
Springer
Abstract. Default logic is one of the best known and most studied of the approaches to nonmonotonic reasoning. Subsequently, several variants of default logic have been proposed to...
213
click to vote
ATAL
1997
Springer
15 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...
151
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. As far as we know, there is no multi-agent system allowing to talk both about choices of agents or groups of agents, strategies, and about sufficiently rich actions. This...