1860 search results - page 175 / 372 » A Temporal Logic of Robustness |
79
Voted
IJCAI
2007
15 years 2 months ago
2007
Numerous logics have been developed for reasoning about inconsistency which differ in (i) the logic to which they apply, and (ii) the criteria used to draw inferences. In this pap...
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
—Flash-based FPGAs are increasingly demanded in safety critical fields, in particular space and avionic ones, due to their non-volatile configuration memory. Although they are al...
120
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...
122
click to vote
IANDC
2011
14 years 7 months ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
97
Voted
AI
2003
Springer
15 years 6 months ago
2003
Springer
MAX-SAT, the optimisation variant of the satisfiability problem in propositional logic, is an important and widely studied combinatorial optimisation problem with applications in ...