scientific article
zbMath0647.68004MaRDI QIDQ3792212
No author found.
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
ConferenceProceedingsmodal logicFunctional programmingArtificial intelligenceknowledge representationreasoningproblem solvingexpert systemslogic programmingTheorem provingPlanningPrologMachine learningCognitive modellingKnowledge acquisitionnon-monotonic logicvisionRoboticsnon-standard logicsunification grammarsIJCAINatural language semanticcommunicating logic programsforms of parallelismIJCAI-87Milan/Italy
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Natural language processing (68T50) Artificial intelligence (68Txx) Theory of software (68Nxx)
Related Items (2)
This page was built for publication: