Searching for authors named "Stavros Vassos" – sorted by Relevance.
-
A Feasible Approach to Disjunctive Knowledge in Situation Calculus
- 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
- 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

