Sciweavers

6618 search results - page 205 / 1324
» Natural Logic for Natural Language
Sort
View
KR
2004
Springer
15 years 12 months ago
Expressive Power and Succinctness of Propositional Languages for Preference Representation
Several logical languages have been considered in AI for encoding compactly preference relations over a set of alternatives. In this paper, we analyze both the expressiveness and ...
Sylvie Coste-Marquis, Jérôme Lang, Pa...
SYNTHESE
2008
82views more  SYNTHESE 2008»
15 years 6 months ago
Kripke's paradox and the Church-Turing thesis
Kripke (1982, Wittgenstein on rules and private language. Cambridge, MA: MIT Press) presents a rule-following paradox in terms of what we meant by our past use of "plus",...
Mark D. Sprevak
VL
2007
IEEE
125views Visual Languages» more  VL 2007»
16 years 25 days ago
Visual Reasoning by Generalized Interval-values and Interval Temporal Logic
Interval-valued computation is an unconventional computing paradigm. It is an idealization of classical 16-, 32-, 64- etc. bit based computations. It represents data as specific ...
Benedek Nagy, Sándor Vályi
KR
2010
Springer
15 years 11 months ago
Modelling Combinatorial Auctions in Linear Logic
We show that linear logic can serve as an expressive framework in which to model a rich variety of combinatorial auction mechanisms. Due to its resource-sensitive nature, linear l...
Daniele Porello, Ulle Endriss
LORI
2009
Springer
16 years 1 months ago
First-Order Logic Formalisation of Arrow's Theorem
Arrow’s Theorem is a central result in social choice theory. It states that, under certain natural conditions, it is impossible to aggregate the preferences of a finite set of i...
Umberto Grandi, Ulle Endriss