886 search results - page 61 / 178 » Modal logic and invariance |
165
click to vote
RULEML
2009
Springer
16 years 21 days 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...
174
click to vote
VLSISP
2011
15 years 1 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...
165
click to vote
ICIP
2000
IEEE
16 years 7 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...
163
click to vote
JAPLL
2010
15 years 1 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...
197
click to vote
LFCS
2009
Springer
16 years 22 days 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...