3776 search results - page 7 / 756 » Partition-Based Logical Reasoning |
139
click to vote
CADE
2012
Springer
13 years 7 months ago
2012
Springer
We introduce a technique to prove non-termination of term rewrite systems automatically. Our technique improves over previous approaches substantially, as it can also detect non-lo...
138
click to vote
APLAS
2010
ACM
15 years 5 months ago
2010
ACM
We describe an approach to using one logic to reason about specifications written in a second logic. One level of logic, called the "reasoning logic", is used to state th...
179
click to vote
FROCOS
2009
Springer
15 years 11 months ago
2009
Springer
Temporal logic of knowledge is a combination of temporal and epistemic logic that has been shown to be very useful in areas such as distributed systems, security, and multi-agent s...