1948 search results - page 229 / 390 » Formalizing Mirror Theory |
166
click to vote
ER
2006
Springer
15 years 10 months ago
2006
Springer
Ontologies play an indispensable role in the Semantic Web by specifying the definitions of concepts and individual objects. However, most of the existing methods for constructing o...
183
click to vote
CSFW
2010
IEEE
15 years 10 months ago
2010
IEEE
We embed an operational semantics for security protocols in the interactive theorem prover Isabelle/HOL and derive two strong protocol-independent invariants. These invariants allo...
178
click to vote
AAAI
2007
15 years 9 months ago
2007
This paper describes recent results from the robotics community that develop a theory, similar in spirit to the theory of computation, for analyzing sensor-based agent systems. Th...
168
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Recent work by Procaccia, Rosenschein and Zohar [14] established some results regarding the complexity of manipulation and control in elections with multiple winners, such as elec...
190
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
The `Cooperation Logic of Propositional Control', cl-pc, of van der Hoek and Wooldridge is a logic for reasoning about the ability of agents and groups of agents to obtain a ...