scientific article
From MaRDI portal
Publication:4040538
zbMath0691.68089MaRDI QIDQ4040538
Publication date: 5 June 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Artificial intelligence (68T99)
Related Items (7)
Linear programming based decomposition approach in evaluating priorities from pairwise comparisons and error analysis ⋮ Revision in ACMS ⋮ Representation and compilation of knowledge in point-based temporal system ⋮ Constructing a normal form for Property Theory ⋮ Temporal reasoning over linear discrete time ⋮ Formal frameworks for approximate reasoning ⋮ Compiling bottom-up and mixed derivations into top-down executable logic programs
This page was built for publication:
