Sciweavers

7335 search results - page 222 / 1467
» Scene Based Reasoning
Sort
View
148
Voted
ISMIS
1994
Springer
15 years 8 months ago
Reasoning About the Safety of Information: From Logical Formalization to Operational Definition
We assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to repres...
Laurence Cholvy, Robert Demolombe, Andrew J. I. Jo...
VL
1991
IEEE
183views Visual Languages» more  VL 1991»
15 years 7 months ago
The Conceptual Programming Environment, CP: Reasoning Representation using Graph Structures and Operations
The Conceptual Programming environment, CP, being developed at the Computing Research Laboratory (CRL), is a complete knowledge representation visual programming environment for u...
Heather Pfeiffer, Roger T. Hartley
BDA
2001
15 years 5 months ago
Reasoning on Association Rules
We study the inference on the interesting association rules. Then we define the concept of the representative basis for interesting association rules extracted from a dataset D, a...
Viet Phan Luong
IJCAI
2003
15 years 5 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...
132
Voted
CORR
2006
Springer
106views Education» more  CORR 2006»
15 years 3 months ago
Reasoning with Intervals on Granules
: The formalizations of periods of time inside a linear model of Time are usually based on the notion of intervals, that may contain or may not their endpoints. This is not enough ...
Sylviane R. Schwer