592 search results - page 44 / 119 » CTL Model Update: Semantics, Computations and Implementation |
164
click to vote
SEMWEB
2004
Springer
15 years 10 months ago
2004
Springer
The standardization of the second generation Web Ontology Language, OWL, leaves a crucial issue for Web-based ontologies unsatisfactorily resolved: how to represent and reason with...
172
click to vote
CORR
1998
Springer
15 years 4 months ago
1998
Springer
In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least Herbrand model approach to Horn programs. We demonstrate ...
149
click to vote
ICPR
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper conducts an empirical evaluation of MPEG-7 visual part of experimentation model (XM) color descriptors in a challenging problem of content-based retrieval of semantic i...
164
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
The paper introduces the notion of off-line justification for Answer Set Programming (ASP). Justifications provide a graph-based explanation of the truth value of an atom w.r.t. a ...
142
click to vote
EICS
2010
ACM
15 years 6 months ago
2010
ACM
We propose an approach that takes as input a task model, which includes the user's view of the interactive system, and automatically discovers a set of categorized and ranked...