Results 31 to 40 of about 484,155 (286)

Optimal Placement of Valves in a Water Distribution Network with CLP(FD)

, 2011
This paper presents a new application of logic programming to a real-life problem in hydraulic engineering. The work is developed as a collaboration of computer scientists and hydraulic engineers, and applies Constraint Logic Programming to solve a hard ...
Alvisi, Stefano, Cattafi, Massimiliano, Franchini, Marco, Gavanelli, Marco, Nonato, Maddalena   +4 more
core   +1 more source

Model Checking Linear Logic Specifications [PDF]

, 2003
The overall goal of this paper is to investigate the theoretical foundations of algorithmic verification techniques for first order linear logic specifications.
Bozzano, M., Delzanno, G., Martelli, M.
core   +1 more source

Towards Ethical Machines Via Logic Programming [PDF]

Electronic Proceedings in Theoretical Computer Science, 2019
Autonomous intelligent agents are playing increasingly important roles in our lives. They contain information about us and start to perform tasks on our behalves.
Abeer Dyoub, Stefania Costantini, Francesca A. Lisi   +2 more
doaj   +1 more source

Mobile Learning Tools to Support in Teaching Programming Logic and Design: A Systematic Literature Review

Informatics in Education, 2023
Learning programming logic remains an obstacle for students from different academic fields. Considered one of the essential disciplines in the field of Science and Technology, it is vital to investigate the new tools or techniques used in the teaching ...
Regina Célia Coelho, Matheus F. P. Marques, Tiago de Oliveira   +2 more
doaj   +1 more source

Abductive Logic Programming

Journal of Logic and Computation, 1992
The paper is a survey and critical overview of recent work on the extension of logic programming to perform abductive reasoning (abductive logic programming). We outline the general framework of abduction and its applications to knowledge assimilation and default reasoning; and we introduce an argumentation-theoretic approach to the use of abduction as
Kakas, Antonis C., Kowalski, R. A., Toni, F., Kakas, Antonis C., Kowalski, R. A., Toni, F.   +5 more
openaire   +4 more sources

Extending Coinductive Logic Programming with Co-Facts [PDF]

Electronic Proceedings in Theoretical Computer Science, 2017
We introduce a generalized logic programming paradigm where programs, consisting of facts and rules with the usual syntax, can be enriched by co-facts, which syntactically resemble facts but have a special meaning.
Davide Ancona, Francesco Dagnino, Elena Zucca   +2 more
doaj   +1 more source

Logic Programming and the INTERNET [PDF]

, 2001
Editorial for Theory and Practice of Logic Programming's special issue on 'Logic Programming and the INTERNET'
Hermenegildo, Manuel V., Naish, Lee, Sterling, Leon   +2 more
core   +2 more sources

Teaching logic programming: a review

CTE Workshop Proceedings
Logic programming constitutes a significant paradigm within computer science, offering a unique approach to programming based on formal logic rather than conventional imperative instructions.
Serhiy O. Semerikov, Iryna S. Mintii, Natalia V. Moiseienko   +2 more
doaj   +1 more source

Logic frameworks for logic programs [PDF]

, 1994
We show how logical frameworks can provide a basis for logic program synthesis. With them, we may use first-order logic as a foundation to formalize and derive rules that constitute program development calculi. Derived rules may be in turn applied to synthesize logic programs using higher-order resolution during proof that programs meet their ...
openaire   +3 more sources

Extensional Semantics for Higher-Order Logic Programs with Negation [PDF]

Logical Methods in Computer Science, 2018
We develop an extensional semantics for higher-order logic programs with negation, generalizing the technique that was introduced in [Bezem99,Bezem01] for positive higher-order programs.
Panos Rondogiannis, Ioanna Symeonidou
doaj   +1 more source