348 search results - page 36 / 70 » Justification logics and hybrid logics |
134
click to vote
DDECS
2009
IEEE
16 years 26 days ago
2009
IEEE
—Self-timed full adder designs based on commercial synchronous resources (standard cells), constructed using a mix of complete delay-insensitive codes adopted for inputs are desc...
167
click to vote
ICRA
2005
IEEE
15 years 11 months ago
2005
IEEE
— In this paper, we consider the problem of robot motion planning in order to satisfy formulas expressible in temporal logics. Temporal logics naturally express traditional robot...
163
click to vote
FAC
2010
15 years 4 months ago
2010
: © Algebra and logic for access control Matthew Collinson, David Pym HP Laboratories HPL-2008-75R1 Access control, process algebra, bunched Logic; systems modelling The access co...
170
click to vote
ICRA
2007
IEEE
16 years 12 days ago
2007
IEEE
— Given a robot model and a class of admissible environments, this paper provides a framework for automatically and verifiably composing controllers that satisfy high level task...
198
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Markov Logic Networks (MLNs) have emerged as a powerful framework that combines statistical and logical reasoning; they have been applied to many data intensive problems including...