746 search results - page 100 / 150 » Connectionist Propositional Logic |
125
click to vote
MMMACNS
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. With the rise of global networks like the Internet the importance of workflow systems is growing. However, security questions in such environments often only address secu...
118
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
One approach to moderating the expected behaviour of agents in open societies is the use of explicit languages for defining norms, conditional commitments and/or social expectation...
99
Voted
IJCAI
1989
15 years 4 months ago
1989
It is argued that Ginsberg's Possible Worlds Approach to counterfactual implication suffers from a number of defects which are the result of confusing proof theory and model ...
149
Voted
FUIN
2007
15 years 3 months ago
2007
We present a resolution calculus for first-order logic using a more concise formalism for representing sets of clauses. The idea is to represent the clause set at hand as a Direct...
174
Voted
IBERAMIA
2010
Springer
15 years 1 months ago
2010
Springer
In a recent paper [2] the authors have formalized a recursive semantics for warranted conclusions in a general defeasible argumentation framework based on a propositional logic. Th...