5671 search results - page 585 / 1135 » A Semantic Approach to Interpolation |
181
click to vote
SIGDOC
2009
ACM
16 years 1 months ago
2009
ACM
One of the major issues for user assistance systems consists of “providing help at an appropriate level”. In this paper we analyze the problem of modeling task experience — ...
222
click to vote
SEMCO
2008
IEEE
16 years 1 months ago
2008
IEEE
Current Semantic Web reasoning systems do not scale to the requirements of their hottest applications, such as analyzing data from millions of mobile devices, dealing with terabyt...
196
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
In order to support semantic interoperation in open environments, where agents can dynamically join or leave and no prior assumption can be made on the ontologies to align, the di...
215
click to vote
ASP
2005
Springer
16 years 24 days ago
2005
Springer
The extended answer set semantics for simple logic programs, i.e. programs with only classical negation, allows for the defeat of rules to resolve contradictions. In addition, a pa...
214
click to vote
LPNMR
2005
Springer
16 years 22 days ago
2005
Springer
Equilibrium logic, introduced by David Pearce, extends the concept of an answer set from logic programs to arbitrary sets of formulas. Logic programs correspond to the special case...