MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named Sasa Buvac – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 9 documents found, showing 1 through 9.
ATOM RSS
  • : Logics  
  • by Sasa Buvac — 1999
  • …: LOGICS Thesis Draft Sasa Buvac Computer Science Department Stanford University Stanford, CA 94305…
  • Cited by 3 (2 self) – Add To MetaCart
  • Metamathematics Of Contexts  
  • by Sasa Buvac, Vanja Buvac, Ian A. Mason — Fundamenta Informaticae
  • …METAMATHEMATICS OF CONTEXTS Sasa Buvac Computer Science Department Stanford University Stanford…
  • Cited by 28 (1 self) – Add To MetaCart
  • Combining Planning Contexts  
  • by Sasa Buvac, John McCarthy — 1996 — Advanced Planning Technology--Technological Achievements of the ARPA/Rome Laboratory Planning Initiative
  • …Combining Planning Contexts Sasa Buvac and John McCarthy Computer Science Department Stanford…
  • Cited by 2 (0 self) – Add To MetaCart
  • Propositional Logic of Context  
  • by Sasa Buvac , Ian A. Mason — 1993 — IN PROCEEDINGS OF THE ELEVENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE
  • …Propositional Logic of Context Sasa Buvac & Ian A. Mason Computer Science Department Stanford…
  • Cited by 91 (6 self) – Add To MetaCart
  • Formalizing Context (Expanded Notes)  
  • by John McCarthy, Sasa Buvac, Tom Costello, Richard Fikes, Mike Genesereth, Fausto Giunchiglia — 1995
  • …this article was going through many versions as the ideas developed, and the mutual influences cannot be specified. This work was partly supported by DARPA contract NAG2-703 and ARPA/ONR grant N00014-94-1-0775…
  • Cited by 77 (5 self) – Add To MetaCart
Help! Showing 1 through 9.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB