Sciweavers

327 search results - page 53 / 66
» Semantics for Evidence-Based Argumentation
Sort
View
EACL
1993
ACL Anthology
13 years 9 months ago
Inheriting Verb Alternations
The paper shows how the verbal lexicon can be formalised in a way that captures and exploits generalisations about the alternation behaviour of verb classes. An alternation is a p...
Adam Kilgarriff
SYNTHESE
2008
66views more  SYNTHESE 2008»
13 years 7 months ago
Structural realism and Davidson
Structural realism is an attempt to balance the competing demands of the No Miracles Argument and the Pessimistic Meta-Induction. In this paper I trace the development of the struc...
Jack Ritchie
BSL
2004
100views more  BSL 2004»
13 years 7 months ago
Forcing in proof theory
Paul Cohen's method of forcing, together with Saul Kripke's related semantics for modal and intuitionistic logic, has had profound effects on a number of branches of mat...
Jeremy Avigad
CIE
2009
Springer
14 years 2 months ago
First-Order Universality for Real Programs
J. Raymundo Marcial–Romero and M. H. Escard´o described onal programming language with an abstract data type Real for the real numbers and a non-deterministic operator rtest: Re...
Thomas Anberrée
FUZZIEEE
2007
IEEE
14 years 2 months ago
Monitoring the State of a Ubiquitous Robotic System: A Fuzzy Logic Approach
— A trend is emerging in the fields of ambient intelligence (AmI) and autonomous robotics, which points in the direction of a merger between these two fields. The inclusion of ...
Donatella Guarino, Alessandro Saffiotti