6047 search results - page 1011 / 1210 » Modeling with Extend |
168
click to vote
PODC
1990
ACM
15 years 7 months ago
1990
ACM
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
138
click to vote
POPL
1990
ACM
15 years 7 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
138
Voted
AOSD
2007
ACM
15 years 7 months ago
2007
ACM
Inspired by our past manual aspect mining experiences, this paper describes a random walk model to approximate how crosscutting concerns can be discovered in the absence of domain...
109
Voted
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
While there has been much work on developing frameworks and models of norms and normative systems, consideration of the impact of norms on the practical reasoning of agents has at...
124
click to vote
AUSAI
2007
Springer
15 years 7 months ago
2007
Springer
In this paper we describe a stochastic local search (SLS) procedure for finding satisfying models of satisfiable propositional formulae. This new algorithm, gNovelty+ , draws on th...