On the expressive limits of reified theories

DOI10.1093/LOGCOM/10.2.297zbMath0952.03014OpenAlexW2083322221MaRDI QIDQ4487261

B. O. Akinkunmi

Publication date: 4 September 2000

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/6f7a7c8b5ebb08206ca434639b18bea1fd99a198

zbMATH Keywords

knowledge representationontologyevent tokensevent types

Mathematics Subject Classification ID

Knowledge representation (68T30) Temporal logic (03B44)

Related Items (1)

Temporal properties of repetitive entities

This page was built for publication: On the expressive limits of reified theories