284 search results - page 33 / 57 » Answer Set Programming for the Semantic Web |
147
Voted
ASP
2005
Springer
15 years 8 months ago
2005
Springer
Possibilistic Stable model Semantics is an extension of Stable Model Semantics that allows to merge uncertain and non monotonic reasoning into a unique framework. To achieve this a...
155
Voted
CORR
2004
Springer
15 years 2 months ago
2004
Springer
In this paper we analyze the relationship between cyclic definitions and consistency in GelfondLifschitz's answer sets semantics (initially defined as `stable model semantics...
108
Voted
SEMWEB
2004
Springer
15 years 8 months ago
2004
Springer
The Semantic Web is bound to be untrustworthy and inconsistent. In this paper, we present an initial approach for obtaining useful information in such an environment. In particular...
93
Voted
ICALP
2003
Springer
15 years 7 months ago
2003
Springer
We provide an answer to an open question, posed by van Glabbeek [4], regarding the axiomatizability of ready trace semantics. We prove that if the alphabet of actions is finite, t...
122
click to vote
TGIS
2010
15 years 27 days ago
2010
Land use regulations are an important but often underrated legal domain. In densely populated regions such as the Netherlands, spatial plans have a profound impact on both (local) ...