A visual logic

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A visual logic

Full text

Pdf (404 KB)

Source

Symposium on Applied Computing archive
Proceedings of the 1996 ACM symposium on Applied Computing table of contents

Philadelphia, Pennsylvania, United States

Pages: 17 - 21

Year of Publication: 1996

ISBN:0-89791-820-7

Authors

John R. Fisher	Computer Science Department, California State Polytechnic University, Pomona, California
Luu Tran	Computer Science Department, California State Polytechnic University, Pomona, California

Sponsors

SIGBIO: ACM Special Interest Group on Biomedical Computing
SIGADA: ACM Special Interest Group on Ada Programming Language
SIGCUE: ACM Special Interest Group on Computer Uses In Education
SIGICE: ACM Special Interest Group on Individual Computing Environment
SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 6, Citation Count: 0

Additional Information:

references index terms collaborative colleagues peer to peer

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/331119.331130 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Chin-Liang Chang , Richard C. Lee , Richard Char-Tung Lee, Symbolic Logic and Mechanical Theorem Proving, Academic Press, Inc., Orlando, FL, 1997
	2	A. D. Dewar , J. G. Cleary, Graphical display of complex information within a Prolog debugger, International Journal of Man-Machine Studies, v.25 n.5, p.503-521, Nov. 1987 [doi>10.1016/S0020-7373(86)80020-7]
	3	Eisenstadt, M. and Brayshaw, M., Graphical debugging with the Transparent Prolog Machine (TPM), Proc. l Oth International Joint Conf. on Artificial Intelligence (IJCAi-87), 1987.
	4	http://vms4.sci.csupomona.edut~jrfisher/ vl_intro.html.
	5	http://www-vil.cs.indiana.edu/
	6	J. W. Lloyd, Foundations of logic programming; (2nd extended ed.), Springer-Verlag New York, Inc., New York, NY, 1987
	7	A. Rajasekar , J. Lobo , J. Minker, Weak generalized closed world assumption, Journal of Automated Reasoning, v.5 n.3, p.293-307, September 1989 [doi>10.1007/BF00248321]
	8	Tran, L., A Visual Logic, Masters Degree Thesis, California State Polytechnic University, Pomona. In Progress, Summer 1995.
	9	http://www.swi.psy.uva.nl