A Logic for Reasoning about Actions and Explicit Observations - Archive ouverte HAL Access content directly
Conference Papers Year : 2010

A Logic for Reasoning about Actions and Explicit Observations

Gavin Rens
  • Function : Author
Ivan Varzinczak
Thomas Meyer
Alexander Ferrein
  • Function : Author
Not file

Dates and versions

hal-03674202 , version 1 (20-05-2022)

Identifiers

  • HAL Id : hal-03674202 , version 1

Cite

Gavin Rens, Ivan Varzinczak, Thomas Meyer, Alexander Ferrein. A Logic for Reasoning about Actions and Explicit Observations. Australasian Joint Conference on Artificial Intelligence (AI'10), 2010, Sydney, Australia. pp.395-404. ⟨hal-03674202⟩
3 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More