9719 search results - page 318 / 1944 » Answer Set Optimization |
180
click to vote
ICDT
2005
ACM
16 years 8 days ago
2005
ACM
We give two sufficient conditions on XPath like languages for having first order expressivity, meaning that every first order definable set of paths in an ordered node-labeled t...
171
click to vote
ECRTS
2003
IEEE
16 years 1 days ago
2003
IEEE
When executing different real-time applications on a single processor system, one problem is how to compose these applications and guarantee at the same time that their timing req...
201
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
In order to obtain semantic interoperability in open MultiAgent Systems, agents need to agree on the basis of different ontologies. In this paper we formally define mapping as cor...
187
click to vote
AIPRF
2007
15 years 8 months ago
2007
This paper focuses on the foundational role of interactive epistemology in the problem of generating plans for rational agents in multiagent settings. Interactive epistemology dea...
158
click to vote
CORR
2000
Springer
15 years 6 months ago
2000
Springer
The connections between nonmonotonic reasoning and belief revision are well-known. A central problem in the area of nonmonotonic reasoning is the problem of default entailment, i.e...