MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Tableaux and Related Methods." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 37 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • A Tableau Calculus for Pronoun Resolution  
  • by Christof Monz And, Christof Monz, Maarten De Rijke — 1999 — Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX'99, LNAI
  • …, Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX'99), Lecture Notes in Artificial…
  • Add To MetaCart
  • Theorem Proving in Higher Order Logics  
  • by David Basin, Burkhart Wolff (eds.), Eth Zentrum, Burkhart Wolff, Universität Freiburg — 2003
  • …-located with TABLEAUX, the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods…
  • Add To MetaCart
  • Tableaux Methods for Access Control in Distributed Systems  
  • by Fabio Massacci — 1997 — Proceedings of the International Conference on Analytic Tableaux and Related Methods (TABLEAUX-97), volume 1227 of Lecture Notes In Artificial Intelligence
  • … and Related Methods (TABLEAUX-97). To appear in Lecture Notes in Artificial Intelligence, c fl Springer Verlag…
  • Cited by 3 (3 self) – Add To MetaCart
  • Publication List 2000  
  • by DbAI Group TU-Wien, Complexity Results Eigenvector, Yuri Gurevich, Georg Gottlob Existential Second-order, Thomas Eiter, Thomas Eiter, Thomas Eiter, On Complexity, Theory Curbing, Georg Gottlob, Georg Gottlob, Georg Gottlob, Nicola Leone, Nicola Leone, Simona Perri, Paola Mello — 2000
  • … and Related Methods (TABLEAUX 2000), volume 1847 of LNCS, pages 112-126. Springer, 2000. [7] Edmund Clarke…
  • Add To MetaCart
  • Sistemistica, Università di Roma “La Sapienza”, 2003.  
  • by Diego Calvanese, G. De Giacomo (days, D. Calvanese, D. Mcguinness, D. Nardi, Peter F. Patel-schneider, D. Berardi, A. Calì, D. Calvanese, G. De, Giacomo Reasoning Uml, G. Saake, Logics For Databases
  • …th Int. Conf. on Analytic Tableaux and Related Methods (TABLEAUX 2000), volume 1847 of LNCS, pages 1…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB