MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Armando Tacchella" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 18 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • *SAT System Description  
  • by Armando Tacchella — 1999 — In Collected Papers from the International Description Logics Workshop 1999, CEUR
  • …*SAT System Description Armando Tacchella DIST, V.le Causa 13, 16145 Genova, Italy Abstract *SAT…
  • Cited by 15 (3 self) – Add To MetaCart
  • More Evaluation of Decision Procedures for Modal Logics  
  • by Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella — 1998 — In Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98
  • … Roberto Sebastiani IRST, 38050 Povo, Trento, Italy Armando Tacchella DIST, V.le Causa 13 16145 Genova…
  • Cited by 21 (14 self) – Add To MetaCart
  • Improvements to SAT-based conformant planning  
  • by Claudio Castellini, Enrico Giunchiglia, Armando Tacchella, O Tacchella — 2001 — In Proc. of 6th European Conference on Planning (ECP-01
  • … , and Armando Tacchella 3 1 Division of Informatics --- Univ. of Edinburgh, 80 South Bridge, Edinburgh EH1 1HN…
  • Cited by 16 (4 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB