会议论文详细信息
| 2nd International Joint Conference on Automated Reasoning | |
| A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards | |
| Yevgeny Kazakov | |
| Others : http://CEUR-WS.org/Vol-106/06-kazakov.pdf | |
| 来源: CEUR | |
 PDF
|
|
【 摘 要 】
We show how well-known refinements of ordered resolution,in particular redundancy elimination and ordering constraints in combi- nation with a selection function, can be used to obtain a decision pro- cedure for the guarded fragment with transitive guards. Another contri- bution of the paper is a special scheme notation, that allows to describe
【 预 览 】
| Files | Size | Format | View |
|---|---|---|---|
| A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards | 124KB |  download |
878987797
028-85220240
