Assertion-time inference in logic-based systems.

Authors

Bernie Elfrink
Han ReichgeltFollow

SelectedWorks Author Profiles:

Han Reichgelt

Document Type

Article

Publication Date

1989

ISBN

026210038X

Comments

Citation only. Includes bibliographical references and index. For full access, check out the book through the USF St. Petersburg Library (QA76.76.E95J34 1989), request it on interlibrary loan, or order it through a book dealer.

Language

en_US

Publisher

MIT Press

Recommended Citation

Elfrink, B. & Reichgelt, H. (1989). Assertion-time inference in logic-based systems. In P. Jackson, H. Reichgelt, & F. van Harmelen, Logic-based knowledge representation. (pp: 113-141). Cambridge, MA: MIT Press.

Creative Commons License

This work is licensed under a Creative Commons Attribution-Noncommercial-No Derivative Works 4.0 License.