417 search results - page 40 / 84 » Results on Reasoning about Updates in Transaction Logic |
82
Voted
ICMCS
2005
IEEE
15 years 6 months ago
2005
IEEE
Large amount of images need an efficient way of retrieving them. The usual approach of manually annotating images and/or providing a syntactic retrieval capability lacks flexibi...
93
Voted
AMAI
2004
Springer
15 years 6 months ago
2004
Springer
We introduce a general formalism of production inference relations that posses both a standard monotonic semantics and a natural nonmonotonic semantics. The resulting nonmonotonic...
182
click to vote
VLDB
2007
ACM
16 years 24 days ago
2007
ACM
Workload management for business intelligence (BI) queries poses different challenges than those addressed in the online transaction processing (OLTP) context. The fundamental pro...
107
click to vote
LORI
2009
Springer
15 years 5 months ago
2009
Springer
We present in this work a sound and complete modal logic called EDLA (Epistemic Dynamic Logic of Agency) integrating the concepts of joint action, preference and knowledge and ena...
103
Voted
AIML
2006
15 years 2 months ago
2006
Dynamic topological logics are combinations of topological and temporal modal logics that are used for reasoning about dynamical systems consisting of a topological space and a con...