Formalization of psychological knowledge in answer set programming and its application

DOI10.1017/S1471068410000384zbMath1209.68130arXiv1007.4767OpenAlexW2143097840MaRDI QIDQ3585182

Marcello Balduccini, Sara Girotto

Publication date: 19 August 2010

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1007.4767

zbMATH Keywords

psychologyanswer set programmingshort-term memoryreasoning about actions and change

Mathematics Subject Classification ID

Knowledge representation (68T30) Theory of software (68N99)

Related Items (2)

An application of answer set programming to the field of second language acquisition ⋮ Answering the “why” in answer set programming – A survey of explanation approaches

Uses Software

• Smodels

This page was built for publication: Formalization of psychological knowledge in answer set programming and its application