884 search results - page 81 / 177 » A Proof Theory for DL-Lite |
172
click to vote
JAPLL
2010
15 years 1 months ago
2010
Hybrid logics internalize their own semantics. Members of the newer family of justification logics internalize their own proof methodology. It is an appealing goal to combine thes...
121
click to vote
ACCV
2009
Springer
16 years 24 days ago
2009
Springer
What are the primitives of visual perception? The early feature-analysis theory insists on it being a local-to-global process which has acted as the foundation of most computer vis...
144
click to vote
TCS
1998
15 years 5 months ago
1998
Abstract. We show that Turyn’s conjecture, arising from the Theory of Error Correcting Codes, has an equivalent formulation in Dynamical Systems Theory. In particular, Turyn’s ...
158
click to vote
KBSE
1998
IEEE
15 years 10 months ago
1998
IEEE
Motivated by NASA's need for high-assurance software, NASA Ames' Amphion project has developed a generic program generation system based on deductive synthesis. Amphion ...
174
click to vote
FMCAD
2006
Springer
15 years 9 months ago
2006
Springer
We describe a link between the ACL2 and HOL mechanical proof assistants that enables the strengths of each system to be deployed smoothly within a single formal development. Severa...