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
(25)- scientific article; zbMATH DE number 3874576 (Why is no real title available?)
- A logic for reasoning with inconsistency
- scientific article; zbMATH DE number 4076677 (Why is no real title available?)
- Reasoning with logic programming
- Hypergraph Horn functions
- scientific article; zbMATH DE number 47956 (Why is no real title available?)
- scientific article; zbMATH DE number 2227400 (Why is no real title available?)
- scientific article; zbMATH DE number 4016168 (Why is no real title available?)
- scientific article; zbMATH DE number 3954262 (Why is no real title available?)
- scientific article; zbMATH DE number 4072431 (Why is no real title available?)
- Logicon: An integration of prolog into icon
- scientific article; zbMATH DE number 4172365 (Why is no real title available?)
- Programming with higher-order logic.
- A Prolog technology theorem prover: A new exposition and implementation in Prolog
- scientific article; zbMATH DE number 4101138 (Why is no real title available?)
- The language features and architecture of B-Prolog
- A Survey of the Proof-Theoretic Foundations of Logic Programming
- The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages
- Computational complexity and constraint logic programming languages
- scientific article; zbMATH DE number 4094864 (Why is no real title available?)
- scientific article; zbMATH DE number 3940699 (Why is no real title available?)
- Translating Pascal for Execution on a Prolog-based System
- Logic programming and rapid prototyping
- Generating Specialized Rules and Programs for Demand-Driven Analysis
- A Prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation
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)
