Sciweavers

244 search results - page 10 / 49
» A Way to Interpret Lukasiewicz Logic and Basic Logic
Sort
View
ENTCS
2002
152views more  ENTCS 2002»
13 years 7 months ago
Abstract Logics as Dialgebras
Logics as Dialgebras Alessandra Palmigiano Departament de L`ogica, Hist`oria i Filosofia de la Ci`encia, Universitat de Barcelona The aim of this report is to propose a line of re...
Alessandra Palmigiano
COGSCI
2006
86views more  COGSCI 2006»
13 years 7 months ago
Deferred Interpretations: Why Starting Dickens is Taxing but Reading Dickens Isn't
Comprehenders often need to go beyond conventional word senses to obtain an appropriate interpretation of an expression. We report an experiment examining the processing of standa...
Brian McElree, Steven Frisson, Martin J. Pickering
FORMATS
2006
Springer
13 years 11 months ago
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
Carlo A. Furia, Matteo Rossi
CF
2005
ACM
13 years 9 months ago
Reversible logic for supercomputing
This paper is about making reversible logic a reality for supercomputing. Reversible logic offers a way to exceed certain basic limits on the performance of computers, yet a power...
Erik DeBenedictis
STACS
2010
Springer
14 years 17 days ago
Decidability of the Interval Temporal Logic ABB over the Natural Numbers
In this paper, we focus our attention on the interval temporal logic of the Allen’s relations “meets”, “begins”, and “begun by” (ABB for short), interpreted over natu...
Angelo Montanari, Pietro Sala, Guido Sciavicco