Labeled @-Calculus: Formalism for Time-Concerned Human Factors

DOI10.1007/11856290_5zbMath1156.68580MaRDI QIDQ5302899

Shigeru Igarashi, Tetsuya Mizutani, Masayuki Shio, Yasuwo Ikeda

Publication date: 15 January 2009

Published in: Artificial Intelligence and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11856290_5

zbMATH Keywords

Labeled \@-calculus; Shigaraki Kougen Railway accident; time-concerned knowledge and belief

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

68T30: Knowledge representation

68T35: Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence