{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T00:31:12Z","timestamp":1725582672147},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642208317"},{"type":"electronic","value":"9783642208324"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-20832-4_24","type":"book-chapter","created":{"date-parts":[[2011,4,28]],"date-time":"2011-04-28T02:59:49Z","timestamp":1303959589000},"page":"377-397","source":"Crossref","is-referenced-by-count":2,"title":["ASP as a Cognitive Modeling Tool: Short-Term Memory and Long-Term Memory"],"prefix":"10.1007","author":[{"given":"Marcello","family":"Balduccini","sequence":"first","affiliation":[]},{"given":"Sara","family":"Girotto","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"24_CR1","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing\u00a09, 365\u2013385 (1991)","journal-title":"New Generation Computing"},{"key":"24_CR2","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/978-3-642-60085-2_17","volume-title":"The Logic Programming Paradigm: a 25-Year Perspective","author":"V.W. Marek","year":"1999","unstructured":"Marek, V.W., Truszczynski, M.: Stable models and an alternative logic programming paradigm. In: The Logic Programming Paradigm: a 25-Year Perspective, pp. 375\u2013398. Springer, Heidelberg (1999)"},{"key":"24_CR3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge Representation, Reasoning, and Declarative Problem Solving","author":"C. Baral","year":"2003","unstructured":"Baral, C.: Knowledge Representation, Reasoning, and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)"},{"key":"24_CR4","unstructured":"Baral, C., Gelfond, M.: Reasoning about Intended Actions. In: Proceedings of the 20th National Conference on Artificial Intelligence, pp. 689\u2013694 (2005)"},{"key":"24_CR5","unstructured":"Son, T.C., Sakama, C.: Negotiation Using Logic Programming with Consistency Restoring Rules. In: 2009 International Joint Conferences on Artificial Intelligence, IJCAI (2009)"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"McCarley, J.S., Wickens, C.D., Gob, J., Horrey, W.J.: A Computational Model of Attention\/Situation Awareness. In: Proceedings of the 46th Annual Meeting of the Human Factors and Ergonomics Society (2002)","DOI":"10.1177\/154193120204601730"},{"issue":"4-6","key":"24_CR7","doi-asserted-by":"publisher","first-page":"725","DOI":"10.1017\/S1471068410000384","volume":"10","author":"M. Balduccini","year":"2010","unstructured":"Balduccini, M., Girotto, S.: Formalization of Psychological Knowledge in Answer Set Programming and its Application. Journal of Theory and Practice of Logic Programming (TPLP)\u00a010(4-6), 725\u2013740 (2010)","journal-title":"Journal of Theory and Practice of Logic Programming (TPLP)"},{"key":"24_CR8","unstructured":"Formalizing and Compiling Background Knowledge and its Applications to Knowledge Representation and Question Answering. In: AAAI 2006 Spring Symposium Series (2006)"},{"key":"24_CR9","volume-title":"Psychology in Modules","author":"S. Kassin","year":"2006","unstructured":"Kassin, S.: Psychology in Modules. Prentice Hall, Englewood Cliffs (2006)"},{"key":"24_CR10","volume-title":"Psychology: Concepts and Applications","author":"J.S. Nevid","year":"2007","unstructured":"Nevid, J.S.: Psychology: Concepts and Applications, 2nd edn. Houghton Mifflin Company, Boston (2007)","edition":"2"},{"key":"24_CR11","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1007\/978-1-4615-1567-8_21","volume-title":"Logic-Based Artificial Intelligence","author":"I. Niemela","year":"2000","unstructured":"Niemela, I., Simons, P.: Extending the Smodels System with Cardinality and Weight Constraints. In: Logic-Based Artificial Intelligence, pp. 491\u2013521. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"24_CR12","unstructured":"Gelfond, M., Lifschitz, V.: Action Languages. Electronic Transactions on AI 3(16) (1998)"},{"key":"24_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1007\/3-540-45632-5_16","volume-title":"Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II","author":"M. Gelfond","year":"2002","unstructured":"Gelfond, M.: Representing Knowledge in A-Prolog. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol.\u00a02408, pp. 413\u2013451. Springer, Heidelberg (2002)"},{"key":"24_CR14","unstructured":"Balduccini, M., Gelfond, M., Nogueira, M.: A-Prolog as a tool for declarative programming. In: Proceedings of the 12th International Conference on Software Engineering and Knowledge Engineering (SEKE 2000), pp. 63\u201372 (2000)"},{"key":"24_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/978-3-642-04238-6_30","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"J.P. Delgrande","year":"2009","unstructured":"Delgrande, J.P., Grote, T., Hunter, A.: A general approach to the verification of cryptographic protocols using answer set programming. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol.\u00a05753, pp. 355\u2013367. Springer, Heidelberg (2009)"},{"key":"24_CR16","doi-asserted-by":"crossref","unstructured":"Thielscher, M.: Answer Set Programming for Single-Player Games in General Game Playing. In: 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), pp. 327\u2013341 (September 2009)","DOI":"10.1007\/978-3-642-02846-5_28"},{"key":"24_CR17","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1038\/scientificamerican0871-82","volume":"225","author":"R.C. Atkinson","year":"1971","unstructured":"Atkinson, R.C., Shiffrin, R.M.: The Control of Short-Term Memory. Scientific American\u00a0225, 82\u201390 (1971)","journal-title":"Scientific American"},{"key":"24_CR18","volume-title":"The Psychology of Human-Computer Interaction","author":"S.K. Card","year":"1983","unstructured":"Card, S.K., Moran, T.P., Newell, A.: The Psychology of Human-Computer Interaction. L. Erlbaum Associates Inc., Mahwah (1983)"},{"key":"24_CR19","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1037\/h0043158","volume":"63","author":"G.A. Miller","year":"1956","unstructured":"Miller, G.A.: The Magical Number Seven, Plus or Minus Two: Some Limits on Our Capacity for Processing Information. Psychological Review\u00a063, 81\u201397 (1956)","journal-title":"Psychological Review"},{"key":"24_CR20","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1017\/S0140525X01003922","volume":"24","author":"N. Cowan","year":"2000","unstructured":"Cowan, N.: The Magical Number 4 in Short-Term Memory: A Reconsideration of Mental Storage Capacity. Behavioral and Brain Sciences\u00a024, 87\u2013185 (2000)","journal-title":"Behavioral and Brain Sciences"},{"key":"24_CR21","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0004-3702(95)00112-3","volume":"85","author":"R.P. Cooper","year":"1996","unstructured":"Cooper, R.P., Farringdon, J., Fox, J., Shallice, T.: A Systematic Methodology for Cognitive Modelling. Artificial Intelligence\u00a085, 3\u201344 (1996)","journal-title":"Artificial Intelligence"},{"key":"24_CR22","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0004-3702(02)00186-8","volume":"138","author":"V. Lifschitz","year":"2002","unstructured":"Lifschitz, V.: Answer set programming and plan generation. Artificial Intelligence\u00a0138, 39\u201354 (2002)","journal-title":"Artificial Intelligence"},{"issue":"4-5","key":"24_CR23","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1017\/S1471068403001807","volume":"3","author":"M. Balduccini","year":"2003","unstructured":"Balduccini, M., Gelfond, M.: Diagnostic reasoning with A-Prolog. Journal of Theory and Practice of Logic Programming (TPLP)\u00a03(4-5), 425\u2013461 (2003)","journal-title":"Journal of Theory and Practice of Logic Programming (TPLP)"},{"issue":"1-2","key":"24_CR24","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/s10472-006-9026-1","volume":"47","author":"M. Balduccini","year":"2006","unstructured":"Balduccini, M., Gelfond, M., Nogueira, M.: Answer Set Based Design of Knowledge Systems. Annals of Mathematics and Artificial Intelligence\u00a047(1-2), 183\u2013219 (2006)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"24_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(87)90050-6","volume":"33","author":"J.E. Laird","year":"1987","unstructured":"Laird, J.E., Newell, A., Rosenbloom, P.S.: SOAR: An Architecture for General Intelligence. Artificial Intelligence\u00a033, 1\u201364 (1987)","journal-title":"Artificial Intelligence"},{"key":"24_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1007\/11799573_28","volume-title":"Logic Programming","author":"C. Baral","year":"2006","unstructured":"Baral, C., Dzifcak, J., Takahashi, H.: Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming. In: Etalle, S., Truszczy\u0144ski, M. (eds.) ICLP 2006. LNCS, vol.\u00a04079, pp. 376\u2013390. Springer, Heidelberg (2006)"},{"key":"24_CR27","doi-asserted-by":"crossref","first-page":"813","DOI":"10.1613\/jair.2810","volume":"35","author":"T. Janhunen","year":"2009","unstructured":"Janhunen, T., Oikarinen, E., Tompits, H., Woltran, S.: Modularity Aspects of Disjunctive Stable Models. Journal of Artificial Intelligence Research\u00a035, 813\u2013857 (2009)","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"4","key":"24_CR28","doi-asserted-by":"publisher","first-page":"1036","DOI":"10.1037\/0033-295X.111.4.1036","volume":"111","author":"J.R. Anderson","year":"2004","unstructured":"Anderson, J.R., Bothell, D., Byrne, M.D., Douglass, S., Lebiere, C., Qin, Y.: An Integrated Theory of the Mind. Psychological Review\u00a0111(4), 1036\u20131060 (2004)","journal-title":"Psychological Review"},{"key":"24_CR29","unstructured":"Halverson, T., Gunzelmann, G., Moore Jr., L.R., Dongen, H.V.: Modeling the Effects of Work Shift on Learning in Mental Orientation and Rotation Task. In: 10th International Conference on Cognitive Modeling (ICCM 2010) (August 2010)"},{"key":"24_CR30","unstructured":"Chintabathina, S., Gelfond, M., Watson, R.: Modeling Hybrid Domains Using Process Description Language. In: Proceedings of ASP 2005 \u2013 Answer Set Programming: Advances in Theory and Implementation, pp. 303\u2013317 (2005)"},{"key":"24_CR31","unstructured":"Lee, J., Lifschitz, V.: Additive Fluents. In: Provetti, A., Son, T.C. (eds.) Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning. AAAI 2001 Spring Symposium Series (March 2001)"},{"key":"24_CR32","unstructured":"Balduccini, M., Gelfond, M.: The AAA Architecture: An Overview. In: AAAI Spring Symposium 2008 on Architectures for Intelligent Theory-Based Agents, AITA 2008 (March 2008)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20832-4_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T05:20:57Z","timestamp":1558588857000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20832-4_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642208317","9783642208324"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20832-4_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}