Skip to Main content Skip to Navigation
Conference papers

A Logic for Reasoning about Actions and Explicit Observations

Gavin Rens Ivan Varzinczak 1 Thomas Meyer 2 Alexander Ferrein 
1 CRIL - Centre de Recherche en Informatique de Lens
2 CMC - Chimie de la matière complexe
Document type :
Conference papers
Complete list of metadata
https://hal-univ-artois.archives-ouvertes.fr/hal-03674202
Contributor : Fabien DELORME Connect in order to contact the contributor
Submitted on : Friday, May 20, 2022 - 2:23:43 PM
Last modification on : Saturday, May 21, 2022 - 3:53:44 AM

Identifiers

  • HAL Id : hal-03674202, version 1

Collections

UNIV-ARTOIS | CNRS | INC-CNRS | SITE-ALSACE | CRIL

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

3