scientific article
From MaRDI portal
Publication:3495343
zbMath0711.03007MaRDI QIDQ3495343
James M. Crawford, Benjamin J. Kuipers
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
knowledge representationsemanticsinference complexityaccess-limited logiclocal connectivity of the knowledge-base
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Other applications of logic (03B80)
Related Items (3)
Limited reasoning in first-order knowledge bases ⋮ Semantic networks ⋮ Tractable reasoning via approximation
This page was built for publication: