Knowledge and reasoning in program synthesis

&
Artificial Intelligence 6 (2):175-208 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(75)90008-9

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,532

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

How to change your mind.Joao P. Martins & Maria R. Cravo - 1991 - Noûs 25 (4):537-551.
Reasoning about knowledge.Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Vardi - 2003 - Cambridge, Mass.: MIT Press.
Synthetic Biology and Synthetic Knowledge.Christophe Malaterre - 2013 - Biological Theory (8):346–356.
Computational Dialogic Defeasible Reasoning.Robert L. Causey - 2003 - Argumentation 17 (4):421-450.
Synthesis of Multivariate Postnonclassical Knowledge.Nadezhda Prokhorova - 2008 - Proceedings of the Xxii World Congress of Philosophy 48:117-128.
On program synthesis knowledge.Cordell Green & David Barstow - 1978 - Artificial Intelligence 10 (3):241-279.
Evaluating a legal argument program: The BankXX experiments. [REVIEW]Edwina L. Rissland, David B. Skalak & M. Timur Friedman - 1997 - Artificial Intelligence and Law 5 (1-2):1-74.
Logic Program Synthesis and Transformation: Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993.Yves Deville - 1994 - Springer.
Logic Program Synthesis and Transformation: Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4–5 July 1991.Timothy P. Clement & Kung-Kiu Lau - 1992 - Springer.
Middle-Out Reasoning for Logic Program Synthesis.Ina Kraan, David A. Basin & Alan Bundy - 1993 - Department of Artificial Intelligence, University of Edinburgh.
The practical importance of knowledge (such as it is).Matt Weiner - manuscript
Knowledge structures and knowledge synthesis.Spencer A. Ward - 1983 - In Spencer A. Ward & Linda J. Reed (eds.), Knowledge Structure and Use: Implications for Synthesis and Interpretation. Temple University Press. pp. 21--42.
Knowledge and Practical Reasoning.Igor Douven - 2008 - Dialectica 62 (1):101-118.
Knowledge and practical reasoning.Igor Douven - 2008 - Dialectica 62 (1):101–118.
Knowledge Grounded on Pure Reasoning.Luis Rosa - 2018 - Pacific Philosophical Quarterly 100 (1):156-173.

Analytics

Added to PP
2020-12-22

Downloads
5 (#1,533,089)

6 months
3 (#967,806)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

LAURA, a system to debug student programs.Anne Adam & Jean-Pierre Laurent - 1980 - Artificial Intelligence 15 (1-2):75-122.
Synthetic programming.Nachum Dershowitz - 1985 - Artificial Intelligence 25 (3):323-373.

Add more citations

References found in this work

Add more references