3468 search results - page 160 / 694 » An open logical framework |
189
click to vote
WOA
2003
15 years 7 months ago
2003
— In this paper we study the rational balance between local and global policies in virtual communities of agents. To study this problem we use a logical framework for modelling o...
219
click to vote
IBERAMIA
2010
Springer
15 years 4 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...
237
click to vote
HICSS
2007
IEEE
16 years 25 days ago
2007
IEEE
Some theoretical models used in IS research may lack explanatory power and consistency because of their failure to provide an adequate means of accounting for contextual and situa...
179
click to vote
ECOOPW
1999
Springer
15 years 10 months ago
1999
Springer
Programmers are like most other humans - they prefer to act rather than read. In the context of application frameworks, this means that a programmer is more inclined to “try it ...
180
click to vote
FUZZIEEE
2007
IEEE
16 years 25 days ago
2007
IEEE
— Possibilistic logic is essentially a formalism for handling qualitative uncertainty with an inference machinery that remains close to the one of classical logic. It is capable ...