On the expressive limits of reified theories

DOI10.1093/LOGCOM/10.2.297zbMATH Open0952.03014OpenAlexW2083322221MaRDI QIDQ4487261FDOQ4487261

Authors: 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

Recommendations

• scientific article; zbMATH DE number 67867
• scientific article; zbMATH DE number 67509
• Reified temporal logics: An overview
• Resolution theorem proving in reified modal logics
• The token reification approach to temporal reasoning

zbMATH Keywords

ontologyknowledge representationevent tokensevent types

Mathematics Subject Classification ID

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

Cited In (4)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Temporal properties of repetitive entities
• The token reification approach to temporal reasoning

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4487261)