2649 search results - page 29 / 530 » Temporal Theories of Reasoning |
142
Voted
TIME
1997
IEEE
15 years 8 months ago
1997
IEEE
109
Voted
GIS
1998
ACM
15 years 8 months ago
1998
ACM
83
Voted
DLOG
2010
15 years 2 months ago
2010
142
click to vote
ECSQARU
2007
Springer
15 years 10 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...
172
click to vote
CADE
2007
Springer
16 years 4 months 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...