3776 search results - page 16 / 756 » Partition-Based Logical Reasoning |
140
Voted
TIME
2006
IEEE
16 years 11 days ago
2006
IEEE
147
Voted
TIME
2005
IEEE
15 years 12 months ago
2005
IEEE
148
Voted
CADE
2005
Springer
15 years 12 months ago
2005
Springer
130
Voted
TIME
2003
IEEE
15 years 11 months ago
2003
IEEE
175
Voted
ICTL
1994
15 years 10 months ago
1994
This paper presents a temporal belief logic called