Blocking and Other Enhancements for Bottom-Up Model Generation Methods-Reference-Cited by-同舟云学术

Blocking and Other Enhancements for Bottom-Up Model Generation Methods

Published:2006 Issue: Volume: Page:125-139
ISSN:0302-9743
Container-title:Automated Reasoning
language:
Short-container-title:

Author:

Baumgartner Peter,Schmidt Renate A.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11814771_11.pdf

Reference26 articles.

1. Baader, F., Sattler, U.: An overview of tableau algorithms for description logics. Studia Logica 69, 5–40 (2001)

2. Baumgartner, P., Fuchs, A., Tinelli, C.: DARWIN, http://goedel.cs.uiowa.edu/Darwin/

3. Lecture Notes in Computer Science;P. Baumgartner,1996

4. Baumgartner, P., Furbach, U., Stolzenburg, F.: Computing answers with model elimination. Artificial Intelligence 90(1–2), 135–176 (1997)

5. Baumgartner, P., Schmidt, R.A.: Blocking and other enhancements for bottom-up model generation methods. Technical report, National ICT Australia, http://www.nicta.com.au/director/research/publications/technical_reports.cfm

Cited by 21 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Range-Restricted and Horn Interpolation through Clausal Tableaux;Lecture Notes in Computer Science;2023

2. Blocking and Other Enhancements for Bottom-Up Model Generation Methods;Journal of Automated Reasoning;2019-03-01

3. Modal Tableau Systems with Blocking and Congruence Closure;Lecture Notes in Computer Science;2015

4. Exploring Theories with a Model-Finding Assistant;Automated Deduction - CADE-25;2015

5. Using tableau to decide description logics with full role negation and identity;ACM Transactions on Computational Logic;2014-02