References in zbMATH (referenced in 18 articles )

Showing results 1 to 18 of 18.
Sorted by year (citations)

  1. Fariñas del Cerro, Luis; Herzig, Andreas; Su, Ezgi Iraz: Capturing equilibrium models in modal logic (2014)
  2. Otten, Jens: MleanCoP: a connection prover for first-order modal logic (2014)
  3. Benzmüller, Christoph; Raths, Thomas: HOL based first-order modal logic provers (2013)
  4. Korovin, Konstantin: Inst-Gen -- a modular approach to instantiation-based automated reasoning (2013)
  5. Schmidt, Renate A.; Hustadt, Ullrich: First-order resolution methods for modal logics (2013)
  6. Alechina, Natasha; Dastani, Mehdi; Logan, Brian; Meyer, John-Jules Ch.: Reasoning about plan revision in BDI agent programs (2011)
  7. Rabe, Florian; Kohlhase, Michael; Sacerdoti Coen, Claudio: A foundational view on integration problems (2011)
  8. Baader, Franz; Beckert, Bernhard; Nipkow, Tobias: Deduktion: von der Theorie zur Anwendung (2010) ioport
  9. Schmidt, Renate A.: Simulation and synthesis of deduction calculi (2010)
  10. van Valkenhoef, Gert; van der Vaart, Elske; Verbrugge, Rineke: OOPS: an $S5_n$ prover for educational settings (2010) ioport
  11. Abate, Pietro; Goré, Rajeev: The Tableau Workbench (2009)
  12. Rabe, Florian; Pudlák, Petr; Sutcliffe, Geoff; Shen, Weina: Solving the $100 modal logic challenge (2009)
  13. Schmidt, Renate A.: A new methodology for developing deduction methods (2009)
  14. Tsarkov, Dmitry; Horrocks, Ian; Patel-Schneider, Peter F.: Optimizing terminological reasoning for expressive description logics (2007)
  15. Goranko, V.; Montanari, A.; Sala, P.; Sciavicco, G.: A general tableau method for propositional interval temporal logics: theory and implementation (2006)
  16. Pan, Guoqiang; Vardi, Moshe Y.: Optimizing a BDD-based modal solver. (2003)
  17. Dyckhoff, Roy (ed.): Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX 2000, St Andrews, Scotland, GB, July 3--7, 2000. Proceedings (2000)
  18. Hustadt, Ullrich; Schmidt, Renate A.: MSPASS: Modal reasoning by translation and first-order resolution (2000)