Search results

Record: oai:ARNO:72633

1 to 1 of 1

1

Authors C. Monz, M. de Rijke Title A resolution calculus for dynamic reasoning Book/source title Logics in artificial intelligence: European workshop, JELIA '98, Dagstuhl, Germany, October 12-15, 1998 : proceedings Authors/Editors J. Dix, L. Fariñas del Cerro, U. Furbach Publisher Springer Place Berlin Year 1998 Pages 184-198 ISBN 3540651411 Faculty Faculty of Science Institute/dept. FNWI: Institute for Logic, Language and Computation (ILLC) Keywords Resolution calculus; Dynamic reasoning Document type Chapter Document finder Use this url to link to this page: http://dare.uva.nl/en/record/72633 Contact us about this recordNotify a colleague Add to bookbag

• Disclaimer/Complaints regulations
  If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the University Library know, stating your reasons. In case of a legitimate complaint the University Libary will make the material inaccessible and/or remove it from the website.
  Please send an e-mail to: dare@uva.nl, or a letter to: Bibliotheek van de Universiteit van Amsterdam, Dept. Electronic Services, UvA-DARE, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.

• UvA-DARE is a service of the Library of the University of Amsterdam and is part of a national and international network of scientific and scholarly information services.