Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- ArticleApril 1992
Communicating control knowledge to a deductive database system
CSC '92: Proceedings of the 1992 ACM annual conference on CommunicationsPages 439–446https://doi.org/10.1145/131214.131269In relational or deductive database systems the user can hardly (or only in a rather implicit way) change the deduction process used for answering a query. For example, the user cannot specify that–for a given query–some rules of a deductive database ...
- ArticleApril 1992
Beyond Turing: a knowledge based model relativistic Cn machine
CSC '92: Proceedings of the 1992 ACM annual conference on CommunicationsPages 91–98https://doi.org/10.1145/131214.131226We extend some Turing notions of computation, from over the integers Z, to computation over complex variables C. Corresponding to scientific problems, we implement knowledge based heuristically developed Prolog databases for visualizing and symbolically ...
- ArticleApril 1992
Automatic program generation using sequent calculus
CSC '92: Proceedings of the 1992 ACM annual conference on CommunicationsPages 73–82https://doi.org/10.1145/131214.131224Program development can be made amenable to formal methods by using a logical framework. A logic specification, whose operational semantics is based on proof theory, provides an abstract and “implementation independent” definition of the problem, the ...
- ArticleApril 1992
Computing prime implicates
CSC '92: Proceedings of the 1992 ACM annual conference on CommunicationsPages 65–72https://doi.org/10.1145/131214.131223This paper surveys three methods for computing the prime implicates of a set of propositions (ie., minimizing a boolean function) and performs a comparison between them. Data is provided which suggests that methods based on resolution can be as ...
