scientific article; zbMATH DE number 1536571
From MaRDI portal
Publication:4518440
zbMath0949.68513MaRDI QIDQ4518440
Publication date: 28 November 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Logic programming (68N17) Temporal logic (03B44)
Related Items
MetateM: An introduction ⋮ Connectionist modal logic: representing modalities in neural networks ⋮ Programming in metric temporal logic ⋮ Temporal Equilibrium Logic with past operators ⋮ Multi-dimensional logic programming: theoretical foundations ⋮ Abductive reasoning in neural-symbolic systems ⋮ Semantics of temporal constrained objects ⋮ Temporal disjunctive logic programming ⋮ Multimodal logic programming ⋮ Timed Term Rewrite Systems ⋮ Temporal stratification tests for linear and branching-time deductive databases
This page was built for publication:
