This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Computational logic" – news · newspapers · books · scholar · JSTOR(April 2015) (Learn how and when to remove this message)
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 an alternative term for "logic in computer science".
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.
The term “computational logic” came to prominence with the founding of the ACM Transactions on Computational Logic in 2000.[1] However, the term was introduced much earlier, by J.A. Robinson in 1970.[2] The expression is used in the second paragraph with a footnote claiming that "computational logic" is "surely a better phrase than 'theorem proving', for the branch of artificial intelligence which deals with how to make machines do deduction efficiently".
In 1972 the Metamathematics Unit at the University of Edinburgh was renamed “The Department of Computational Logic” in the School of Artificial Intelligence.[3] 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 Computational Logic Inc.
^http://tocl.acm.org official website of ACM Transactions on Computational Logic
^Robinson, J.A. (1970). "Computational Logic: The Unification Computation". In Meltzer, Bernard; Michie, Donald (eds.). Proceedings of the Sixth Annual Machine Intelligence Workshop. Machine Intelligence. Vol. 6. Edinburgh University Press (published 1971). pp. 63–72. ISBN 085224195X.
^http://homepages.inf.ed.ac.uk/bundy/ Professor Alan Bundy's website
and 25 Related for: Computational logic information
Computationallogic is the use of logic to perform or reason about computation. It bears a similar relationship to computer science and engineering as...
Computational thinking (CT) refers to the thought processes involved in formulating problems so their solutions can be represented as computational steps...
Computation tree logic (CTL) is a branching-time logic, meaning that its model of time is a tree-like structure in which the future is not determined;...
Regulation of algorithms Theory of computation Computability theory Computational complexity theory Computational mathematics "Definition of ALGORITHM"...
mortal(X) ). Horn clauses play a basic role in constructive logic and computationallogic. They are important in automated theorem proving by first-order...
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical...
Computational linguistics is an interdisciplinary field concerned with the computational modelling of natural language, as well as the study of appropriate...
theory (formerly called recursion theory), modal logic and category theory. The theory of computation is based on concepts defined by logicians and mathematicians...
foundations of these techniques. In addition to the general computational models, some simpler computational models are useful for special, restricted applications...
Computational mathematics is the study of the interaction between mathematics and calculations done by a computer. A large part of computational mathematics...
problem domain. Computation is performed by applying logical reasoning to that knowledge, to solve problems in the domain. Major logic programming language...
accepted definition of computational intelligence. Generally, computational intelligence is a set of nature-inspired computational methodologies and approaches...
principle, and has close ties to logic, while complexity studies the time, space, and other resources taken by computations. Automata theory and formal language...
study of computational geometric algorithms, and such problems are also considered to be part of computational geometry. While modern computational geometry...
more specifically in computability theory and computational complexity theory, a model of computation is a model which describes how an output of a mathematical...
model of computation, a quantum logic gate (or simply quantum gate) is a basic quantum circuit operating on a small number of qubits. Quantum logic gates...
The European Master's Program in ComputationalLogic (EMCL) was a two years joint MSc programme offering a joint degree between four European universities...
Fair computational tree logic is conventional computational tree logic studied with explicit fairness constraints. This declares conditions such as all...
graphics and computational geometry address the generation of images. Programming language theory considers different ways to describe computational processes...
The history of logic deals with the study of the development of the science of valid inference (logic). Formal logics developed in ancient times in India...
of B1,...,Bn. CoL formulates computational problems in their most general—interactive—sense. CoL defines a computational problem as a game played by a...
Interactive Explainable AI, Professor in ComputationalLogic in the Department of Computing, and head of the ComputationalLogic and Argumentation Group. Her research...
ACL2 (A ComputationalLogic for Applicative Common Lisp) is a software system consisting of a programming language, an extensible theory in a first-order...
Computing, Imperial College London since 1975, attaining a chair in Computationallogic in 1982 and becoming Emeritus Professor in 1999. He began his research...
In the mathematical study of logic and the physical analysis of quantum foundations, quantum logic is a set of rules for manipulation of propositions...