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

LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT I

IF
Papers23
Citations
Journal Papers 23
Publication Date
delete
Unsupervised Automata Learning via Discrete Optimization
deleteLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT I
IF0
delete2026-01-01
delete0
PREAI
deleteLutz, Simon; Kaminskyi, Daniil; Wittbold, Florian; Dierl, Simon; Howar, Falk; Koenig, Barbara; Mueller, Emmanuel; Neider, Daniel
deleteShare
deleteSave
Why This and Not That? A Logic-Based Framework for Contrastive Explanations
deleteLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT I
IF0
delete2026-01-01
delete0
PREAI
deleteGeibinger, Tobias; Jaakkola, Reijo; Kuusisto, Antti; Liu, Xinghan; Vilander, Miikka
deleteShare
deleteSave
A Uniform Language for Safety, Robustness and Explainability
deleteLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT I
IF0
delete2026-01-01
delete0
PREAI
deleteBelle, Vaishak; Barcelo, Pablo
deleteShare
deleteSave
A Kripke Semantics for Intuitionistic Lukasiewicz Logic with Weak Excluded Middle
deleteLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT I
IF0
delete2026-01-01
delete0
PREAI
deleteLewis-Smith, Andrew; Zhao, Zhiguang
deleteShare
deleteSave
Formal Explanations of Black-Box Ranking Functions
deleteLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT I
IF0
delete2026-01-01
delete0
PREAI
deleteChiariello, Francesco; Marques-Silva, Joao
deleteShare
deleteSave
SCC-Recursiveness in Infinite Argumentation
deleteLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT I
IF0
delete2026-01-01
delete0
PREAI
deleteAndrews, Uri; Mauro, Luca San
deleteShare
deleteSave
Finding Short Tree-Like Unit Refutations in UTVPI Constraint Systems
deleteLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT I
IF0
delete2026-01-01
delete0
PREAI
deleteWojciechowski, P.; Subramani, K.
deleteShare
deleteSave
Completing Structured Arguments in Assumption-Based Argumentation
deleteLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT I
IF0
delete2026-01-01
delete0
PREAI
deletePopescu, Andrei; Wallner, Johannes P.
deleteShare
deleteSave
Encoding Action Reversibility In Planning Using Quantified ASP and Bule
deleteLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT I
IF0
delete2026-01-01
delete0
PREAI
deleteFaber, Wolfgang; Morak, Michael
deleteShare
deleteSave
Towards Practicable Defeasible Reasoning for ABoxes
deleteLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT I
IF0
delete2026-01-01
delete0
PREAI
deleteHaldimann, Jonas; Ortiz, Magdalena; Simkus, Mantas
deleteShare
deleteSave
Reinforcement Learning Meets Logic Programming: Towards Explainable AI
deleteLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT I
IF0
delete2026-01-01
delete0
PREAI
deleteCaroprese, Luciano; Zumpano, Ester; Ursino, Domenico
deleteShare
deleteSave
DIRT: a Literature-Based Benchmark Suite for Grounders
deleteLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT I
IF0
delete2026-01-01
delete1
PREAI
deleteVan Laer, Lucas; Vandevelde, Simon; Vennekens, Joost
deleteShare
deleteSave
Dual Scale Detachment
deleteLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT I
IF0
delete2026-01-01
delete0
PREAI
deletede Wit, Vincent; Knoks, Aleks; van der Torre, Leendert
deleteShare
deleteSave
From Modal Ockham Algebras to Modal Berman Variety: Relational Semantics and Kripke-Completeness
deleteLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT I
IF0
delete2026-01-01
delete0
PREAI
deleteWang, Yiheng
deleteShare
deleteSave
An Experiment with Anthem: Semantic Equivalence of Tiling Programs
deleteLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT I
IF0
delete2026-01-01
delete0
PREAI
deleteLifschitz, Vladimir
deleteShare
deleteSave
deon-B: A Language for Well-Founded Deontic Planning
deleteLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT I
IF0
delete2026-01-01
delete0
PREAI
deleteSolda, Davide; Eiter, Thomas
deleteShare
deleteSave
Closure-Based Tractable Possibilistic Inference from Partially Ordered DL-Lite Ontologies
deleteLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT I
IF0
delete2026-01-01
delete0
PREAI
deleteLaouar, Ahmed; Benferhat, Salem
deleteShare
deleteSave
Generalizing the Syntax of Terms in Mini-GRINGO
deleteLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT I
IF0
delete2026-01-01
delete0
PREAI
deleteLifschitz, Vladimir
deleteShare
deleteSave
GL-Based Calculi for PCL and Its Deontic Cousin
deleteLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT I
IF0
delete2026-01-01
delete0
PREAI
deleteCiabattoni, Agara; Rozplokhas, Dmitry; Tesi, Matteo
deleteShare
deleteSave
Lazy Atom Discovery in Compilation-Based ASP Solving
deleteLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT I
IF0
delete2026-01-01
delete0
PREAI
deleteCuteri, Andrea; Mazzotta, Giuseppe; Ricca, Francesco
deleteShare
deleteSave