2137 search results - page 235 / 428 » Proving Abstract Non-interference |
131
Voted
CADE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Sledgehammer, a component of the interactive theorem prover Isabelle, finds proofs in higher-order logic by calling the automated provers for first-order logic E, SPASS a...
139
Voted
CADE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...
113
Voted
CCIA
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The operation of base contraction was successfully characterized for a very general class of logics using the notion of remainder sets. Although, in the general case, thi...
112
Voted
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Goals are central to the design and implementation of intelligent software agents. Much of the literature on goals and reasoning about goals only deals with a limited set...
128
Voted
ESA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We study the problem of designing group-strategyproof costsharing mechanisms. The players report their bids for getting serviced and the mechanism decides a set of player...