Preview
Unable to display preview. Download preview PDF.
References
Brazier, F.M.T., Dunin-Keplicz, B., Jennings, N.R., Treur, J.: “DESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework”, 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–32
Brazier, F.M.T., Treur, J., Wijngaards, N.J.E., Willems, M.: “Formal Specification of Hierarchically (De)composed Tasks”, 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–25/20
Brewka, G.: “Adding Priorities and Specificity to Default Logic”, 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–260
Cholewinski, P., Marek, V.W., Truszczynski, M.: “Default Reasoning System DeReS”, in: Proceedings 5th International Conference on Principles of Knowledge Representation and Reasoning, KR-96, Morgan Kaufmann, 1996.
Engelfriet, J., Treur, J.: “A Temporal Model Theory for Default Logic”, 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–96
Engelfriet, J., Treur, J.: “Temporal Theories of Reasoning”, 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–299. Also in: Journal of Applied Non-Classical Logics 5(2), 1995, pp. 239–261
Engelfriet, J., Treur, J.: “Specification of Nonmonotonic Reasoning”, 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–125
Engelfriet, J., Treur, J.: “Executable Temporal Logic for Nonmonotonic Reasoning”, to appear in Journal of Symbolic Computation, Special issue on Executable Temporal Logic
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
Gabbay, D.: “The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems”, in: B. Banieqbal, H. Barringer, A. Pnueli (eds.), Temporal Logic in Specification, Lecture Notes in Computer Science 398, Springer-Verlag, pp. 409–448
Langevelde, I.A. van, Philipsen, A.W., Treur, J.: “Formal Specification of Compositional Architectures”, in: B. Neumann (ed.), Proceedings of the 10th European Conference on Artificial Intelligence, ECAI'92, John Wiley & Sons, pp. 272–276
Niemelä, I.,: “Towards Efficient Default Reasoning”, in: Proceedings 14th IJCA1, Morgan Kaufmann, 1995, pp. 312–318
Niemelä, I.,: “Implementing Circumscription Using a Tableau Method”, in: W. Wahlster (ed.), Proceedings 12th European Conference on Artificial Intelligence, ECAI'96, John Wiley & Sons, pp. 80–84
Risch, V., Schwind, C.B.: “Tableau-Based Characterization and Theorem Proving for Default Logic”, Journal of Automated Reasoning 13: 223–242, 1994
Schaub, T., Brüning, S.: “Prolog technology for default reasoning (An abridged report)”, in: W. Wahlster (ed.), Proceedings 12th European Conference on Artificial Intelligence, ECAI'96, John Wiley & Sons, pp. 105–109
Tan, Y.H., Treur, J.: “Constructive Default Logic and the Control of Defeasible Reasoning”, in: B. Neumann (ed.), Proceedings of the 10th European Conference on Artificial Intelligence, ECAI'92, John Wiley & Sons, pp. 299–303
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Engelfriet, J., Treur, J. (1997). A compositional reasoning system for executing nonmonotonic theories of reasoning. In: Gabbay, D.M., Kruse, R., Nonnengart, A., Ohlbach, H.J. (eds) Qualitative and Quantitative Practical Reasoning. FAPR ECSQARU 1997 1997. Lecture Notes in Computer Science, vol 1244. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0035627
Download citation
DOI: https://doi.org/10.1007/BFb0035627
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63095-1
Online ISBN: 978-3-540-69129-7
eBook Packages: Springer Book Archive