@article{kowalskiAlgorithmLogicControl1979,
  title = {Algorithm = {{Logic}} + {{Control}}},
  author = {Kowalski, Robert},
  date = {1979-07},
  journaltitle = {Commun. ACM},
  volume = {22},
  pages = {424--436},
  issn = {0001-0782},
  doi = {10.1145/359131.359136},
  url = {https://doi.org/10.1145/359131.359136},
  abstract = {An algorithm can be regarded as consisting of a logic component, which specifies the knowledge to be used in solving problems, and a control component, which determines the problem-solving strategies by means of which that knowledge is used. The logic component determines the meaning of the algorithm whereas the control component only affects its efficiency. The efficiency of an algorithm can often be improved by improving the control component without changing the logic of the algorithm. We argue that computer programs would be more often correct and more easily improved and modified if their logic and control aspects were identified and separated in the program text.},
  keywords = {*imported-from-citeulike-INRMM,~INRMM-MiD:c-1812950,epistemology,local-over-complication,logic-programming,logics,precursor-research,semantic-array-programming,semantics},
  number = {7}
}

{"_id":"4r8qvYaJPqrwqjbai","bibbaseid":"kowalski-algorithmlogiccontrol","authorIDs":[],"author_short":["Kowalski, R."],"bibdata":{"bibtype":"article","type":"article","title":"Algorithm = Logic + Control","author":[{"propositions":[],"lastnames":["Kowalski"],"firstnames":["Robert"],"suffixes":[]}],"date":"1979-07","journaltitle":"Commun. ACM","volume":"22","pages":"424–436","issn":"0001-0782","doi":"10.1145/359131.359136","url":"https://doi.org/10.1145/359131.359136","abstract":"An algorithm can be regarded as consisting of a logic component, which specifies the knowledge to be used in solving problems, and a control component, which determines the problem-solving strategies by means of which that knowledge is used. The logic component determines the meaning of the algorithm whereas the control component only affects its efficiency. The efficiency of an algorithm can often be improved by improving the control component without changing the logic of the algorithm. We argue that computer programs would be more often correct and more easily improved and modified if their logic and control aspects were identified and separated in the program text.","keywords":"*imported-from-citeulike-INRMM,~INRMM-MiD:c-1812950,epistemology,local-over-complication,logic-programming,logics,precursor-research,semantic-array-programming,semantics","number":"7","bibtex":"@article{kowalskiAlgorithmLogicControl1979,\n title = {Algorithm = {{Logic}} + {{Control}}},\n author = {Kowalski, Robert},\n date = {1979-07},\n journaltitle = {Commun. ACM},\n volume = {22},\n pages = {424--436},\n issn = {0001-0782},\n doi = {10.1145/359131.359136},\n url = {https://doi.org/10.1145/359131.359136},\n abstract = {An algorithm can be regarded as consisting of a logic component, which specifies the knowledge to be used in solving problems, and a control component, which determines the problem-solving strategies by means of which that knowledge is used. The logic component determines the meaning of the algorithm whereas the control component only affects its efficiency. The efficiency of an algorithm can often be improved by improving the control component without changing the logic of the algorithm. We argue that computer programs would be more often correct and more easily improved and modified if their logic and control aspects were identified and separated in the program text.},\n keywords = {*imported-from-citeulike-INRMM,~INRMM-MiD:c-1812950,epistemology,local-over-complication,logic-programming,logics,precursor-research,semantic-array-programming,semantics},\n number = {7}\n}\n\n","author_short":["Kowalski, R."],"key":"kowalskiAlgorithmLogicControl1979","id":"kowalskiAlgorithmLogicControl1979","bibbaseid":"kowalski-algorithmlogiccontrol","role":"author","urls":{"Paper":"https://doi.org/10.1145/359131.359136"},"keyword":["*imported-from-citeulike-INRMM","~INRMM-MiD:c-1812950","epistemology","local-over-complication","logic-programming","logics","precursor-research","semantic-array-programming","semantics"],"downloads":0},"bibtype":"article","biburl":"https://tmpfiles.org/dl/58794/INRMM.bib","creationDate":"2020-07-02T22:41:11.473Z","downloads":0,"keywords":["*imported-from-citeulike-inrmm","~inrmm-mid:c-1812950","epistemology","local-over-complication","logic-programming","logics","precursor-research","semantic-array-programming","semantics"],"search_terms":["algorithm","logic","control","kowalski"],"title":"Algorithm = Logic + Control","year":null,"dataSources":["DXuKbcZTirdigFKPF"]}