4401 search results - page 350 / 881 » Computing with Default Logic |
173
Voted
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Intensive research is performed to find post-CMOS technologies. A very promising direction based on reversible logic are quantum computers. While in the domain of reversible lo...
150
click to vote
FSTTCS
2009
Springer
16 years 1 months ago
2009
Springer
We address the problem of alternating simulation refinement for concurrent timed games (TG). We show that checking timed alternating simulation between TG is EXPTIME-complete, and...
151
click to vote
LICS
2007
IEEE
16 years 29 days ago
2007
IEEE
The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of a misleading conception: the belief that linear logic is...
168
click to vote
ATAL
2007
Springer
16 years 27 days ago
2007
Springer
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...