Situation calculus as hybrid logic: First steps

Authors
Publication date 2001
Host editors
  • P. Brazdil
  • A. Jorge
Book title Progress in Artificial Intelligence
Series Lecture Notes in Artificial Intelligence, 2258
Pages (from-to) 253-260
Publisher Springer Verlag
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Chapter
Permalink to this page
Back