2414 search results - page 139 / 483 » Reasoning Support for OWL-E |
161
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
We introduce a calculus for handling integer arithmetic in first-order logic. The method is tailored to Java program verification and meant to be used both as a supporting procedur...
164
click to vote
STACS
2010
Springer
16 years 28 days ago
2010
Springer
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...
140
click to vote
VMCAI
2009
Springer
16 years 22 days ago
2009
Springer
Vectors and bags are basic collection data structures, which are used frequently in programs and specifications. Reasoning about these data structures is supported by established ...
164
click to vote
ICSM
2009
IEEE
16 years 18 days ago
2009
IEEE
Back in 2001, the MIT announced aspect-oriented programming as a key technology in the next 10 years. Nowadays, 8 years later, AOP is not widely adopted. Several reasons can expla...
160
click to vote
TARK
2009
Springer
16 years 15 days ago
2009
Springer
We introduce a logic designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture agent prefere...