A formalization of commonsense reasoning based on fuzzy logic
5th Computers in Aerospace Conference ; 1985 ; Long Beach , CA , U.S.A.
1985-01-01
Conference paper
Electronic Resource
English
Dispositional logic and commonsense reasoning
NTRS | 1988
|Temporal Logic Formalization of Marine Traffic Rules
IEEE | 2021
|TEMPORAL LOGIC FORMALIZATION OF MARINE TRAFFIC RULES
British Library Conference Proceedings | 2021
|