MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Stavros Vassos" – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 2 documents found, showing 1 through 2.
ATOM RSS
  • A Feasible Approach to Disjunctive Knowledge in Situation Calculus  
  • by Stavros Vassos — 2005
  • …In this thesis we present LP, a reinterpretation of situation calculus based on intuitions from many-valued logics. The key difference is that the notion of truth is based on the fact that a term is interpreted into a set of objects rather than one single object and equality is interpreted as “possi…
  • Cited by 3 (1 self)Add To MetaCart
  • The Wumpus World in INDIGOLOG: A Preliminary Report  
  • by Sebastian Sardina, Stavros Vassos — 2005 — In Proc. NRAC-05
  • …This paper describes an implementation of the the Wumpus World [Russell and Norving, 2003] in INDIGOLOG with the objective of showing the applicability of this interleaved agent programming language for modeling agent behavior in realistic domains. We briefly go over the INDIGOLOG architecture, expl…
  • Cited by 7 (2 self)Add To MetaCart
Help! Showing 1 through 2.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB