1947 search results - page 24 / 390 » A presentation of Quantum Logic based on an |
104
Voted
ECSQARU
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. This paper presents a method which allows for merging beliefs expressed thanks to logic programming with stable model semantics. This method is based on the syntactic mer...
90
Voted
CSCW
2000
ACM
15 years 5 months ago
2000
ACM
In general, collaboration infrastructures have supported sharing of an object based on its logical structure. However, current implementations assume an implicit binding between t...
91
Voted
IPMU
2010
Springer
14 years 11 months ago
2010
Springer
Controlled Query Evaluation (CQE) is a logical framework for the protection of secrets in databases. In this article, we extend the CQE framework to possibilistic logic: knowledge ...
112
Voted
ESWS
2005
Springer
15 years 6 months ago
2005
Springer
We present extended conceptual logic programs (ECLPs), for which reasoning is decidable and, moreover, can be reduced to finite answer set programming. ECLPs are useful to reason ...
109
Voted
FOSSACS
2005
Springer
15 years 6 months ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...