2490 search results - page 99 / 498 » Complexity of Contextual Reasoning |
137
click to vote
LPNMR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We study the complexity of consistency checking and query answering on incomplete databases for languages ranging from non-recursive Datalog to disjunctive Datalog with n...
142
click to vote
IEEEICCI
2006
IEEE
15 years 10 months ago
2006
IEEE
Business process models, often modelled using graphical languages like UML, serve as a base for communication between the stakeholders in the software development process. To fulï...
136
click to vote
JAIR
2008
15 years 4 months ago
2008
We consider the problem of allocating fairly a set of indivisible goods among agents from the point of view of compact representation and computational complexity. We start by ass...
229
click to vote
GIS
2007
ACM
16 years 5 months ago
2007
ACM
We propose a new multi-scale terrain model, based on a hierarchical representation for the morphology of a terrain. The basis of our morphological model is a dual Morse decomposit...
127
click to vote
FSTTCS
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. This paper studies a recently developed an approach to reasoning about mutable data structures, which uses an assertion language with spatial conjunction and implication ...