191 search results - page 17 / 39 » Propositional theories are strongly equivalent to logic prog... |
101
click to vote
JLP
2000
14 years 11 months ago
2000
The independent choice logic (ICL) is part of a project to combine logic and decision/game theory into a coherent framework. The ICL has a simple possible-worlds semantics charact...
124
click to vote
AIIA
2005
Springer
15 years 5 months ago
2005
Springer
Machine Learning systems are often distinguished according to the kind of representation they use, which can be either propositional or first-order logic. The framework working wi...
AAAI
1994
15 years 1 months ago
1994
Most Artificial Intelligence programs lack generality because they reason with a single domain theory that is tailored for a specific task and embodies a host of implicit assumpti...
106
click to vote
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...
139
click to vote
CORR
2011
Springer
14 years 3 months ago
2011
Springer
Contemporary use of the term ’intension’ derives from the traditional logical Frege-Russell’s doctrine that an idea (logic formula) has both an extension and an intension. Al...