Search Results - "Logic programming"

Type Assignment in Logic Programming

Authors: João Luis Alves Barbosa

Subject Terms: Ciências da computação e da informação, Computer and information sciences

File Description: application/pdf

Availability: https://hdl.handle.net/10216/149163

Dynamic Logic Programming

Authors: Alferes, José Júlio Alves Leite, João Alexandre Carvalho Pinheiro Pereira, L.M. et al.

Contributors: Alferes, José Júlio Alves Leite, João Alexandre Carvalho Pinheiro Pereira, L.M. et al.

File Description: application/pdf

Relation: Alferes, J. J. A., Leite, J. A. C. P., Pereira, L. M., Przymusinska, H., & Przymusinski, T. C. (1999). Dynamic Logic Programming. In Declarative Programming (pp. 393-408); PURE: 379348

Availability: http://hdl.handle.net/10362/74884

Teaching logic programming: a review

Authors: Serhiy O. Semerikov Iryna S. Mintii Natalia V. Moiseienko

Source: CTE Workshop Proceedings, Vol 12 (2025)

Subject Terms: logic programming, Datalog, constraint logic programming, Technology, Answer Set Programming, Prolog, computer science education, Education

Access URL: https://doaj.org/article/fe0f681845f34cf5b6ef56e34a666a8d

Declarative probabilistic logic programming in discrete-continuous domains

Authors: Zuidberg dos Martires, Pedro De Raedt, Luc Kimmig, Angelika

Source: Artificial Intelligence. 337

Subject Terms: Probabilistic programming, Declarative semantics, Discrete-continuous distributions, Likelihood weighting, Logic programming, Knowledge compilation, Algebraic model counting

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:oru:diva-116987
https://doi.org/10.1016/j.artint.2024.104227

Introduction to the 41 $^{st}$ International Conference on Logic Programming Special Issue

Authors: MARTIN GEBSER DANIELA INCLEZAN FRANCESCO RICCA

Source: Theory and Practice of Logic Programming. :1-8

The Stable Model Semantics for Higher-Order Logic Programming

Authors: Bogaerts, Bart Charalambidis, Angelos Chatziagapis, Giannos et al.

Contributors: Bogaerts, Bart Charalambidis, Angelos Chatziagapis, Giannos et al.

Source: Theory and Practice of Logic Programming. 24:737-754

Subject Terms: FOS: Computer and information sciences, Technology, Computer Science - Logic in Computer Science, Logic, Computer Science - Artificial Intelligence, LANGUAGE, NP, Computation Theory & Mathematics, Computer Science, Theory & Methods, 0801 Artificial Intelligence and Image Processing, 0802 Computation Theory and Mathematics, stable model semantics, 4613 Theory of computation, approximation fixpoint theory, I.2.3, Science & Technology, Computer Science - Programming Languages, I.2.5, 4602 Artificial intelligence, F.3.2, 0803 Computer Software, Computer Science, Software Engineering, Logic in Computer Science (cs.LO), Artificial Intelligence (cs.AI), Computer Science, Science & Technology - Other Topics, FIXPOINT SEMANTICS, higher-order logic programming, Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/2408.10563
https://lirias.kuleuven.be/handle/20.500.12942/760291
https://doi.org/10.1017/s1471068424000231
https://biblio.vub.ac.be/vubir/the-stable-model-semantics-for-higherorder-logic-programming(8d08ad18-0693-43e9-a548-fc74e59c32fb).html
https://hdl.handle.net/20.500.14017/8d08ad18-0693-43e9-a548-fc74e59c32fb
https://doi.org/10.1017/s1471068424000231

Closed Types for Logic Programming

Authors: João Luís Alves Barbosa

Subject Terms: Ciências exactas e naturais, Natural sciences

File Description: application/pdf

Availability: https://hdl.handle.net/10216/85696

Cut formulae and logic programming

Authors: Pinto, Luís F. Universidade do Minho

Contributors: Pinto, Luís F. Universidade do Minho

Subject Terms: Proof search, Sequent calculus, Cut-rule, Logic programming

File Description: application/postscript; application/pdf

Availability: https://hdl.handle.net/1822/3819

Ethical Decision-Making in Artificial Intelligence: A Logic Programming Approach

Authors: José Machado Regina Sousa Hugo Peixoto et al.

Contributors: José Machado Regina Sousa Hugo Peixoto et al.

Source: AI, Vol 5, Iss 4, Pp 2707-2724 (2024)

Subject Terms: artificial moral ethics, logic programming, computational ethics, moral agents, Electronic computers. Computer science, 0202 electrical engineering, electronic engineering, information engineering, QA75.5-76.95, 06 humanities and the arts, 02 engineering and technology, 0603 philosophy, ethics and religion

File Description: application/pdf

Access URL: https://doaj.org/article/695d593d99d748bbaed948e2e36b7348
https://hdl.handle.net/1822/95200

Multithreaded Tabling for Logic Programming

Authors: Miguel João Gonçalves Areias

Subject Terms: Ciências da computação e da informação, Computer and information sciences

File Description: application/pdf

Availability: https://hdl.handle.net/10216/78840

Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation

Authors: FIEKE HILLERSTRÖM GERTJAN BURGHOUTS DSS - Defence, Safety & Security et al.

Contributors: FIEKE HILLERSTRÖM GERTJAN BURGHOUTS DSS - Defence, Safety & Security et al.

Source: Theory and Practice of Logic Programming, 24(4), pp. 628-643.

Subject Terms: FOS: Computer and information sciences, Computer Science - Machine Learning, Artificial Intelligence (cs.AI), Sensory data, Computer Science - Artificial Intelligence, Probabilistic background knowledge, Inductive logic programming, Neurosymbolic inference, Relational patterns, Machine Learning (cs.LG)

Access URL: http://arxiv.org/abs/2408.11367
https://publications.tno.nl/publication/34643722/h3r4B1wu/TNO-2025-P10140.pdf
https://resolver.tno.nl/uuid:b366fa16-c6b6-46b1-9fb7-c67b83ea456e

A novel object-oriented Petri net framework with logic programming for discrete and continuous event simulations

Authors: Mehmet Fatih Hocaoğlu

Source: SIMULATION. 101:951-979

A Mathematical Conceptualization of Bundle Sets in Defeasible Logic Programming

Authors: Yamil Osvaldo Soto Cristhian Ariel David Deagustini Maria Vanina Martinez et al.

Source: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing. :779-786

Subject Terms: defeasible reasoning, argumentation lines, model-theoretic semantics, structured argumentation, defeasible logic programming

Logic Programming for Orthogonal Graph Drawing on Restricted Grids.

Authors: Strąk, Łukasz Wieczorek, Wojciech Nowakowski, Arkadiusz

Source: Procedia Computer Science. 2025, Vol. 270, p2318-2325. 8p.

Subject Terms: Logic programming, Constraint satisfaction, Graph theory, Grids (Cartography), Planar graphs

Development of software tools for video-EEG monitoring based on the Actor Prolog logic programming system

Authors: Alexei A. Morozov Olga S. Sushkova Irina V. Okuneva et al.

Source: Radioelectronics. Nanosystems. Information Technologies.. 17:383-394

Development of software tools for video-EEG monitoring based on the Actor Prolog logic programming system

Source: Radioelectronics. Nanosystems. Information Technologies.. 17:383-394

Adaptive Environment Generation for Continual Learning: Integrating Constraint Logic Programming With Deep Reinforcement Learning

Authors: Youness Boutyour Abdellah Idrissi

Source: IEEE Transactions on Cognitive and Developmental Systems. 17:540-553

Task-To-Processor Assignment for Real-Time Mixed-Critical Networked Systems Using Inductive Logic Programming

Authors: Gualtieri, Marcus Juette, Christian Dasari, Dakshina et al.

Contributors: Gualtieri, Marcus Juette, Christian Dasari, Dakshina et al.

Subject Terms: Auto-Configuration, Task-to-Processor Mapping, Active Learning, ddc:004, Real-Time Distributed Systems, Inductive Logic Programming

File Description: application/pdf

Access URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2025.14

Multi-Depot Pickup and Delivery Problem Optimization with Constraint Logic Programming

Authors: Allada Smrithi Alimili Varshini Valluru Venkata Sai Bhavitha Reddy et al.

Source: 2025 International Conference on Computational Innovations and Engineering Sustainability (ICCIES). :1-6

Bridging Logic Programming and Deep Learning for Explainability through ILASP

Authors: Dreossi, Talissa

Source: Electronic Proceedings in Theoretical Computer Science. 416:314-323

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Logic in Computer Science (cs.LO)

Access URL: http://arxiv.org/abs/2502.09227