References in zbMATH (referenced in 14 articles )

Showing results 1 to 14 of 14.
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. Alechina, Natasha; Dastani, Mehdi; Logan, Brian; Meyer, John-Jules Ch.: Reasoning about plan revision in BDI agent programs (2011)
  5. Baader, Franz; Beckert, Bernhard; Nipkow, Tobias: Deduktion: von der Theorie zur Anwendung (2010) ioport
  6. van Valkenhoef, Gert; van der Vaart, Elske; Verbrugge, Rineke: OOPS: an $S5_n$ prover for educational settings (2010) ioport
  7. Abate, Pietro; Goré, Rajeev: The Tableau Workbench (2009)
  8. Rabe, Florian; Pudlák, Petr; Sutcliffe, Geoff; Shen, Weina: Solving the $100 modal logic challenge (2009)
  9. Schmidt, Renate A.: A new methodology for developing deduction methods (2009)
  10. Tsarkov, Dmitry; Horrocks, Ian; Patel-Schneider, Peter F.: Optimizing terminological reasoning for expressive description logics (2007)
  11. Goranko, V.; Montanari, A.; Sala, P.; Sciavicco, G.: A general tableau method for propositional interval temporal logics: theory and implementation (2006)
  12. Pan, Guoqiang; Vardi, Moshe Y.: Optimizing a BDD-based modal solver. (2003)
  13. 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)
  14. Hustadt, Ullrich; Schmidt, Renate A.: MSPASS: Modal reasoning by translation and first-order resolution (2000)