837 search results - page 100 / 168 » Proof Development with OMEGA |
82
Voted
AMAI
2006
Springer
15 years 22 days ago
2006
Springer
In nonmonotonic reasoning, a default conditional has most often been informally interpreted as a defeasible version of a classical conditional, usually the material conditional...
124
Voted
ENGL
2008
15 years 22 days ago
2008
This paper presents a neural network global PID-sliding mode control method for the tracking control of robot manipulators with bounded uncertainties. A certain sliding mode contro...
103
click to vote
ENTCS
2008
15 years 22 days ago
2008
This note is about work in progress on the topic of "internal type theory" where we investigate the internal formalization of the categorical metatheory of constructive ...
ENTCS
2008
15 years 22 days ago
2008
The interactive theorem prover developed in the KeY project, which implements a sequent calculus for JavaCard Dynamic Logic (JavaCardDL) is based on taclets. Taclets are lightweig...
108
Voted
ENTCS
2008
15 years 22 days ago
2008
This paper presents our solutions to some problems we encountered in an ongoing attempt to verify the micro-hypervisor currently developed within the Robin project. The problems t...