895 search results - page 32 / 179 » A Spectrum of Applications of Automated Reasoning |
130
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
We address the problem of analyzing programs such as J2ME midlets for mobile devices, where a central correctness requirement concerns confidentiality of data that the user wants t...
137
click to vote
IFIP12
2009
15 years 2 months ago
2009
This paper describes an argumentation-based approach for automating the decision making process of an autonomous agent for pricing products. Product pricing usually involves differ...
126
click to vote
JLP
2008
15 years 4 months ago
2008
In the analysis of security protocols, methods and tools for reasoning about protocol behaviors have been quite effective. We aim to expand the scope of those methods and tools. W...
150
click to vote
LPNMR
2009
Springer
15 years 9 months ago
2009
Springer
This note summarizes the use of Answer Set Programming to solve various computational problems to infer phylogenetic trees and phylogenetic networks, and discusses its applicabilit...
172
click to vote
DLOG
2011
14 years 8 months ago
2011
A combination of open and closed-world reasoning (usually called local closed world reasoning) is a desirable capability of knowledge representation formalisms for Semantic Web app...