Logic programming-Reference-Cited by-同舟云学术

Logic programming

Published:1985-09 Issue:9 Volume:28 Page:933-941
ISSN:0001-0782
Container-title:Communications of the ACM
language:en
Short-container-title:Commun. ACM

Author:

Genesereth Michael R.¹,Ginsberg Matthew L.¹

Affiliation:

1. Stanford Univ., Stanford, CA

Abstract

Logic programming is programming by description. The programmer describes the application area and lets the program choose specific operations. Logic programs are easier to create and enable machines to explain their results and actions.

Publisher

Association for Computing Machinery (ACM)

Subject

General Computer Science

Link

https://dl.acm.org/doi/pdf/10.1145/4284.4287

Reference10 articles.

1. Clocksin. W.F. and Mellish. C.S. Programming in PROLOG. Springer- Verlag. New York. 1981. Clocksin. W.F. and Mellish. C.S. Programming in PROLOG. Springer- Verlag. New York. 1981.

2. The use of design descriptions in automated diagnosis

3. Genesereth. M.R. Greiner. R. and Smith D.E. MRS-A meta-level representation system. HPP-83-27. Heuristic Programming Project. Stanford University Calif. 1983. Genesereth. M.R. Greiner. R. and Smith D.E. MRS-A meta-level representation system. HPP-83-27. Heuristic Programming Project. Stanford University Calif. 1983.

Cited by 58 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. How Well Students Perceive Their Understanding of Logic Programming Course Content?;2023 46th MIPRO ICT and Electronics Convention (MIPRO);2023-05-22

2. Introduction to Logic Programming;Synthesis Lectures on Artificial Intelligence and Machine Learning;2020-02-10

3. Guiding Inference Through Relational Reinforcement Learning;Inductive Logic Programming;2005

4. Knowledge-based automation of a design method for concurrent systems;IEEE Transactions on Software Engineering;2002-03

5. A data/knowledge paradigm for the modeling and design of operations support systems;IEEE Transactions on Knowledge and Data Engineering;1997