3053 search results - page 300 / 611 » A Logic of Abstract Argumentation |
195
click to vote
CADE
2004
Springer
16 years 7 months ago
2004
Springer
ended abstract motivates and presents techniques for identifying variable independence in free variable calculi for classical logic without equality. Two variables are called indep...
170
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...
152
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
The ability of logic transformations to enhance safety property checking has been well-established, and many industrial-strength verification solutions accordingly rely ariety of...
169
click to vote
ICWE
2009
Springer
16 years 1 months ago
2009
Springer
Model Driven Engineering (MDE) is increasingly gaining acceptance evelopment of Web Applications as a mean to leverage abstraction and render business logic resilient to technologi...
164
click to vote
KI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In recent years there has been a growing demand for Automated Theorem Proving (ATP) in large theories, which often have more axioms than can be handled effectively as no...