855 search results - page 59 / 171 » Using First-Order Logic to Reason about Policies |
CORR
2000
Springer
13 years 7 months ago
2000
Springer
Abstract. We introduce a nonmonotonic framework for belief revision in which reasoning about the reliability of different pieces of information based on meta-knowledge about the in...
ICSE
2005
IEEE-ACM
14 years 7 months ago
2005
IEEE-ACM
Many software properties can be analysed through a relational size analysis on each function's inputs and outputs. Such relational analysis (through a form of dependent typin...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...
KR
2010
Springer
14 years 16 days ago
2010
Springer
Preference logics and AI preference representation languages are both concerned with reasoning about preferences on combinatorial domains, yet so far these two streams of research...
TIME
2005
IEEE
14 years 1 months ago
2005
IEEE
— We provide a novel trace semantics for positive core XPath that exposes all intermediate nodes visited by the query engine. This enables a detailed analysis of all information ...