Sciweavers

67 search results - page 2 / 14
» Knowledge updates: Semantics and complexity issues
Sort
View
ECAI
2010
Springer
13 years 6 months ago
On Semantic Update Operators for Answer-Set Programs
Logic programs under the stable models semantics, or answer-set programs, provide an expressive rule based knowledge representation framework, featuring formal, declarative and wel...
Martin Slota, João Leite
HICSS
2003
IEEE
123views Biometrics» more  HICSS 2003»
13 years 10 months ago
Issues in Rational Planning in Multi-Agent Settings
We adopt the decision-theoretic principle of expected utility maximization as a paradigm for designing autonomous rational agents operating in multi-agent environments. We use the...
Piotr J. Gmytrasiewicz
ICDE
2007
IEEE
139views Database» more  ICDE 2007»
14 years 6 months ago
Updating Recursive XML Views of Relations
This paper investigates the view update problem for XML views published from relational data. We consider (possibly) recursively defined XML views, compressed into DAGs and stored...
Byron Choi, Gao Cong, Wenfei Fan, Stratis Viglas
DLOG
2008
13 years 7 months ago
Partitioning OWL Knowledge Bases - Revisited and Revised
The development of scalable reasoning systems is one of the crucial factors determining the success of Semantic Web systems. Recently, in [GH06], an approach is proposed, which tac...
Sebastian Wandelt
SEMWEB
2007
Springer
13 years 11 months ago
Logical Foundations of (e)RDF(S): Complexity and Reasoning
Abstract. An important open question in the semantic Web is the precise relationship between the RDF(S) semantics and the semantics of standard knowledge representation formalisms ...
Jos de Bruijn, Stijn Heymans