Sciweavers

4224 search results - page 8 / 845
» Reasoning about Choice
Sort
View
DLOG
1996
13 years 11 months ago
Asking Queries about Frames
Alexander Borgida, Deborah L. McGuinness
BMCBI
2008
139views more  BMCBI 2008»
13 years 10 months ago
The C1C2: A framework for simultaneous model selection and assessment
Background: There has been recent concern regarding the inability of predictive modeling approaches to generalize to new data. Some of the problems can be attributed to improper m...
Martin Eklund, Ola Spjuth, Jarl E. S. Wikberg
FLAIRS
2007
14 years 4 days ago
Prioritized Reasoning in Logic Programming
This work addresses the issue of prioritized reasoning in the context of logic programming. The case of preference conditions involving atoms is considered and a refinement of th...
Luciano Caroprese, Irina Trubitsyna, Ester Zumpano
CSFW
2005
IEEE
14 years 3 months ago
Belief in Information Flow
To reason about information flow based on beliefs, a new model is developed that describes how attacker beliefs change due to the attacker’s observation of the execution of a p...
Michael R. Clarkson, Andrew C. Myers, Fred B. Schn...