1948 search results - page 137 / 390 » Formalizing Mirror Theory |
153
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
We introduce the concept of Conversion/Preference Games, or CP games for short. CP games generalize the standard notion of strategic games. First we exemplify the use of CP games. ...
150
click to vote
IJIS
2007
15 years 5 months ago
2007
Deliberation dialogues occur when two or more participants seek to jointly agree an action or a course of action in some situation. We present the first formal framework for such...
131
click to vote
IGPL
2010
15 years 4 months ago
2010
: The main focus of this paper is to develop an adaptive formal apparatus capable of capturing (certain types of) reasoning conducted within the framework of the so-called dynamic ...
219
click to vote
PTS
2010
15 years 3 months ago
2010
We present a novel algorithm for test data generation that is based on techniques used in formal software verification. Prominent examples of such formal techniques are symbolic ex...
120
click to vote
JLP
2010
15 years 13 days ago
2010
A formalism for expressing the operational semantics of proof languages used in procedural theorem provers is proposed. It is argued that this formalism provides an elegant way to...