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 II

IF
Papers19
Citations
Journal Papers 19
Publication Date
delete
Alternating-Time Temporal Logic with Default Actions
deleteLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT II
IF0
delete2026-01-01
delete0
PREAI
deleteMichaliszyn, Jakub
deleteShare
deleteSave
Interpolating Parametric Array Theories
deleteLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT II
IF0
delete2026-01-01
delete0
PREAI
deleteRaya, Rodrigo; Ringeissen, Christophe
deleteShare
deleteSave
Exposure and Hiding: Approaching the Objective Probability and Hiding the Secret in Zero-Knowledge Proof
deleteLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT II
IF0
delete2026-01-01
delete0
PREAI
deleteHuang, Yini; Liao, Beishui; Su, Xingchi
deleteShare
deleteSave
Axiomatics of Restricted Choices by Linear Orders of Sets with Minimum as Fallback
deleteLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT II
IF0
delete2026-01-01
delete0
PREAI
deleteSauerwald, Kai; Skiba, Kenneth; Ferme, Eduardo; Meyer, Thomas
deleteShare
deleteSave
On a Second-Order Version of Russellian Theory of Definite Descriptions
deleteLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT II
IF0
delete2026-01-01
delete0
PREAI
deletePetrukhin, Yaroslav
deleteShare
deleteSave
Inclusion with Repetitions and Boolean Constants - Implication Problems Revisited
deleteLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT II
IF0
delete2026-01-01
delete0
PREAI
deleteHaggblom, Matilda
deleteShare
deleteSave
A Framework for Computing Upper Bounds in Passive Learning Settings
deleteLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT II
IF0
delete2026-01-01
delete0
PREAI
deleteBordais, Benjamin; Neider, Daniel
deleteShare
deleteSave
The InfOCF Library for Reasoning With Conditional Belief Bases
deleteLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT II
IF0
delete2026-01-01
delete1
PREAI
deleteBeierle, Christoph; Haldimann, Jonas; Sanin, Arthur; Spang, Aron; Spiegel, Lars-Phillip; von Berg, Martin
deleteShare
deleteSave
Deciding Non-fregean Identities: A Dual Tableau Approach
deleteLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT II
IF0
delete2026-01-01
delete0
PREAI
deleteGolinska-Pilarek, Joanna; Huuskonen, Taneli; Zawidzki, Michal
deleteShare
deleteSave
Refinement-Based Enumeration of QBF Solutions
deleteLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT II
IF0
delete2026-01-01
delete0
PREAI
deletePlank, Andreas; Hofstadler, Clemens; Heisinger, Maximilian; Seidl, Martina
deleteShare
deleteSave
Explanations of Unsatisfiability Beyond Minimal Subsets
deleteLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT II
IF0
delete2026-01-01
delete0
PREAI
deleteMartinez-Naredo, Pablo; Mencia, Raul; Marques-Silva, Joao; Mencia, Carlos
deleteShare
deleteSave
Refined Notions of QBF Equivalences
deleteLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT II
IF0
delete2026-01-01
delete0
PREAI
deletePfeiffer, Peter; Grosse, Daniel; Seidl, Martina
deleteShare
deleteSave
On Temporal References via Definite Descriptions in First-Order Monadic Logic of Order
deleteLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT II
IF0
delete2026-01-01
delete0
PREAI
deleteIndrzejczak, Andrzej; Walega, Przemyslaw Andrzej; Zawidzki, Michal
deleteShare
deleteSave
Comparing Dialectical Systems: Contradiction and Counterexample in Belief Change
deleteLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT II
IF0
delete2026-01-01
delete0
PREAI
deleteAndrews, Uri; Mauro, Luca San
deleteShare
deleteSave
AxSAT - Bringing Axioms to SAT Planning
deleteLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT II
IF0
delete2026-01-01
delete0
PREAI
deleteBehnke, Gregor; Speck, David; Gnad, Daniel
deleteShare
deleteSave
On Lockean Beliefs that are Deductively Closed and Minimal Change
deleteLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT II
IF0
delete2026-01-01
delete0
PREAI
deleteFlaminio, Tommaso; Godo, Lluis; Perez, Ramon Pino; Subirana, Lluis
deleteShare
deleteSave
Extending Defeasibility for Propositional Standpoint Logics
deleteLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT II
IF0
delete2026-01-01
delete0
PREAI
deleteLeisegang, Nicholas; Meyer, Thomas; Varzinczak, Ivan
deleteShare
deleteSave
Enhancing Query Efficiency for D-DNNF Representations Through Preprocessing
deleteLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT II
IF0
delete2026-01-01
delete0
PREAI
deleteLagniez, Jean Marie; Lonca, Emmanuel
deleteShare
deleteSave
On Extracting Legal Arguments
deleteLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT II
IF0
delete2026-01-01
delete0
PREAI
deleteCollinet, Noah; Salhi, Yakoub; Kaci, Souhila
deleteShare
deleteSave