Logic inference using formulas with temporal connectives

DOI10.1007/BF01131848zbMATH Open0925.68406MaRDI QIDQ1816331FDOQ1816331

S. E. Bogomolov

Publication date: 16 January 1997

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

zbMATH Keywords

logical inferencedynamic knowledge descriptionHorn's formulas

Mathematics Subject Classification ID

Knowledge representation (68T30)

Cites Work

• Towards a general theory of action and time
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: Logic inference using formulas with temporal connectives

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