4224 search results - page 467 / 845 » Reasoning about Choice |
174
click to vote
ICDT
2007
ACM
16 years 1 months ago
2007
ACM
Abstract. A common approach to XML updates is to extend XQuery with update operations. This approach results in very expressive languages which are convenient for users but are dif...
197
click to vote
ICLP
2007
Springer
16 years 1 months ago
2007
Springer
aa We consider the problem of obtaining a minimal logic program strongly equivalent (under the stable models semantics) to a given arbitrary propositional theory. We propose a meth...
187
click to vote
KI
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The aim of this paper is to present a formal semantics inspired by the notion of Mental Imagery, largely researched in Cognitive Science and Experimental Psychology, that...
182
click to vote
LPAR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Permutative logic (PL) is a noncommutative variant of multiplicative linear logic (MLL) arising from recent investigations concerning the topology of linear proofs. Permu...
166
click to vote
MDM
2007
Springer
16 years 1 months ago
2007
Springer
Mobile phones are being increasingly equipped with sensors that ease retrieval of context information about a user. Context data can be aggregated with information centrally avail...