1950 search results - page 133 / 390 » Lambda-Free Logical Frameworks |
169
click to vote
IFM
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We present a fixpoint semantics of event systems. The semantics is presented in a general framework without concerns of fairness. Soundness and completeness of rules for...
193
click to vote
SIGMOD
2004
ACM
16 years 4 days ago
2004
ACM
Future business applications will often have more than 2,000 forms and need to target several user interface (UI) technologies including: Web Browsers, Windows® Applications, PDA...
202
click to vote
COMMA
2010
15 years 1 months ago
2010
In this paper we define a recursive semantics for warrant in a general defeasible argumentation framework by formalizing a notion of collective (non-binary) conflict among argumen...
210
click to vote
COMMA
2010
15 years 1 months ago
2010
Abstract. Constrained argumentation frameworks (CAF) generalize Dung's frameworks by allowing additional constraints on arguments to be taken into account in the definition of...
141
click to vote
EUSFLAT
2007
15 years 8 months ago
2007
We propose a general semantic notion of modal many-valued logic. Then, we explore the difficulties to characterize this notation in a syntactic way and analyze the existing litera...