References in zbMATH (referenced in 24 articles )

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

1 2 next

  1. Baumgartner, Peter; Schmidt, Renate A.: Blocking and other enhancements for bottom-up model generation methods (2020)
  2. Nalon, Cláudia; Hustadt, Ullrich; Dixon, Clare: (\mathrmK_\mathrmS\mathrmP) a resolution-based theorem prover for (\mathsfK_n): architecture, refinements, strategies and experiments (2020)
  3. Lagniez, Jean-Marie; Le Berre, Daniel; de Lima, Tiago; Montmirail, Valentin: An assumption-based approach for solving the Minimal S5-Satisfiability problem (2018)
  4. Steen, Alexander; Benzmüller, Christoph: The higher-order prover Leo-III (2018)
  5. Fariñas del Cerro, Luis; Herzig, Andreas; Su, Ezgi Iraz: Capturing equilibrium models in modal logic (2014)
  6. Otten, Jens: MleanCoP: a connection prover for first-order modal logic (2014)
  7. Benzmüller, Christoph; Raths, Thomas: HOL based first-order modal logic provers (2013)
  8. Korovin, Konstantin: Inst-Gen -- a modular approach to instantiation-based automated reasoning (2013)
  9. Schmidt, Renate A.; Hustadt, Ullrich: First-order resolution methods for modal logics (2013)
  10. Benzmüller, Christoph; Otten, Jens; Raths, Thomas: Implementing and evaluating provers for first-order modal logics (2012)
  11. Alechina, Natasha; Dastani, Mehdi; Logan, Brian; Meyer, John-Jules Ch.: Reasoning about plan revision in BDI agent programs (2011)
  12. Rabe, Florian; Kohlhase, Michael; Sacerdoti Coen, Claudio: A foundational view on integration problems (2011)
  13. Baader, Franz; Beckert, Bernhard; Nipkow, Tobias: Deduktion: von der Theorie zur Anwendung (2010) ioport
  14. Schmidt, Renate A.: Simulation and synthesis of deduction calculi (2010)
  15. van Valkenhoef, Gert; van der Vaart, Elske; Verbrugge, Rineke: OOPS: an (S5_n) prover for educational settings (2010) ioport
  16. Abate, Pietro; Goré, Rajeev: The Tableau Workbench (2009)
  17. Rabe, Florian; Pudlák, Petr; Sutcliffe, Geoff; Shen, Weina: Solving the $100 modal logic challenge (2009)
  18. Schmidt, Renate A.: A new methodology for developing deduction methods (2009)
  19. Tsarkov, Dmitry; Horrocks, Ian; Patel-Schneider, Peter F.: Optimizing terminological reasoning for expressive description logics (2007)
  20. Goranko, V.; Montanari, A.; Sala, P.; Sciavicco, G.: A general tableau method for propositional interval temporal logics: theory and implementation (2006)

1 2 next