{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:14:45Z","timestamp":1725455685191},"publisher-location":"Berlin\/Heidelberg","reference-count":7,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540583327"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0021985","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T06:17:26Z","timestamp":1131862646000},"page":"365-378","source":"Crossref","is-referenced-by-count":9,"title":["How to use modalities and sorts in Prolog"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Nonnengart","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"25_CR1","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1093\/logcom\/2.3.247","volume":"2","author":"Y. Auffray","year":"1992","unstructured":"Yves Auffray and Patrice Enjalbert. Modal theorem proving: An equational viewpoint. Journal of Logic and Computation, 2(3):247\u2013295, 1992.","journal-title":"Journal of Logic and Computation"},{"key":"25_CR2","volume-title":"Rapport LSI 293","author":"L. F. Cerro del","year":"1988","unstructured":"Luis Fari\u00f1as del Cerro and Andreas Herzig. Quantified modal logic and unification theory. Rapport LSI 293, Languages et Syst\u00e8mes Informatique, Universit\u00e9 Paul Sabatier, Toulouse, 1988."},{"key":"25_CR3","volume-title":"Technical Report MPI-I-92-228","author":"A. Nonnengart","year":"1992","unstructured":"Andr\u2278s Nonnengart. First-order modal logic theorem proving and standard PROLOG. Technical Report MPI-I-92-228, Max-Planck-Institute for Computer Science, Saarbr\u00fccken, Germany, July 1992."},{"key":"25_CR4","unstructured":"Andreas Nonnengart. First-order modal logic theorem proving and functional simulation. In Ruzena Bajcsy, editor, Proceedings of the 13th IJCAI, volume 1, pages 80\u201385. Morgan Kaufmann Publishers, 1993."},{"key":"25_CR5","series-title":"volume 310 of LNCS","first-page":"500","volume-title":"Proc. of 9 th International Conference on Automated Deduction, CADE-88 Argonne, IL","author":"H. J. Ohlbach","year":"1988","unstructured":"Hans J\u00fcrgen Ohlbach. A resolution calculus for modal logics. In Ewing Lusk and Ross Overbeek, editors, Proc. of 9\nth\nInternational Conference on Automated Deduction, CADE-88 Argonne, IL, volume 310 of LNCS, pages 500\u2013516, Berlin, Heidelberg, New York, 1988. Springer-Verlag, extended version: SEKI Report SR-88-08, FB Informatik, Universit\u00e4t Kaiserslautern, 1988."},{"key":"25_CR6","volume-title":"PhD thesis","author":"H. J. Ohlbach","year":"1989","unstructured":"Hans J\u00fcrgen Ohlbach. A Resolution Calculus for Modal Logics. PhD thesis, University of Kaiserslautern, Germany, 1989."},{"issue":"5","key":"25_CR7","doi-asserted-by":"crossref","first-page":"691","DOI":"10.1093\/logcom\/1.5.691","volume":"1","author":"H. J. Ohlbach","year":"1991","unstructured":"Hans J\u00fcrgen Ohlbach. Semantics-based translation methods for modal logics. Journal of Logic and Computation, 1(5):691\u2013746, 1991.","journal-title":"Journal of Logic and Computation"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0021985.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:47:26Z","timestamp":1607550446000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0021985"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540583327"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/bfb0021985","relation":{},"subject":[]}}