1021 search results - page 49 / 205 » Concepts in Proof Planning |
NORDICHI
2004
ACM
14 years 2 months ago
2004
ACM
The BRIDGE awareness workspace is a synchronous collaborative tool supporting activity awareness for longterm (weeks/months) group projects. This workspace features integrated tim...
VLDB
2005
ACM
14 years 2 months ago
2005
ACM
In this paper we propose and analyze a method for proofs of actual query execution in an outsourced database framework, in which a client outsources its data management needs to a...
TACAS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. A Craig interpolant for a mutually inconsistent pair of formulas (A, B) is a formula that is (1) implied by A, (2) inconsistent with B, and (3) expressed over the common ...
KR
2004
Springer
14 years 2 months ago
2004
Springer
We extend graded modal logic (GML) to a logic that captures the concept of majority. We provide an axiomatization for majority logic, MJL, and sketch soundness and completeness pr...
AUTOMATICA
2007
13 years 8 months ago
2007
We discuss notions of detectability for stochastic linear control systems of Itˆo type. A natural concept of detectability requires a non-zero output, if the state process is uns...