{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T15:05:25Z","timestamp":1747580725456},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540630951"},{"type":"electronic","value":"9783540691297"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0035627","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T15:29:25Z","timestamp":1138202965000},"page":"252-266","source":"Crossref","is-referenced-by-count":1,"title":["A compositional reasoning system for executing nonmonotonic theories of reasoning"],"prefix":"10.1007","author":[{"given":"J.","family":"Engelfriet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Treur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,25]]},"reference":[{"key":"20_CR1","unstructured":"Brazier, F.M.T., Dunin-Keplicz, B., Jennings, N.R., Treur, J.: \u201cDESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework\u201d, International Journal of Cooperative Information Systems 6 (1997), Special Issue on Formal Methods in Cooperative Information Systems: Multi-Agent Systems (M. Huhns, M. Singh, eds.), in press. Shorter version in: V. Lesser (ed.), Proc. of the First International Conference on Multi-Agent Systems, ICMAS-95, MIT Press, 1995, pp. 25\u201332"},{"key":"20_CR2","unstructured":"Brazier, F.M.T., Treur, J., Wijngaards, N.J.E., Willems, M.: \u201cFormal Specification of Hierarchically (De)composed Tasks\u201d, in: B.R. Gaines, M.A. Musen (eds.), Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, KAW'95, SRDG Publications, 1995, pp. 25\/1\u201325\/20"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Brewka, G.: \u201cAdding Priorities and Specificity to Default Logic\u201d, in: C. MacNish, D. Pearce, L.M. Pereira (eds.), Logics in Artificial Intelligence, Proceedings of the 4th European Workshop on Logics in Artificial Intelligence, JELIA '94, Lecture Notes in Artificial Intelligence 838, Springer-Verlag, 1994, pp. 247\u2013260","DOI":"10.1007\/BFb0021977"},{"key":"20_CR4","unstructured":"Cholewinski, P., Marek, V.W., Truszczynski, M.: \u201cDefault Reasoning System DeReS\u201d, in: Proceedings 5th International Conference on Principles of Knowledge Representation and Reasoning, KR-96, Morgan Kaufmann, 1996."},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Engelfriet, J., Treur, J.: \u201cA Temporal Model Theory for Default Logic\u201d, in: M. Clarke, R. Kruse, S. Moral (eds.), Proceedings 2nd European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU '93, Lecture Notes in Computer Science 747, Springer-Verlag, 1993, pp. 91\u201396","DOI":"10.1007\/BFb0028187"},{"key":"20_CR6","unstructured":"Engelfriet, J., Treur, J.: \u201cTemporal Theories of Reasoning\u201d, in: C. MacNish, D. Pearce, L.M. Pereira (eds.), Logics in Artificial Intelligence, Proceedings of the 4th European Workshop on Logics in Artificial Intelligence, JELIA '94, Lecture Notes in Artificial Intelligence 838, Springer-Verlag, 1994, pp. 279\u2013299. Also in: Journal of Applied Non-Classical Logics 5(2), 1995, pp. 239\u2013261"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Engelfriet, J., Treur, J.: \u201cSpecification of Nonmonotonic Reasoning\u201d, in: D.M. Gabbay, H.J. Ohlbach (eds.), Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR'96, Lecture Notes in Artificial Intelligence 1085, Springer-Verlag, 1996, pp. 111\u2013125","DOI":"10.1007\/3-540-61313-7_67"},{"key":"20_CR8","unstructured":"Engelfriet, J., Treur, J.: \u201cExecutable Temporal Logic for Nonmonotonic Reasoning\u201d, to appear in Journal of Symbolic Computation, Special issue on Executable Temporal Logic"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"Fisher, M., Owens, R. (eds.): Executable Modal and Temporal Logics, Proceedings of the IJCAI'93 workshop, Lecture Notes in Artificial Intelligence 897, Springer-Verlag, 1995","DOI":"10.1007\/3-540-58976-7"},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"Gabbay, D.: \u201cThe Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems\u201d, in: B. Banieqbal, H. Barringer, A. Pnueli (eds.), Temporal Logic in Specification, Lecture Notes in Computer Science 398, Springer-Verlag, pp. 409\u2013448","DOI":"10.1007\/3-540-51803-7_36"},{"key":"20_CR11","unstructured":"Langevelde, I.A. van, Philipsen, A.W., Treur, J.: \u201cFormal Specification of Compositional Architectures\u201d, in: B. Neumann (ed.), Proceedings of the 10th European Conference on Artificial Intelligence, ECAI'92, John Wiley & Sons, pp. 272\u2013276"},{"key":"20_CR12","unstructured":"Niemel\u00e4, I.,: \u201cTowards Efficient Default Reasoning\u201d, in: Proceedings 14th IJCA1, Morgan Kaufmann, 1995, pp. 312\u2013318"},{"key":"20_CR13","unstructured":"Niemel\u00e4, I.,: \u201cImplementing Circumscription Using a Tableau Method\u201d, in: W. Wahlster (ed.), Proceedings 12th European Conference on Artificial Intelligence, ECAI'96, John Wiley & Sons, pp. 80\u201384"},{"key":"20_CR14","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/BF00881957","volume":"13","author":"V. Risch","year":"1994","unstructured":"Risch, V., Schwind, C.B.: \u201cTableau-Based Characterization and Theorem Proving for Default Logic\u201d, Journal of Automated Reasoning 13: 223\u2013242, 1994","journal-title":"Journal of Automated Reasoning"},{"key":"20_CR15","unstructured":"Schaub, T., Br\u00fcning, S.: \u201cProlog technology for default reasoning (An abridged report)\u201d, in: W. Wahlster (ed.), Proceedings 12th European Conference on Artificial Intelligence, ECAI'96, John Wiley & Sons, pp. 105\u2013109"},{"key":"20_CR16","unstructured":"Tan, Y.H., Treur, J.: \u201cConstructive Default Logic and the Control of Defeasible Reasoning\u201d, in: B. Neumann (ed.), Proceedings of the 10th European Conference on Artificial Intelligence, ECAI'92, John Wiley & Sons, pp. 299\u2013303"}],"container-title":["Lecture Notes in Computer Science","Qualitative and Quantitative Practical Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0035627","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T14:40:51Z","timestamp":1555425651000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0035627"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630951","9783540691297"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0035627","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}