2649 search results - page 29 / 530 » Temporal Theories of Reasoning |
TIME
1997
IEEE
15 years 4 months ago
1997
IEEE
GIS
1998
ACM
15 years 3 months ago
1998
ACM
DLOG
2010
14 years 9 months ago
2010
ECSQARU
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The Transferable Belief Model (TBM) relies on belief functions and enables one to represent and combine a variety of knowledge from certain up to ignorance as well as con...
131
click to vote
CADE
2007
Springer
16 years 3 days ago
2007
Springer
Manna and Pnueli have extensively shown how a mixture of first-order logic (FOL) and discrete Linear time Temporal Logic (LTL) is sufficient to precisely state verification problem...