| SOMEBODY KNOWS
|
2022 |
Agotnes, Thomas |
| EQUIVALENCE OF SEMANTICS IN ARGUMENTATION
|
2022 |
Amgoud, Leila |
| TREEWIDTH-AWARE CYCLE BREAKING FOR ALGEBRAIC ANSWER SET COUNTING
|
2022 |
Eiter, Thomas |
| REASONING OVER ATTACK-INCOMPLETE AAFS IN THE PRESENCE OF CORRELATIONS
|
2022 |
Fazzinga, Bettina |
| SAFE LEARNING OF LIFTED ACTION MODELS
|
2022 |
Juba, Brendan |
| SATISFIABILITY CHECKING OF STRATEGY LOGIC WITH SIMPLE GOALS
|
2022 |
Kacprzak, Magdalena |
| APPROXIMATE INFERENCE FOR NEURAL PROBABILISTIC LOGIC PROGRAMMING
|
2022 |
Manhaeve, Robin |
| CONSOLIDATION VIA TACIT CULPABILITY MEASURES: BETWEEN EXPLICIT AND IMPLICIT DEGREES OF CULPABILITY
|
2022 |
Ribeiro, Jandson S. |
| LIFTED INFERENCE WITH TREE AXIOMS
|
2022 |
Bremen, Timothy Van |
| MAKING DL-LITE PLANNING PRACTICAL
|
2022 |
Borgwardt, Stefan |
| DISTINGUISHABILITY IN ABSTRACT ARGUMENTATION
|
2022 |
Kuhlmann, Isabelle |
| RANDOMIZED PROBLEM-RELAXATION SOLVING FOR OVER-CONSTRAINED SCHEDULES
|
2022 |
Rodler, Patrick |
| STICKY EXISTENTIAL RULES AND DISJUNCTION ARE INCOMPATIBLE
|
2022 |
Morak, Michael |
| ON THE COMPUTATIONAL INTELLIGIBILITY OF BOOLEAN CLASSIFIERS
|
2022 |
Audemard, Gilles |
| CORRECTING HIERARCHICAL PLANS BY ACTION DELETION
|
2022 |
Barták, Roman |
| CAPTURING HOMOMORPHISM-CLOSED DECIDABLE QUERIES WITH EXISTENTIAL RULES
|
2022 |
Bourgaux, Camille |
| ON THE IDENTIFIABILITY OF HIERARCHICAL DECISION MODELS
|
2022 |
Bresson, Roman |
| ON EVENTUAL APPLICABILITY OF PLANS IN DYNAMIC ENVIRONMENTS WITH CYCLIC PHENOMENA
|
2022 |
Chrpa, Lukáš |
| AN ACCOUNT OF INTENSIONAL AND EXTENSIONAL ACTIONS, AND ITS APPLICATION TO BELIEF, NONDETERMINISTIC ACTIONS AND FALLIBLE SENSORS
|
2022 |
Claßen, Jens |
| A COMPILATION OF SUCCINCTNESS RESULTS FOR ARITHMETIC CIRCUITS
|
2022 |
Colnet, Alexis De |
Tag hinzufügen