DocumentCode

2403387

Title

Characterization of Environment Conditions with Metric Temporal Feature Logic

Author

Nadjm-Tehrani, S. ; Österling, P.

Author_Institution

Department of Computer and Information Science, Linkoping University, Sweden

fYear

1992

fDate

8-10 Jul 1992

Firstpage

267

Lastpage

274

Keywords

Artificial intelligence; Decision making; Formal specifications; Information science; Interleaved codes; Logic; Time factors; Whales;

fLanguage

English

Publisher

ieee

Conference_Titel

AI, Simulation and Planning in High Autonomy Systems, 1992. Integrating Perception, Planning and Action., Proceedings of the Third Annual Conference of

Print_ISBN

0-8186-2675-5

Type

conf

DOI

10.1109/AIHAS.1992.636895

Filename

636895