4573 search results - page 322 / 915 » Automated Reasoning |
155
click to vote
JLP
2008
15 years 6 months ago
2008
In the analysis of security protocols, methods and tools for reasoning about protocol behaviors have been quite effective. We aim to expand the scope of those methods and tools. W...
146
Voted
GIS
2009
ACM
16 years 7 months ago
2009
ACM
Categories and Subject Descriptors General Terms Keywords
161
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
We revisit the correctness criterion for the multiplicative additive fragment of linear logic. We prove that deciding the correctness of corresponding proof structures is NLcomple...
158
click to vote
ICLP
2007
Springer
16 years 27 days ago
2007
Springer
This note provides background information and references to the tutorial on recent research developments in logic programming inspired by need of knowledge representation.