Computational logic is the use of logic to perform or reason about computation. It bears a similar relationship to computer science and engineering as...

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;...

Computational thinking (CT) refers to the thought processes involved in formulating problems so their solutions can be represented as computational steps...

The Institute for Logic, Language and Computation (ILLC) is a research institute of the University of Amsterdam, in which researchers from the Faculty...

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...

Many mathematicians and computational theorists who study recursion theory will refer to it as computability theory. Computational complexity theory considers...

Computational linguistics is an interdisciplinary field concerned with the computational modelling of natural language, as well as the study of appropriate...

Computational mathematics is the study of the interaction between mathematics and calculations done by a computer. A large part of computational mathematics...

mortal(X) ). Horn clauses play a basic role in constructive logic and computational logic. They are important in automated theorem proving by first-order...

Stanford University. Boyer, Robert S.; Moore, J. Strother (2014). A Computational Logic Handbook: Formerly Notes and Reports in Computer Science and Applied...

theorem prover. Miller is most known for his research on topics in computational logic, including proof theory, automated reasoning, and formalized meta-theory...

Combinatory logic is a notation to eliminate the need for quantified variables in mathematical logic. It was introduced by Moses Schönfinkel and Haskell...

problem domain. Computation is performed by applying logical reasoning to that knowledge, to solve problems in the domain. Major logic programming language...

Siddique, N. H.; Adeli, Hojjat (2013). "Computational Intelligence". Computational intelligence: synergies of fuzzy logic, neural networks, and evolutionary...

including the central processing unit, memory, and input/output. Computational logic and computer architecture are key topics in the field of computer...

of B1,...,Bn. CoL formulates computational problems in their most general—interactive—sense. CoL defines a computational problem as a game played by a...

editorships: Journal of Applied Logic, Journal of Logic and Computation, Journal of Applied Artificial Intelligence, and Computational Intelligence. He is a Fellow...

Computing, Imperial College London since 1975, attaining a chair in computational logic in 1982 and becoming emeritus professor in 1999. He began his research...

The European Master's Program in Computational Logic (EMCL) was a two years joint MSc programme offering a joint degree between four European universities...

State Machines Capture Sequential Algorithms, ACM Transactions on Computational Logic, Vol 1, no 1 (July 2000), pp. 77–111. Includes bibliography of 33...

Editor-in-Chief of the ACM Transactions on Computational Logic, and an Editorial Advisor of the journal Theory and Practice of Logic Programming. He, together with...

Computational semiotics is an interdisciplinary field that applies, conducts, and draws on research in logic, mathematics, the theory and practice of computation...

In mathematics and logic, a higher-order logic (abbreviated HOL) is a form of logic that is distinguished from first-order logic by additional quantifiers...

principle, and has close ties to logic, while complexity studies the time, space, and other resources taken by computations. Automata theory and formal language...

Transactions on Computational Logic (ACM TOCL) is a scientific journal that aims to disseminate the latest findings of note in the field of logic in computer...

theory (formerly called recursion theory), modal logic and category theory. The theory of computation is based on concepts defined by logicians and mathematicians...

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...

study of computational geometric algorithms, and such problems are also considered to be part of computational geometry. While modern computational geometry...

(2014), "Computational logic", in Gabbay, Dov M.; Siekmann, Jörg M.; Woods, John (eds.), Handbook of the History of Logic, vol. 9: Computational Logic,...