Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/130756| Title: | Automatic theorem proving within the portable AI lab |
| Authors: | Baj, Fabio Rosner, Michael |
| Keywords: | Artificial intelligence Logic Natural language processing (Computer science) Automatic theorem proving |
| Issue Date: | 1992 |
| Citation: | Baj, F., & Rosner, M. (1992, September). Automatic theorem proving within the portable AI lab. Logic Programming in Action : Proceedings of the Second International Logic Programming Summer School, LPSS’92, Zurich, Switzerland. 313-324. |
| Abstract: | The Portable AI Lab is a joint research project concerned with the design and implementation of an integrated environment to support teaching of Artificial Intelligence at University level. The system is made of several modules implementing basic AI techniques in a uniform way. This paper focuses primarily on the module dealing with Automated Theorem Proving (ATP) |
| URI: | https://www.um.edu.mt/library/oar/handle/123456789/130756 |
| Appears in Collections: | Scholarly Works - FacICTAI |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Automatic_theorem_proving_within_the_portable_AI_lab_1992.pdf Restricted Access | 389.87 kB | Adobe PDF | View/Open Request a copy |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.