381 search results - page 40 / 77 » Model Checking Is Static Analysis of Modal Logic |
126
click to vote
QSIC
2005
IEEE
15 years 9 months ago
2005
IEEE
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...
119
Voted
APSEC
2005
IEEE
15 years 9 months ago
2005
IEEE
We report on a case study in which the Maude model checker has been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion p...
125
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
In the last few years, argumentation frameworks have been successfully applied to multi agent systems. Recently, argumentation has been used to provide a framework for reasoning a...
150
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Multiagent environments are often not cooperative nor collaborative; in many cases, agents have conflicting interests, leading to adversarial interactions. This paper presents a ...
129
click to vote
ATAL
2011
Springer
14 years 3 months ago
2011
Springer
In this paper, we merge speech act theory, emotion theory, and logic. We propose a modal logic that integrates the concepts of belief, goal, ideal and responsibility and that allo...