Sciweavers

327 search results - page 53 / 66
» Semantics for Evidence-Based Argumentation
Sort
View
EACL
1993
ACL Anthology
15 years 1 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»
14 years 11 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»
14 years 11 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
15 years 6 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
15 years 6 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