scientific article
From MaRDI portal
Publication:3791318
zbMath0647.18004MaRDI QIDQ3791318
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Grothendieck categoriesmodal logicknowledge representationreasoningproblem solvingexpert systemsTheorem provingPlanningMachine learningCognitive modellingKnowledge acquisitionnon-monotonic logicvisionlocally projective generatorsRoboticsnon-standard logicsunification grammarsunitary left R-modulesNatural language semantic
This page was built for publication: