Sciweavers

972 search results - page 5 / 195
» Reasoning with Conditional Time-Intervals
Sort
View
HEURISTICS
2006
95views more  HEURISTICS 2006»
13 years 7 months ago
Hard and soft constraints for reasoning about qualitative conditional preferences
Many real life optimization problems are defined in terms of both hard and soft constraints, and qualitative conditional preferences. However, there is as yet no single framework f...
Carmel Domshlak, Steven David Prestwich, Francesca...
IJCAI
1989
13 years 8 months ago
Measure-Free Conditioning, Probability and Non-Monotonic Reasoning
Recent results in the foundations of probability theory indicate that a conditional probability can be viewed as a probability attached to a mathematical entity called a measure-f...
Didier Dubois, Henri Prade
ENTCS
2010
96views more  ENTCS 2010»
13 years 7 months ago
Optimizing Conditional Logic Reasoning within CoLoSS
The generic modal reasoner CoLoSS covers a wide variety of logics ranging from graded and probabilistic modal logic to coalition logic and conditional logics, being based on a bro...
Daniel Hausmann, Lutz Schröder
IJCAI
2003
13 years 9 months ago
Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques
Many real life optimization problems contain both hard and soft constraints, as well as qualitative conditional preferences. However, there is no single formalism to specify all t...
Carmel Domshlak, Francesca Rossi, Kristen Brent Ve...
DEON
2008
Springer
13 years 9 months ago
Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking
Abstract. This paper considers the problem of checking whether an organization conforms to a body of regulation. Conformance is cast as a trace checking question
Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg S...