3776 search results - page 7 / 756 » Partition-Based Logical Reasoning |
CADE
2012
Springer
11 years 10 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...
FUZZY
1999
Springer
13 years 12 months ago
1999
Springer
EUSFLAT
2009
13 years 5 months ago
2009
APLAS
2010
ACM
13 years 7 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...
FROCOS
2009
Springer
14 years 2 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...