Journal Report

THEORY AND PRACTICE OF LOGIC PROGRAMMING

Download PDF
Journal Information
Journal Title
THEORY AND PRACTICE OF LOGIC PROGRAMMING
Publisher
CAMBRIDGE UNIV PRESS
ISSN
1471-0684
E-ISSN
1475-3081
Database
Clarivate
Domain
Physical Sciences, Social Sciences
Classification History
Year A+ A B C
2026 ✓ ✓
2025 ✓ ✓
2024 ✓ ✓
2023 ✓ ✓
2021/2022 ✓ ✓
2020 ✓ ✓
2019 ✓ ✓ ✓
2018 ✓
A journal may have more than one classification in the same year. All recorded classifications are displayed.
Recent Articles
Multi-paradigm Logic Programming in the script upper E <mml:math xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mnf="http://cambridge.org/core/manifest" xmlns:cup="http://contentservices.cambridge.org" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:m="http://cambridge.org/core/metadata" xmlns:core="http://cambridge.org/core" xmlns:c="http://cambridge.org/core/content"> <mml:mrow> <mml:mi mathvariant="script" class="MJX-tex-caligraphic">E</mml:mi> </mml:mrow> </mml:math> $\mathcal{E}$ rgoAI System
MICHAEL KIFER, THERESA SWIFT
2026-10-27 Pages 1-41
DOI: 10.1017/s1471068426100465
Enhanced Filtering Algorithms for the Euclidean Traveling Salesperson Problem and Its Variants In Constraint Logic Programming
ALESSANDRO BERTAGNON, MARCO GAVANELLI
2026-10-2 Pages 1-35
DOI: 10.1017/s1471068426100738
EZSMT Version 3, Matured
KEERAN DHAKAL, YULIYA LIERLER
2026-9-30 Pages 1-41
DOI: 10.1017/s1471068426100726
Set-like Operations on Propositional Logic Programs
CHRISTIAN ANTIĆ
2026-9-29 Pages 1-46
DOI: 10.1017/s1471068426100696
Implementing Metric Temporal Answer Set Programming
SUSANA HAHN, ARVID BECKER, PEDRO CABALAR et al.
2026-9-24 Pages 1-66
DOI: 10.1017/s1471068426100714
Preface to the Special Issue on the 2024 Conference on Logic Programming and Nonmonotonic Reasoning
CARMINE DODARO, MARIA VANINA MARTINEZ
2026-8-10 Pages 1-2
DOI: 10.1017/s1471068426100702
Distilling Answer-Set Programming Rules from LLMs for Neurosymbolic Visual Question Answering
NELSON HIGUERA RUIZ, JOHANNES OETSCH, THOMAS EITER
2026-7-31 Pages 1-35
DOI: 10.1017/s1471068426100684
Strong Equivalence in Answer Set Programming with Constraints
PEDRO CABALAR, JORGE FANDINNO, TORSTEN SCHAUB et al.
2026-7-15 Pages 1-22
DOI: 10.1017/s1471068426100647
Explaining Neural Networks in Preference Learning: A Post Hoc Inductive Logic Programming Approach
DANIELE FOSSEMÒ, FILIPPO MIGNOSI, GIUSEPPE PLACIDI et al.
2026-6-29 Pages 1-49
DOI: 10.1017/s1471068426100441
A Monadic Implementation of Functional Logic Programs
MICHAEL HANUS, KAI-OLIVER PROTT, FINN TEEGEN
2026-6-25 Pages 1-40
DOI: 10.1017/s1471068426100453
Articles retrieved from Crossref.
Green Journals | https://www.green-journals.com | info@green-journals.com
Printed: October 28, 2026 09:31