Loop-Detection in Hyper-Tableaux by Powerful Model Generation
暂无分享,去创建一个
[1] Angelika Franzke. GRAL 2.0: A Reference Manual , 1997 .
[2] Luís Moniz Pereira,et al. Prolegomena to Logic Programming for Non-monotonic Reasoning , 1996, NMELP.
[3] Joseph Douglas Horton,et al. Merge Path Improvements for Minimal Model Hyper Tableaux , 1999, TABLEAUX.
[4] Jürgen Ebert,et al. A Generic System to Support Multi-Level Understanding of Heterogeneous Software , 1997 .
[5] Manfred Kamp. Managing a multi-file, multi-language software repository for program comprehension tools: a generic approach , 1998, Proceedings. 6th International Workshop on Program Comprehension. IWPC'98 (Cat. No.98TB100242).
[6] Jürgen Dix,et al. Transformation-based bottom-up computation of the well-founded model , 1996, Theory and Practice of Logic Programming.
[7] Chandrabose Aravindan,et al. A Rational and Efficient Algorithm for View Deletion in Databases , 1997, ILPS.
[8] Jürgen Dix,et al. DisLoP: A Research Project on Disjunctive Logic Programming , 1997, AI Commun..
[9] Jürgen Ebert,et al. The extract-transform-rewrite cycle: a step towards metaCARE , 1998, Proceedings of the Second Euromicro Conference on Software Maintenance and Reengineering.
[10] Wolfgang Albrecht,et al. Integrating Fixed Priority and Static Scheduling to Maintain External Consistency , 1997 .
[11] William McCune,et al. SCOTT: Semantically Constrained Otter System Description , 1994, CADE.