Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Computational_logic> ?p ?o }
Showing triples 1 to 42 of
42
with 100 triples per page.
- Computational_logic abstract "Computational logic is the use of logic to perform or reason about computation. It bears a similar relationship to computer science and engineering as mathematical logic bears to mathematics and as philosophical logic bears to philosophy. It is synonymous with "logic in computer science".The term “Computational Logic” came to prominence with the founding of the ACM Transactions on Computational Logic. However, its first use was probably in 1972 when the Metamathematics Unit at the University of Edinburgh was renamed “The Department of Computational Logic” in the School of Artificial Intelligence. The term was then used by Robert S. Boyer and J Strother Moore, who worked in the Department in the early 1970s, to describe their work on program verification and automated reasoning. They also founded a company Computational Logic Inc. of the same name.The term “Computational Logic” has also come to be associated with logic programming, because much of the early work in logic programming in the early 1970s also took place in the Department of Computational Logic in Edinburgh. It was reused in the early 1990s to describe work on extensions of logic programming in the EU Basic Research Project “Compulog” and in the associated Network of Excellence. Krzysztof Apt, who was the co-ordinator of the Basic Research Project Compulog-II, reused and generalized the term when he founded the ACM Transactions on Computational Logic in 2000 and became its first Editor-in-Chief.".
- Computational_logic wikiPageExternalLink www.computationallogic.com.
- Computational_logic wikiPageID "8619255".
- Computational_logic wikiPageLength "2136".
- Computational_logic wikiPageOutDegree "13".
- Computational_logic wikiPageRevisionID "656696021".
- Computational_logic wikiPageWikiLink ACM_Transactions_on_Computational_Logic.
- Computational_logic wikiPageWikiLink Category:Logic_in_computer_science.
- Computational_logic wikiPageWikiLink Computation.
- Computational_logic wikiPageWikiLink Computer_science.
- Computational_logic wikiPageWikiLink J_Strother_Moore.
- Computational_logic wikiPageWikiLink Logic.
- Computational_logic wikiPageWikiLink Logic_in_computer_science.
- Computational_logic wikiPageWikiLink Logic_programming.
- Computational_logic wikiPageWikiLink Mathematical_logic.
- Computational_logic wikiPageWikiLink Mathematics.
- Computational_logic wikiPageWikiLink Philosophical_logic.
- Computational_logic wikiPageWikiLink Philosophy.
- Computational_logic wikiPageWikiLink Robert_S._Boyer.
- Computational_logic wikiPageWikiLinkText "Computational Logic".
- Computational_logic wikiPageWikiLinkText "Computational logic".
- Computational_logic wikiPageWikiLinkText "computational logic".
- Computational_logic wikiPageWikiLinkText "programming logics".
- Computational_logic hasPhotoCollection Computational_logic.
- Computational_logic wikiPageUsesTemplate Template:Cite_book.
- Computational_logic wikiPageUsesTemplate Template:Contradict.
- Computational_logic wikiPageUsesTemplate Template:Distinguish.
- Computational_logic wikiPageUsesTemplate Template:Refimprove.
- Computational_logic wikiPageUsesTemplate Template:Reflist.
- Computational_logic subject Category:Logic_in_computer_science.
- Computational_logic hypernym Use.
- Computational_logic type Article.
- Computational_logic type Article.
- Computational_logic type Thing.
- Computational_logic comment "Computational logic is the use of logic to perform or reason about computation. It bears a similar relationship to computer science and engineering as mathematical logic bears to mathematics and as philosophical logic bears to philosophy. It is synonymous with "logic in computer science".The term “Computational Logic” came to prominence with the founding of the ACM Transactions on Computational Logic.".
- Computational_logic label "Computational logic".
- Computational_logic differentFrom Computability_logic.
- Computational_logic sameAs m.0jwywcy.
- Computational_logic sameAs Q5157327.
- Computational_logic sameAs Q5157327.
- Computational_logic wasDerivedFrom Computational_logic?oldid=656696021.
- Computational_logic isPrimaryTopicOf Computational_logic.