3891 search results - page 525 / 779 » A logic for strategic reasoning |
99
Voted
AAAI
1998
15 years 2 months ago
1998
Unit resolution is arguably the most useful known algorithm for tractable reasoning in propositional logic. Intuitively, if one knows a, b, and a b c, then c should be an obviou...
108
click to vote
AAAI
1996
15 years 2 months ago
1996
We present a method for specifying temporal constraints on trajectories of dynamical systems and enforcing them during qualitative simulation. This capability can be used to focus...
82
Voted
IJCAI
1993
15 years 2 months ago
1993
These notes discuss formalizing contexts as first class objects. The basic relation is ist(c, p). It asserts that the proposition p is true in the context c. The most important f...
102
Voted
BIRTHDAY
2010
Springer
15 years 1 months ago
2010
Springer
Stable models of logic programs have been studied by many researchers, mainly because of their role in the foundations of answer set programming. This is a review of some of the de...
115
click to vote
CORR
2008
Springer
15 years 23 days ago
2008
Springer
This paper presents a toolkit for spreadsheet visualization based on logical areas, semantic classes and data Logical areas, semantic classes and data modules are abstract represe...