MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Hyper Tableaux." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 57 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Hyper Tableaux  
  • by Peter Baumgartner, Ulrich Furbach, Ilkka Niemelä — 1996
  • …Hyper Tableaux Peter Baumgartner \Delta Ulrich Furbach \Delta Ilkka Niemela Universitat Koblenz…
  • Cited by 60 (21 self) – Add To MetaCart
  • Hyper Tableaux with Equality  
  • by Peter Baumgartner, Ulrich Furbach, Björn Pelzer — 2007 — Proceedings of the 21st International Conference on Automated Deduction, number 4603 in Lecture Notes in Artificial Intelligence
  • …Hyper Tableaux with Equality Peter Baumgartner 1 , Ulrich Furbach 2 , and Björn Pelzer 2 1 NICTA…
  • Cited by 2 (0 self) – Add To MetaCart
  • Hyper Tableaux - The Next Generation  
  • by Peter Baumgartner, Peter Baumgartner — 1998 — Automated Reasoning with Analytic Tableaux and Related Methods
  • …Hyper Tableaux --- The Next Generation Peter Baumgartner 32/97 Fachberichte INFORMATIK Universit…
  • Cited by 34 (8 self) – Add To MetaCart
  • Hyper Tableaux and Disjunctive Logic Programming  
  • by Peter Baumgartner, Ulrich Furbach, Peter Baumgartner \delta Ulrich Furbach — 1996 — Fachberichte Informatik 13--96, Universitat Koblenz-Landau, Universitat Koblenz-Landau, Institut fur Informatik, Rheinau 1, D-56075
  • …Hyper Tableaux and Disjunctive Logic Programming Peter Baumgartner \Delta Ulrich Furbach…
  • Cited by 1 (1 self) – Add To MetaCart
  • unknown title  
  • by Peter Baumgartner, Ulrich Furbach
  • … with disjunctive logic programs (DLPs). The bottom-up calculus considered, hyper tableaux, is depicted in its…
  • Add To MetaCart
  • Calculi for Disjunctive Logic Programming  
  • by Peter Baumgartner, Ulrich Furbach, Peter Baumgartner \delta Ulrich Furbach — 1996 — In Proc. ILPS '97
  • … logic programming (DLP). The bottom-up calculus, hyper tableaux, is depicted in its ground version…
  • Cited by 5 (1 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB