Artur Garcez (born 1970) is a researcher in the field of computational logic and neural computation, in particular hybrid systems with application in software verification and information extraction.

Reprinted in revised form, with two pages commentary, in: Automation and Reasoning, vol 2, Classical papers on computational logic 1967-1970, Springer Verlag, 1983, pp.

Gabbay and colleagues will develop a logical model of the cognitive processes involved in reasoning in utterance interpretation by relating relevance-theoretic notions to existing concepts in computational logic.

Horn clauses play a basic role in constructive logic and computational logic.

Moreover, Mr. Penrose argues in Part 2 of "Shadows," increasing evidence is unfolding that if human consciousness transcends computational logic, it may well obey different physical laws from the classical ones that govern synaptic action.

Lifschitz's research interests are in the areas of computational logic and knowledge representation.

Secondly, it is unclear how synchrony would come to play a distinct role in terms of local computational logic.

The problem may be merely an integral part of the more general problem of the computational logic used by neurons, or what is often referred to as the 'neural code'.

His conception of design was shaped by rational decision theory and early conceptions of computational logic, hence limited largely to technology-centered design.

He has published more than 250 scientific articles in the areas of computational logic, database theory, and artificial intelligence, and one textbook on logic programming and databases.