1083 search results - page 164 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
103
click to vote
SEMWEB
2010
Springer
14 years 11 months ago
2010
Springer
We describe our experience of designing and implementing a knowledge-based pre-operative assessment decision support system. We developed the system using semantic web technology, ...
123
click to vote
CORR
2002
Springer
15 years 1 months ago
2002
Springer
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...
185
click to vote
TMC
2012
13 years 4 months ago
2012
— While many protocols for sensor network security provide confidentiality for the content of messages, contextual information usually remains exposed. Such information can be c...
134
click to vote
DLOG
2008
15 years 4 months ago
2008
Answering queries posed over knowledge bases is a central problem in knowledge representation and database theory. In databases, query containment is one of the important query op...
111
click to vote
TOPLAS
2002
15 years 1 months ago
2002
traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...