scientific article; zbMATH DE number 192840
From MaRDI portal
Publication:4039734
automatic theorem provingformal semanticslogic programmingPrologproblem-solvingresolution theorem provingimplementation techniques
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
(26)- scientific article; zbMATH DE number 4076677 (Why is no real title available?)
- Logic programming and rapid prototyping
- scientific article; zbMATH DE number 2227400 (Why is no real title available?)
- scientific article; zbMATH DE number 47956 (Why is no real title available?)
- A Prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation
- The language features and architecture of B-Prolog
- scientific article; zbMATH DE number 4016168 (Why is no real title available?)
- scientific article; zbMATH DE number 4101138 (Why is no real title available?)
- scientific article; zbMATH DE number 4094864 (Why is no real title available?)
- A Prolog technology theorem prover: A new exposition and implementation in Prolog
- scientific article; zbMATH DE number 4172365 (Why is no real title available?)
- scientific article; zbMATH DE number 4072431 (Why is no real title available?)
- 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
- Logic programming as a basis for lean automated deduction
- Logicon: An integration of prolog into icon
- Computational complexity and constraint logic programming languages
- Generating Specialized Rules and Programs for Demand-Driven Analysis
- A logic for reasoning with inconsistency
- Hypergraph Horn functions
- scientific article; zbMATH DE number 3940699 (Why is no real title available?)
- scientific article; zbMATH DE number 3874576 (Why is no real title available?)
- scientific article; zbMATH DE number 3954262 (Why is no real title available?)
- 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)
