SIGN IN
SIGN UP
On quantitative measurement of negation in logic programming
Full Text:
PDF
Buy this Article
Authors:
Howard C. Wasserman
Department of Computer Science, Queens College (CUNY)
Keitaro Yukawa
Dept. of Computer Science, Queens College, Flushing, NY
Zhizhang Shen
Department of Computer Science, Plymouth State College (USNH)
Published in:
· Proceeding
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
Pages 58-62
ACM
New York, NY
, USA
©1996
table of contents
ISBN:0-89791-820-7
doi>
10.1145/331119.331145
1996 Article
Bibliometrics
· Downloads (6 Weeks): 0
· Downloads (12 Months): 3
· Downloads (cumulative): 128
· Citation Count: 0
Tools and Resources
Buy this Article
Request Permissions
TOC Service:
Email
RSS
Save to Binder
Export Formats:
BibTeX
EndNote
ACM Ref
Share:
|
Tags:
design
least local stratification
logic
logic and constraint programming
logic programming
measurement
negation in logic programming
negativity
performance
quantitative measurement of negation
theory
verification
Feedback
|
Switch to
single page view
(no tabs)
**Javascript is not enabled and is required for the "tabbed view" or switch to the
single page view
**
Powered by
The ACM Guide to Computing Literature
All Tags
Export Formats
Save to Binder