5378 search results - page 716 / 1076 » Base Logics in Argumentation |
195
click to vote
CAISE
2007
Springer
15 years 11 months ago
2007
Springer
The management and maintenance of a large number of Web services is not easy and, in particular, needs appropriate authorization policies to be defined so as to realize reliable an...
171
click to vote
FSEN
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present Trio2Promela, a tool for model checking TRIO specifications by means of Spin. TRIO is a linear-time temporal logic with both future and past operators and a qu...
157
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
We describe a new program termination analysis designed to handle imperative programs whose termination depends on the mutation rogram's heap. We first describe how an abstrac...
156
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we tackle the satisfiability problem for multi-context systems. First, we establish a satisfiability algorithm based on an encoding into propositional logic. Then, w...
189
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
An approach to handle the complex dynamics of a multi-agent system is based on distinguishing aggregation levels by structuring the system into parts or components. The behavior of...