4573 search results - page 602 / 915 » Automated Reasoning |
163
click to vote
LPNMR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper, we present a logic R for rule bases by introducing a set of rule connectives. We define both the models and extensions of a rule base. The semantics of ex...
134
click to vote
RR
2007
Springer
15 years 10 months ago
2007
Springer
Modern semantic technology is one of the necessary supports for the infrastructure of next generation information systems. In particular, large international organizations, which u...
129
click to vote
TARK
2007
Springer
15 years 10 months ago
2007
Springer
We introduce ATLES – a variant of ATL with explicit names for strategies in the object language. ATLES makes it possible to refer to the same strategy in different occurrences o...
145
click to vote
TARK
2007
Springer
15 years 10 months ago
2007
Springer
Most work in game theory assumes that players are perfect reasoners and have common knowledge of all significant aspects of the game. In earlier work [Halpern and Rˆego 2006], w...
118
click to vote
TIME
2005
IEEE
15 years 10 months ago
2005
IEEE
— We provide a novel trace semantics for positive core XPath that exposes all intermediate nodes visited by the query engine. This enables a detailed analysis of all information ...