3994 search results - page 176 / 799 » A Linear Logical Framework |
147
click to vote
ICALP
2001
Springer
15 years 9 months ago
2001
Springer
We present a logical framework Υ for reasoning on a very general class of languages featuring binding operators, called nominal , presented in higher-order abstract syntax (HOAS)....
157
Voted
WOA
2003
15 years 6 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...
171
Voted
ENTCS
2002
15 years 4 months ago
2002
In this paper, we develop the notion of fuzzy unification and incorporate it into a novel fuzzy argumentation framework for extended logic programming. We make the following contri...
183
click to vote
IBERAMIA
2010
Springer
15 years 2 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...
145
click to vote
FUZZIEEE
2007
IEEE
15 years 11 months 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 ...