Results 251 to 260 of about 484,155 (286)

Hybrid Probabilistic Logic Programs as Residuated Logic Programs

Studia Logica, 2000
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Damásio, Carlos Viegas, Pereira, Luís Moniz   +1 more
openaire   +2 more sources

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

Neural probabilistic logic programming in DeepProbLog

Artificial Intelligence, 2021
Robin Manhaeve, Sebastijan Dumancic, Angelika Kimmig   +2 more
exaly  

Inductive logic programming at 30

Machine Learning, 2021
Andrew Cropper, Sebastijan Dumancic, Richard Evans   +2 more
exaly  

Complexity and expressive power of logic programming

ACM Computing Surveys, 2001
Evgeny Dantsin, Thomas Eiter, Georg Gottlob   +2 more
exaly  

The family of concurrent logic programming languages

ACM Computing Surveys, 1989
Ehud Shapiro
exaly  

On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games

Artificial Intelligence, 1995
Phan Minh Dung
exaly