Výsledky vyhľadávania - "logic programming"

Type Assignment in Logic Programming

Autori: João Luis Alves Barbosa

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

Popis súboru: application/pdf

Dostupnosť: https://hdl.handle.net/10216/149163

Dynamic Logic Programming

Autori: Alferes, José Júlio Alves Leite, João Alexandre Carvalho Pinheiro Pereira, L.M. a ďalší

Prispievatelia: Alferes, José Júlio Alves Leite, João Alexandre Carvalho Pinheiro Pereira, L.M. a ďalší

Popis súboru: 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

Dostupnosť: http://hdl.handle.net/10362/74884

Teaching logic programming: a review

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

Zdroj: CTE Workshop Proceedings, Vol 12 (2025)

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

Prístupová URL adresa: https://doaj.org/article/fe0f681845f34cf5b6ef56e34a666a8d

Declarative probabilistic logic programming in discrete-continuous domains

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

Zdroj: Artificial Intelligence. 337

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

Popis súboru: print

Prístupová URL adresa: 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

Autori: MARTIN GEBSER DANIELA INCLEZAN FRANCESCO RICCA

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

The Stable Model Semantics for Higher-Order Logic Programming

Autori: Bogaerts, Bart Charalambidis, Angelos Chatziagapis, Giannos a ďalší

Prispievatelia: Bogaerts, Bart Charalambidis, Angelos Chatziagapis, Giannos a ďalší

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

Predmety: 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)

Prístupová URL adresa: 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

Autori: João Luís Alves Barbosa

Predmety: Ciências exactas e naturais, Natural sciences

Popis súboru: application/pdf

Dostupnosť: https://hdl.handle.net/10216/85696

Cut formulae and logic programming

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

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

Predmety: Proof search, Sequent calculus, Cut-rule, Logic programming

Popis súboru: application/postscript; application/pdf

Dostupnosť: https://hdl.handle.net/1822/3819

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

Autori: José Machado Regina Sousa Hugo Peixoto a ďalší

Prispievatelia: José Machado Regina Sousa Hugo Peixoto a ďalší

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

Predmety: 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

Popis súboru: application/pdf

Prístupová URL adresa: https://doaj.org/article/695d593d99d748bbaed948e2e36b7348
https://hdl.handle.net/1822/95200

Multithreaded Tabling for Logic Programming

Autori: Miguel João Gonçalves Areias

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

Popis súboru: application/pdf

Dostupnosť: https://hdl.handle.net/10216/78840

Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation

Autori: FIEKE HILLERSTRÖM GERTJAN BURGHOUTS DSS - Defence, Safety & Security a ďalší

Prispievatelia: FIEKE HILLERSTRÖM GERTJAN BURGHOUTS DSS - Defence, Safety & Security a ďalší

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

Predmety: 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)

Prístupová URL adresa: 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

Autori: Mehmet Fatih Hocaoğlu

Zdroj: SIMULATION. 101:951-979

A Mathematical Conceptualization of Bundle Sets in Defeasible Logic Programming

Autori: Yamil Osvaldo Soto Cristhian Ariel David Deagustini Maria Vanina Martinez a ďalší

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

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

Logic Programming for Orthogonal Graph Drawing on Restricted Grids.

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

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

Predmety: 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

Autori: Alexei A. Morozov Olga S. Sushkova Irina V. Okuneva a ďalší

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

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

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

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

Autori: Youness Boutyour Abdellah Idrissi

Zdroj: 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

Autori: Gualtieri, Marcus Juette, Christian Dasari, Dakshina a ďalší

Prispievatelia: Gualtieri, Marcus Juette, Christian Dasari, Dakshina a ďalší

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

Popis súboru: application/pdf

Prístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2025.14

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

Autori: Allada Smrithi Alimili Varshini Valluru Venkata Sai Bhavitha Reddy a ďalší

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

Bridging Logic Programming and Deep Learning for Explainability through ILASP

Autori: Dreossi, Talissa

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

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

Prístupová URL adresa: http://arxiv.org/abs/2502.09227