4224 search results - page 152 / 845 » Reasoning about Choice |
159
Voted
CADE
2005
Springer
16 years 7 months ago
2005
Springer
Abstract. We describe the instance store, a system for reasoning about individuals (i.e., instances of classes) in OWL ontologies. By using a hybrid reasoner/database architecture,...
176
click to vote
FAC
2007
15 years 7 months ago
2007
In object-oriented programming, reentrant method invocations and shared references make it difficult to achieve adequate encapsulation for sound modular reasoning. This tutorial p...
176
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
Dynamic epistemic logic deals with the representation of situations in a multi-agent and dynamic setting. It allows to express in a uniform way statements about:
204
Voted
TPHOL
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract. Lightweight separation is a novel approach to automatic reasoning about memory updates in pointer programs. It replaces the spatial formulae of separation logic, which co...
155
click to vote
ECLIPSE
2005
ACM
15 years 9 months ago
2005
ACM
Sharing mutable data (via aliasing) is a powerful programming technique. To facilitate sharing, object-oriented programming languages permit the programmer to selectively break en...