Search Results - "Logic programming"

The use of logic for machine learning models in sepsis.

Authors: Lavage, Danielle R. Ward, Lauren N. Angus, Derek C. et al.

Source: Intensive Care Medicine Experimental. 6/3/2026, Vol. 14 Issue 1, p1-4. 4p.

A Logic-Guided and Explainable Approach to LLM-Based Unit Test Generation.

Authors: Zeng, Cong Li, Meng Liu, Fei et al.

Source: Applied Sciences (2076-3417); Mar2026, Vol. 16 Issue 5, p2542, 31p

Neurosymbolic Methods in AI.

Authors: Labib Bishara, Merihan Hazem Anwar Bishara, Anriette Michel Fouad

Source: Lecture Notes of Tbilisi International Centre of Mathematics & Informatics. 2026, Vol. 27, p52-62. 12p.

Leveraging IFC-Based Locational Information for Work Package Generation to Support Analysis of Robot-Assisted Construction.

Authors: Wong Chong, Oscar Zhang, Jiansong

Source: Journal of Computing in Civil Engineering. May2026, Vol. 40 Issue 3, p1-20. 20p.

Subjects: Building information modeling, Logic programming, Geographical positions, Construction planning, Industrialized building

Programming Directional Strand Polymerization on DNA Origami for Logic Computing.

Authors: Li, Zimu Hao, Yaya Tang, Yuqing et al.

Source: Small Structures. Oct2025, Vol. 6 Issue 10, p1-11. 11p.

Deductive Systems for Logic Programs with Counting.

Authors: FANDINNO, JORGE LIFSCHITZ, VLADIMIR

Source: Theory & Practice of Logic Programming. Sep2025, Vol. 25 Issue 5, p924-964. 41p.

Inductive Learning for Possibilistic Logic Programs Under Stable Models.

Authors: HU, HONGBO WANG, YISONG HUANG, YI et al.

Source: Theory & Practice of Logic Programming. Sep2025, Vol. 25 Issue 5, p965-1014. 50p.

Impact and Performance of Randomized Test Generation Using Prolog.

Authors: GELDERIE, MARCUS LUFF, MAXIMILIAN PELTZER, MAXIMILIAN

Source: Theory & Practice of Logic Programming. Sep2025, Vol. 25 Issue 5, p867-895. 29p.

Argumentative Characterizations of (Extended) Disjunctive Logic Programs.

Authors: HEYNINCK, JESSE ARIELI, OFER

Source: Theory & Practice of Logic Programming. Sep2025, Vol. 25 Issue 5, p896-923. 28p.

Program Synthesis Using Inductive Logic Programming for the Abstraction and Reasoning Corpus.

Authors: Marinho Rocha, Filipe Dutra, Inês Santos Costa, Vítor et al.

Source: Intelligenza Artificiale. Aug2025, Vol. 19 Issue 2, p85-101. 17p.

ASP-based approaches for solving the nuclear medicine scheduling problem.

Authors: Dodaro, Carmine Galatà, Giuseppe Maratea, Marco et al.

Source: Journal of Logic & Computation. Mar2026, Vol. 36 Issue 2, p1-28. 28p.

Subjects: Scheduling, Logic programming, Medical appointments, Decomposition method, Resource allocation, Problem solving

Fine-tuning LLMs for answer set programming.

Authors: Coppolillo, Erica Calimeri, Francesco Manco, Giuseppe et al.

Source: Journal of Intelligent Information Systems. Apr2026, Vol. 64 Issue 2, p653-685. 33p.

Subjects: Logic programming, Code generators, Language models, Model validation, Machine learning, Constraint programming

Learning answer set programs with aggregates via sampling and genetic programming.

Authors: Azzolini, Damiano¹, damiano.azzolini@unife.it

Source: Machine Learning; Jul2025, Vol. 114 Issue 7, p1-23, 23p

Splitting a Disjunctive Logic Program.

Authors: BEN-ELIYAHU-ZOHARY, RACHEL¹ (AUTHOR) rbz@jce.ac.il

Source: Theory & Practice of Logic Programming. Jul2025, Vol. 25 Issue 4, p507-521. 15p.

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

Authors: GEBSER, MARTIN INCLEZAN, DANIELA RICCA, FRANCESCO

Source: Theory & Practice of Logic Programming. Jul2025, Vol. 25 Issue 4, p394-401. 8p.

Symbolic Rule Extraction From Attention-Guided Sparse Representations in Vision Transformers.

Authors: PADALKAR, PARTH GUPTA, GOPAL

Source: Theory & Practice of Logic Programming. Jul2025, Vol. 25 Issue 4, p722-738. 17p.

On Systematic Construction of Correct Logic Programs.

Authors: DRABENT, WŁODZIMIERZ¹ (AUTHOR) drabent@ipipan.waw.pl

Source: Theory & Practice of Logic Programming. Jul2025, Vol. 25 Issue 4, p631-648. 18p.

The Power of Negation in Higher-Order Datalog.

Authors: CHARALAMBIDIS, ANGELOS KOSTOPOULOS, BABIS NOMIKOS, CHRISTOS et al.

Source: Theory & Practice of Logic Programming. Jul2025, Vol. 25 Issue 4, p595-611. 17p.

Integrating Belief Domains into Probabilistic Logic Programs.

Authors: AZZOLINI, DAMIANO RIGUZZI, FABRIZIO SWIFT, THERESA

Source: Theory & Practice of Logic Programming. Jul2025, Vol. 25 Issue 4, p455-472. 18p.

Hiord $^{{\kern2pt}\sharp}$ : An Approach to the Specification and Verification of Higher-Order (C)LP Programs.

Authors: CICCALÈ, MARCO JURJO-RIVAS, DANIEL MORALES, JOSE F. et al.

Source: Theory & Practice of Logic Programming. Jul2025, Vol. 25 Issue 4, p612-630. 19p.