2649 search results - page 225 / 530 » Temporal Theories of Reasoning |
179
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
Abstract--The paper presents a form of rendering classical mathematical notions by formal theories over suitable t-norm fuzzy logics in such a way that references to real numbers a...
212
click to vote
DM
2011
14 years 10 months ago
2011
A relational first order structure is homogeneous if it is countable (possibly finite) and every isomorphism between finite substructures extends to an automorphism. This artic...
182
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Hybrid Scheduling Problems (HSPs) combine temporal and finite-domain variables via hybrid constraints that dictate that specific bounds on temporal constraints rely on assignments...
166
click to vote
AINA
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper makes two contributions towards the logical modelling of inhibition in metabolic networks. First it exposes the logical inconsistency of an existing state-of-the-art ...
163
click to vote
ECSQARU
2005
Springer
16 years 7 days ago
2005
Springer
In this paper, we investigate consonant random sets from the point of view of lattice theory. We introduce a new definition of consonancy and study its relationship with possibili...