| A New Class of Explanations for Classifiers with Non-binary Features
|
2023 |
Ji, Chunxi |
| Declarative Reasoning on Explanations Using Constraint Logic Programming
|
2023 |
State, Laura |
| Beyond ALCreg: Exploring Non-Regular Extensions of PDL with Description Logics Features
|
2023 |
Bednarczyk, Bartosz |
| Belief Reconfiguration
|
2023 |
Konieczny, Sébastien |
| Categorical Approximation Fixpoint Theory
|
2023 |
Charalambidis, Angelos |
| DELPHIC: Practical DEL Planning via Possibilities
|
2023 |
Burigana, Alessandro |
| Planning with Partial Observability by SAT
|
2023 |
Fadnis, Saurabh |
| Enhancing Temporal Planning by Sequential Macro-Actions
|
2023 |
Bortoli, Marco De |
| Plan Selection Framework for Policy-Aware Autonomous Agents
|
2023 |
Harders, Charles |
| Towards Systematic Treatment of Partial Functions in Knowledge Representation
|
2023 |
Markovic, Djordje |
| Past-Present Temporal Programs over Finite Traces
|
2023 |
Cabalar, Pedro |
| Generative Datalog and Answer Set Programming – Extended Abstract
|
2023 |
Alviano, Mario |
| Excursions in First-Order Logic and Probability: Infinitely Many Random Variables, Continuous Distributions, Recursive Programs and Beyond
|
2023 |
Belle, Vaishak |
| Optimal Repairs in the Description Logic EL Revisited
|
2023 |
Baader, Franz |
| Short Boolean Formulas as Explanations in Practice
|
2023 |
Jaakkola, Reijo |
| Logic, Accountability and Design: Extended Abstract
|
2023 |
Cabalar, Pedro |
| Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver
|
2023 |
Homola, Martin |
| Tractable Closure-Based Possibilistic Repair for Partially Ordered DL-Lite Ontologies
|
2023 |
Laouar, Ahmed |
| How Easy it is to Know How: An Upper Bound for the Satisfiability Problem
|
2023 |
Areces, Carlos |
| Deciding Subsumption in Defeasible ELI⊥ with Typicality Models
|
2023 |
Câmara, Igor de Camargo e Souza |
Tag hinzufügen