886 search results - page 61 / 178 » Modal logic and invariance |
RULEML
2009
Springer
14 years 4 months ago
2009
Springer
We present the design and implementation of SPINdle – an open source Java based defeasible logic reasoner capable to perform efficient and scalable reasoning on defeasible logic...
VLSISP
2011
13 years 5 months ago
2011
We introduce a novel beamspace processing structure that can be used for narrowband or wideband sources located either in nearfield or farfield of a sensor array. Main features o...
ICIP
2000
IEEE
14 years 11 months ago
2000
IEEE
An algorithm is described for reconstructing images from colour sensor samples, which need not be aligned nor conform to a rectangular sampling geometry. The algorithm has applica...
JAPLL
2010
13 years 5 months ago
2010
We present a decision procedure for hybrid logic equipped with nominals, the satisfaction operator and existential, difference, converse, reflexive, symmetric and transitive modal...
LFCS
2009
Springer
14 years 4 months ago
2009
Springer
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...