1941 search results - page 15 / 389 » Reasoning about Computations Using Two-Levels of Logic |
122
click to vote
CADE
2006
Springer
16 years 2 months ago
2006
Springer
Access-control policies have grown from simple matrices to non-trivial specifications written in sophisticated languages. The increasing complexity of these policies demands corres...
110
click to vote
ICDT
2003
ACM
15 years 7 months ago
2003
ACM
We define a boolean complete description logic dialect called DLFDreg that can be used to reason about structural equality in semistructured ordered data in the presence of docume...
104
click to vote
CLIMA
2007
15 years 3 months ago
2007
We propose a new version of ATLP (“ATL with plausibility”), a logic for reasoning about the outcome of rational play in game-like scenarios. Unlike in [8], where two different ...
139
click to vote
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
Agents that must reach agreements with other agents need to reason about how their preferences, judgments, and beliefs might be aggregated with those of others by the social choic...
126
click to vote
JAPLL
2010
15 years 9 days ago
2010
We show that problems arising in static analysis of XML specifications and transformations can be dealt with using techniques similar to those developed for static analysis of pr...