Co-occurring keywords · papers mentioning both
Papers
Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics
IJCAI 2025
A Sequent Calculus for Answer Set Entailment
IJCAI 2025
Stable Model Semantics for Description Logic Terminologies
AAAI 2024
Simulating Sets in Answer Set Programming
IJCAI 2022
On the Splitting Property for Epistemic Logic Programs (Extended Abstract)
IJCAI 2020
Query Answering with Guarded Existential Rules under Stable Model Semantics
AAAI 2020
Foundations of Declarative Data Analysis Using Limit Datalog Programs
IJCAI 2017