3994 search results - page 93 / 799 » A Linear Logical Framework |
111
click to vote
COMMA
2010
14 years 7 months ago
2010
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting arg...
130
Voted
JOLLI
2010
14 years 7 months ago
2010
The aim of this paper, is to provide a logical framework for reasoning about actions, agency, and powers of agents and coalitions in game-like multi-agent systems. First we define ...
114
Voted
TCS
2010
14 years 7 months ago
2010
A text is a word together with an additional linear order on it. We study quantitative models for texts, i.e. text series which assign to texts elements of a semiring. We introduc...
82
Voted
NIPS
2003
15 years 1 months ago
2003
A general linear response method for deriving improved estimates of correlations in the variational Bayes framework is presented. Three applications are given and it is discussed ...
108
click to vote
CSL
2010
Springer
15 years 1 months ago
2010
Springer
d Abstract) Thomas Schwentick and Thomas Zeume TU Dortmund University The finite satisfiability problem for two-variable logic over structures with unary relations and two order re...