scientific article; zbMATH DE number 192840

zbMATH Open0637.68005MaRDI QIDQ4039734FDOQ4039734

Authors: David Maier, David S. Warren 

Publication date: 5 June 1993

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 851596
• scientific article; zbMATH DE number 946439
• scientific article
• scientific article
• scientific article; zbMATH DE number 3913653

zbMATH Keywords

automatic theorem provingformal semanticslogic programmingPrologproblem-solvingresolution theorem provingimplementation techniques

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) Mechanization of proofs and logical operations (03B35)

Cited In (24)

• Title not available (Why is that?)
• Logic programming and rapid prototyping
• Title not available (Why is that?)
• A Prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation
• The language features and architecture of B-Prolog
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Prolog technology theorem prover: A new exposition and implementation in Prolog
• Reasoning with logic programming
• Translating Pascal for Execution on a Prolog-based System
• The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages
• Logicon: An integration of prolog into icon
• Generating Specialized Rules and Programs for Demand-Driven Analysis
• Hypergraph Horn functions
• Computational complexity and constraint logic programming languages
• Title not available (Why is that?)
• A logic for reasoning with inconsistency
• Title not available (Why is that?)
• Title not available (Why is that?)
• Programming with higher-order logic.
• A Survey of the Proof-Theoretic Foundations of Logic Programming

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4039734)