Search Results - "Logic programming"

Durum yönelimli mantık programlama: Zamanlı muhakeme ve akıllı simülasyon varlıkları.

Alternate Title: State oriented logic programming: Timed reasoning and intelligent simulation entities.

Authors: Hocaoğlu, Mehmet Fatih¹ mfatih.hocaoglu@medeniyet.edu.tr

Source: Journal of the Faculty of Engineering & Architecture of Gazi University / Gazi Üniversitesi Mühendislik Mimarlık Fakültesi Dergisi,. Jun2026, Vol. 41 Issue 2, p1333-1346. 14p.

Subjects: Finite state machines, Logic programming, Computer programming, Computer simulation, Time delay systems

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.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica.

Authors: SKVORTSOV, EVGENY XIA, YILIN GARG, OJASWA et al.

Source: Theory & Practice of Logic Programming. Mar2026, Vol. 26 Issue 1/2, p283-301. 19p.

Introduction to the 42^nd International Conference on Logic Programming Special Issue.

Authors: GIORDANO, LAURA FABER, WOLFGANG ROCHA, RICARDO et al.

Source: Theory & Practice of Logic Programming. Mar2026, Vol. 26 Issue 1/2, p1-7. 7p.

Logic-Guided Data Extraction with Answer Set Programming and Large Language Models.

Authors: ALVIANO, MARIO GRILLO, LORENZO LEONE, NICOLA et al.

Source: Theory & Practice of Logic Programming. Mar2026, Vol. 26 Issue 1/2, p8-25. 18p.

Event Calculus Meets Hybrid ASP.

Authors: VAŠÍČEK, ONDŘEJ ARIAS, JOAQUÍN FIEDOR, JAN et al.

Source: Theory & Practice of Logic Programming. Mar2026, Vol. 26 Issue 1/2, p302-319. 18p.

Reducing Arbitrary Metric Temporal Formulas into Logic Programs Under Answer Set Semantics.

Authors: DIÉGUEZ, MARTÍN HAHN, SUSANA SCHAUB, TORSTEN et al.

Source: Theory & Practice of Logic Programming. Mar2026, Vol. 26 Issue 1/2, p130-146. 17p.

Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs.

Authors: CHARALAMBIDIS, ANGELOS CHATZIAGAPIS, GIANNOS KOSTOPOULOS, BABIS et al.

Source: Theory & Practice of Logic Programming. Mar2026, Vol. 26 Issue 1/2, p80-94. 15p.

Meta-Programming for Linear-Time Temporal Answer Set Programming.

Authors: HAHN, SUSANA NEMES, AMADÉ ROMERO, JAVIER et al.

Source: Theory & Practice of Logic Programming. Mar2026, Vol. 26 Issue 1/2, p180-196. 17p.

A Datalog Framework for Conflict-Free Replicated Data Types.

Authors: YANAKIEVA, ELENA BIENIUSA, ANNETTE DUMBRAVA, STEFANIA

Source: Theory & Practice of Logic Programming. Mar2026, Vol. 26 Issue 1/2, p320-337. 18p.

Experimental Evaluation of Optimal Abstract Operators for Sharing and Linearity Analysis.

Authors: AMATO, GIANLUCA SCOZZARI, FRANCESCA

Source: Theory & Practice of Logic Programming. Mar2026, Vol. 26 Issue 1/2, p26-45. 20p.

Parametric Modular Answer Set Programs Made Declarative.

Authors: FANDINNO, JORGE LIERLER, YULIYA SCHAUB, TORSTEN

Source: Theory & Practice of Logic Programming. Mar2026, Vol. 26 Issue 1/2, p147-162. 16p.

Long-Term Power Grid Planning via Answer Set Programming.

Authors: IELO, ANTONIO DORIA, FRANCESCO CASTELLANOS-PAEZ, SANDRA et al.

Source: Theory & Practice of Logic Programming. Mar2026, Vol. 26 Issue 1/2, p197-214. 18p.

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.

A Note on Halpern's Theory of Causality: Structural Equations and Interventions as Dynamic Logic Programs.

Authors: Herzig, Andreas Saffidine, Abdallah

Source: Journal of Logic, Language & Information. Jun2026, Vol. 35 Issue 1/2, p187-202. 16p.

Subjects: Structural equation modeling, Logic programming, Causality (Physics), Logic

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.