References in zbMATH (referenced in 21 articles , 2 standard articles )

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

1 2 next

  1. Bonacina, Maria Paola; Plaisted, David A.: Semantically-guided goal-sensitive reasoning: inference system and completeness (2017)
  2. Bonacina, Maria Paola; Plaisted, David A.: Semantically-guided goal-sensitive reasoning: model representation (2016)
  3. Plaisted, David A.: History and prospects for first-order automated deduction (2015)
  4. Plaisted, David A.; Miller, Swaha: The relative power of semantics and unification (2013)
  5. Navarro, Juan Antonio; Voronkov, Andrei: Proof systems for effectively propositional logic (2008)
  6. Letz, Reinhold; Stenz, Gernot: The disconnection tableau calculus (2007)
  7. Hustadt, Ullrich; Tishkovsky, Dmitry; Wolter, Frank; Zakharyaschev, Michael: Automated reasoning about metric and topology (2006)
  8. Bonacina, Maria Paola: Towards a unified model of search in theorem-proving: subgoal-reduction strategies (2005)
  9. Miller, Swaha; Plaisted, David A.: The space efficiency of OSHL (2005)
  10. Stenz, Gernot: Unit propagation in a tableau framework (2005)
  11. Plaisted, David A.; Yahya, Adnan: A relevance restriction strategy for automated deduction (2003)
  12. Schmidt, Renate A.; Hustadt, Ullrich: A principle for incorporating axioms into the first-order translation of modal formulae. (2003)
  13. Letz, Reinhold; Stenz, Gernot: Integration of equality reasoning into the disconnection calculus (2002)
  14. Schulz, Stephan; Sutcliffe, Geoff: System description: GrAnDe 1.0 (2002)
  15. Stenz, Gernot: DCTP 1. 2 -- system abstract (2002)
  16. Sutcliffe, G.; Suttner, C. B.; Pelletier, F. J.: The IJCAR ATP system competition (2002)
  17. Yahya, Adnan H.: Duality for goal-driven query processing in disjunctive deductive databases (2002)
  18. Yahya, Adnan; Plaisted, David A.: Ordered semantic hyper tableaux (2002)
  19. Goré, Rajeev (ed.); Leitsch, Alexander (ed.); Nipkow, Tobias (ed.): Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings (2001)
  20. Letz, Reinhold; Stenz, Gernot: Proof and model generation with disconnection tableaux (2001)

1 2 next