Skip to main content
SpringerLink
Log in
Book cover

International Joint Conference on Qualitative and Quantitative Practical Reasoning

European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty

FAPR 1997, ECSQARU 1997: Qualitative and Quantitative Practical Reasoning pp 252–266Cite as

A compositional reasoning system for executing nonmonotonic theories of reasoning

  • Accepted Papers
  • Conference paper
  • First Online:

  • 139 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1244))

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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

    Google Scholar 

  2. 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

    Google Scholar 

  3. 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

    Google Scholar 

  4. 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.

    Google Scholar 

  5. 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

    Google Scholar 

  6. 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

    Google Scholar 

  7. 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

    Google Scholar 

  8. Engelfriet, J., Treur, J.: “Executable Temporal Logic for Nonmonotonic Reasoning”, to appear in Journal of Symbolic Computation, Special issue on Executable Temporal Logic

    Google Scholar 

  9. 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

    Google Scholar 

  10. 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

    Google Scholar 

  11. 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

    Google Scholar 

  12. Niemelä, I.,: “Towards Efficient Default Reasoning”, in: Proceedings 14th IJCA1, Morgan Kaufmann, 1995, pp. 312–318

    Google Scholar 

  13. 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

    Google Scholar 

  14. Risch, V., Schwind, C.B.: “Tableau-Based Characterization and Theorem Proving for Default Logic”, Journal of Automated Reasoning 13: 223–242, 1994

    Google Scholar 

  15. 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

    Google Scholar 

  16. 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

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Mathematics and Computer Science, Vrije Universiteit Amsterdam, De Boelelaan 1081a, 1081, HV Amsterdam, The Netherlands

    J. Engelfriet & J. Treur

Authors
  1. J. Engelfriet
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. J. Treur
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Dov M. Gabbay Rudolf Kruse Andreas Nonnengart Hans Jürgen Ohlbach

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation