2293 search results - page 215 / 459 » Temporal Logic in Information Systems |
194
click to vote
LFCS
2007
Springer
16 years 25 days ago
2007
Springer
We introduce a natural deduction formulation for the Logic of Proofs, a refinement of modal logic S4 in which the assertion PA is replaced by [[s]]A whose intended reading is “s...
218
click to vote
DATESO
2006
15 years 8 months ago
2006
Recently XML is the standard format used for the exchange of data between information systems and is also frequently applied as a logical database model. If we use XML as a logical...
210
click to vote
CADE
2012
Springer
13 years 9 months ago
2012
Springer
The problem of SPARQL query containment is defined as determining if the result of one query is included in the result of another for any RDF graph. Query containment is important...
205
Voted
LOPSTR
2007
Springer
16 years 25 days ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
185
click to vote
SPATIALCOGNITION
2004
Springer
16 years 1 days ago
2004
Springer
Allen’s interval calculus is one of the most prominent formalisms in the domain of qualitative spatial and temporal reasoning. Applications of this calculus, however, are restric...