11436 search results - page 578 / 2288 » Modeling Real Reasoning |
177
click to vote
TPHOL
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract. This paper presents a separation-logic framework for reasoning about low-level C code in the presence of virtual memory. We describe ract, generic Isabelle/HOL framework ...
218
click to vote
EWCBR
2004
Springer
16 years 25 days ago
2004
Springer
Case-based Reasoning (CBR) is a mature technology for building knowledge-based systems that are capable to produce useful results even if no answer matches the query exactly. Often...
218
click to vote
ICTAI
2003
IEEE
16 years 22 days ago
2003
IEEE
The interpretation of medical evidence is normally presented in terms of a controlled, but diversely expressed specialist vocabulary and natural language phrases. Such informally ...
231
Voted
DEON
2010
Springer
16 years 7 days ago
2010
Springer
Abstract. Privacy policies are often defined in terms of permitted messages. Instead, in this paper we derive dynamically the permitted messages from static privacy policies defi...
239
click to vote
KR
2010
Springer
2010
Springer
Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming
16 years 7 days ago
We address the problem of repairing large-scale biological networks and corresponding yet often discrepant measurements in order to predict unobserved variations. To this end, we ...