logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
BackJournal Details
T

Theory and Practice of Logic Programming

IF1.1
Papers24
Citations684
Journal Papers 24
Publication Date
delete
Human Emotion Verification by Action Languages via Answer Set Programming
deleteTheory and Practice of Logic Programming
IF1.1
delete2026-05-01
delete0
deleteOAAI
deleteBrannstrom, Andreas; Nieves, Juan Carlos
deleteShare
deleteSave
$\{log\}$: From a Constraint Logic Programming Language to a Formal Verification Tool
deleteTheory and Practice of Logic Programming
IF1.1
delete2026-04-01
delete0
PREAI
deleteCristia, Maximiliano; Capozucca, Alfredo; Rossi, Gianfranco
deleteShare
deleteSave
Towards Industrial-Scale Product Configuration
deleteTheory and Practice of Logic Programming
IF1.1
delete2026-04-01
delete0
PREAI
deleteBaumeister, Joachim; Hahn, Susana; Herud, Konstantin; Ostrowski, Max; Reutelshofer, Jochen; Ruhling, Nicolas; Schaub, Torsten; Wanko, Philipp
deleteShare
deleteSave
Towards Mass Spectrum Analysis with ASP
deleteTheory and Practice of Logic Programming
IF1.1
delete2026-02-01
delete0
deleteOAAI
deleteKuchenmeister, Nils; Ivliev, Alex; Krotzsch, Markus
deleteShare
deleteSave
Deductive Systems for Logic Programs with Counting
deleteTheory and Practice of Logic Programming
IF1.1
delete2026-01-01
delete0
PREAI
deleteFandinno, Jorge; Lifschitz, Vladimir
deleteShare
deleteSave
Autonomous Agents and Policy Compliance: A Framework for Reasoning About Penalties
deleteTheory and Practice of Logic Programming
IF1.1
delete2026-01-01
delete0
PREAI
deleteTummala, Vineel; Inclezan, Daniela
deleteShare
deleteSave
A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory
deleteTHEORY AND PRACTICE OF LOGIC PROGRAMMING
IF1.1
delete2025-12-01
delete0
deleteOAAI
deletePollaci, Samuele; Kostopoulos, Babis; Denecker, Marc; Bogaerts, Bart
deleteShare
deleteSave
Inductive Learning for Possibilistic Logic Programs Under Stable Models
deleteTheory and Practice of Logic Programming
IF1.1
delete2025-12-01
delete0
deleteOAAI
deleteHu, Hongbo; Wang, Yisong; Huang, Yi; Wang, Kewen
deleteShare
deleteSave
Question Answering with LLMs and Learning from Answer Sets
deleteTHEORY AND PRACTICE OF LOGIC PROGRAMMING
IF1.1
delete2025-11-01
delete0
PREAI
deleteSantana, Manuel Alejandro Borroto; Gallagher, Katie; Ielo, Antonio; Kareem, Irfan; Ricca, Francesco; Russo, Alessandra
deleteShare
deleteSave
Splitting a Disjunctive Logic Program
deleteTHEORY AND PRACTICE OF LOGIC PROGRAMMING
IF1.1
delete2025-10-01
delete0
PREAI
deleteBen-eliyahu-zohary, Rachel
deleteShare
deleteSave
Smart Expansion Techniques for ASP-Based Interactive Configuration
deleteTHEORY AND PRACTICE OF LOGIC PROGRAMMING
IF1.1
delete2025-10-01
delete0
deleteOAAI
deleteBalazova, Lucia; Comploi-taupe, Richard; Hahn, Susana; Ruhling, Nicolas; Schenner, Gottfried
deleteShare
deleteSave
Introduction to the 41st International Conference on Logic Programming Special Issue
deleteTHEORY AND PRACTICE OF LOGIC PROGRAMMING
IF1.1
delete2025-09-01
delete0
deleteOAAI
deleteGebser, Martin; Inclezan, Daniela; Ricca, Francesco
deleteShare
deleteSave
Finding Personalized Good-Enough Solutions to Unsatisfiable Stable Roommates Problems
deleteTHEORY AND PRACTICE OF LOGIC PROGRAMMING
IF1.1
delete2025-09-01
delete0
deleteOAAI
deleteFidan, Muge; Erdem, Esra
deleteShare
deleteSave
ASP-FZN: A Translation-Based Constraint Answer Set Solver
deleteTHEORY AND PRACTICE OF LOGIC PROGRAMMING
IF1.1
delete2025-09-01
delete0
deleteOAAI
deleteEiter, Thomas; Geibinger, Tobias; Musliu, Nysret; Oetsch, Johannes; Kaminski, Tobias
deleteShare
deleteSave
A CASP-Based Solution for Traffic Signal Optimisation
deleteTHEORY AND PRACTICE OF LOGIC PROGRAMMING
IF1.1
delete2025-09-01
delete0
deleteOAAI
deleteTarzariol, Alice; Maratea, Marco; Vallati, Mauro
deleteShare
deleteSave
Application Placement with Constraint Relaxation
deleteTHEORY AND PRACTICE OF LOGIC PROGRAMMING
IF1.1
delete2025-09-01
delete0
deleteOAAI
deleteAzzolini, Damiano; Duca, Marco; Gallo, Francesco; Ielo, Antonio; Forti, Stefano
deleteShare
deleteSave
Hiord#: An Approach to the Specification and Verification of Higher-Order (C)LP Programs
deleteTHEORY AND PRACTICE OF LOGIC PROGRAMMING
IF1.1
delete2025-09-01
delete0
deleteOAAI
deleteCiccale, Marco; Jurjo-Rivas, Daniel; Morales, Jose F.; Lopez-Garcia, Pedro; Hermenegildo, Manuel V.
deleteShare
deleteSave
Automated Hybrid Grounding Using Structural and Data-Driven Heuristics
deleteTHEORY AND PRACTICE OF LOGIC PROGRAMMING
IF1.1
delete2025-09-01
delete0
deleteOAAI
deleteBeiser, Alexander; Woltran, Stefan; Hecher, Markus
deleteShare
deleteSave
A General Framework for Dynamic MAPF Using Multi-Shot ASP and Tunnels
deleteTHEORY AND PRACTICE OF LOGIC PROGRAMMING
IF1.1
delete2025-09-01
delete0
deleteOAAI
deleteBogatarkan, Aysu; Erdem, Esra
deleteShare
deleteSave
On Systematic Construction of Correct Logic Programs
deleteTHEORY AND PRACTICE OF LOGIC PROGRAMMING
IF1.1
delete2025-09-01
delete0
deleteOAAI
deleteDrabent, WBodzimierz
deleteShare
deleteSave