7335 search results - page 194 / 1467 » Scene Based Reasoning |
122
click to vote
ECOOP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Aspect-oriented advice increases the number of places one must consider during reasoning, since advice may affect all method calls and field accesses. MAO, a new variant...
134
Voted
ECMDAFA
2008
Springer
15 years 4 months ago
2008
Springer
In requirements engineering, there are several approaches for requirements modeling such as goal-oriented, aspect-driven, and system requirements modeling. In practice, companies o...
116
Voted
ENTCS
2010
15 years 3 months ago
2010
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...
118
Voted
JMLR
2008
15 years 3 months ago
2008
Causal reasoning is primarily concerned with what would happen to a system under external interventions. In particular, we are often interested in predicting the probability distr...
105
click to vote
CADE
2005
Springer
16 years 3 months ago
2005
Springer
Abstract. We describe methods for automated theorem proving in extensional type theory with primitive equality. We discuss a complete, cut-free sequent calculus as well as a compac...