scientific article; zbMATH DE number 1117897
From MaRDI portal
Publication:4376796
zbMath0887.68102MaRDI QIDQ4376796
Publication date: 11 February 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modellingtestingsemanticsauthoring systemsinterval temporal logicobject representation in multimedia documentstemporal constraints representation
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Information storage and retrieval of data (68P20) Other applications of logic (03B80)
This page was built for publication:
