Results 171 to 180 of about 7,084,339 (219)

Logic as Programming

Fundamenta Informaticae, 1992
Starting from a general dynamic analysis of reasoning and programming, we develop two main dynamic perspectives upon logic programming. First, the standard fixed point semantics for Horn clause programs naturally supports imperative programming styles.
openaire   +2 more sources

Composing Open Logic Programs

Journal of Logic and Computation, 1993
Summary: Structuring logic programs to deal with evolving and incomplete knowledge is one of the main issues in representing knowledge with logic. On the one hand, evolving knowledge in logic programming can be modelled through suitable operators for the dynamic composition of separate programs. On the other hand, when dealing with dynamic compositions
BROGI, ANTONIO, E. Lamma, P. Mello
openaire   +3 more sources

Autoepistemic logic programming

Journal of Automated Reasoning, 1993
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +4 more sources

Logic programs as types for logic programs

[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science, 2002
Optimistic type systems for logic programs are considered. In such systems types are conservative approximations to the success set of the program predicates. The use of logic programs to describe types is proposed. It is argued that this approach unifies the denotational and operational approaches to descriptive type systems and is simpler and more ...
T. Fruhwirth, E. Shapiro, M.Y. Vardi, E. Yardeni   +3 more
openaire   +1 more source

Foundations of Logic Programming

Symbolic Computation, 1984
J. Lloyd
semanticscholar   +1 more source

A framework for linguistic logic programming

, 2010
T. Cao, N. Noi
semanticscholar   +1 more source

Inductive Logic Programming

Lecture Notes in Computer Science, 2014
Gerson Zaverucha, V. S. Costa, Aline Paes   +2 more
semanticscholar   +1 more source

Handbook Of Logic In Artificial Intelligence And Logic Programming

, 2016

semanticscholar   +1 more source

Functional Programming

Workshops in Computing, 2020
Olaf Chitil
semanticscholar   +1 more source

Functional Logic Programming: From Theory to Curry

Programming Logics, 2013
M. Hanus
semanticscholar   +1 more source