878 search results - page 46 / 176 » Modelling Communicating Agents in Timed Reasoning Logics |
104
click to vote
ATAL
2009
Springer
15 years 6 months ago
2009
Springer
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...
115
click to vote
ICAIL
2009
ACM
15 years 6 months ago
2009
ACM
In this paper coherence-based models are proposed as an alternative to logic-based BDI and argumentation models for the reasoning of normative agents. A model is provided for how t...
LATA
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. An important portion of the current research in Description Logics is devoted to the expansion of the reasoning services and the developement of algorithms that can adequ...
FSTTCS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...
100
click to vote
LORI
2009
Springer
15 years 6 months ago
2009
Springer
We propose a dynamic testimonial logic (DTL) to model communication and belief change among agents with different dispositions to trust each other as information sources. DTL is ...