| TREEWIDTH-AWARE REDUCTIONS OF NORMAL ASP TO SAT - IS NORMAL ASP HARDER THAN SAT AFTER ALL?
|
2021 |
Hecher, Markus |
| LOGICAL SEPARABILITY OF INCOMPLETE DATA UNDER ONTOLOGIES
|
2021 |
Jung, Jean Christoph |
| PLAUSIBLE REASONING ABOUT EL-ONTOLOGIES USING CONCEPT INTERPOLATION
|
2021 |
Ibáñez-García, Yazmín |
| ON THE DECIDABILITY OF EXPRESSIVE DESCRIPTION LOGICS WITH TRANSITIVE CLOSURE AND REGULAR ROLE EXPRESSIONS
|
2021 |
Jung, Jean Christoph |
| REASONING ABOUT PLAN ROBUSTNESS VERSUS PLAN COST FOR PARTIALLY INFORMED AGENTS
|
2021 |
Keren, Sarah |
| CHANGING BELIEFS ABOUT DOMAIN DYNAMICS IN THE SITUATION CALCULUS
|
2021 |
Klassen, Toryn Q. |
| SIGNATURE-BASED ABDUCTION FOR EXPRESSIVE DESCRIPTION LOGICS
|
2021 |
Koopmann, Patrick |
| A FIRST-ORDER LOGIC OF LIMITED BELIEF BASED ON POSSIBLE WORLDS
|
2021 |
Lakemeyer, Gerhard |
| EXPLAINABLE PLANNING USING ANSWER SET PROGRAMMING
|
2021 |
Nguyen, Van |
| INDEPENDENCE AND D-SEPARATION IN ABSTRACT ARGUMENTATION
|
2021 |
Rienstra, Tjitze |
| NON-PRIORITIZED ITERATED REVISION: IMPROVEMENT VIA INCREMENTAL BELIEF MERGING
|
2021 |
Schwind, Nicolas |
| ARGUMENTATION AS A FRAMEWORK FOR INTERACTIVE EXPLANATIONS FOR RECOMMENDATIONS
|
2021 |
Rago, Antonio |
| WOLED: A TOOL FOR ONLINE LEARNING WEIGHTED ANSWER SET RULES FOR TEMPORAL REASONING UNDER UNCERTAINTY
|
2021 |
Katzouris, Nikos |
| EXPLAINABLE AND ARGUMENTATION-BASED DECISION MAKING WITH QUALITATIVE PREFERENCES FOR DIAGNOSTICS AND PROGNOSTICS OF ALZHEIMER'S DISEASE
|
2021 |
Zeng, Zhiwei |
| ON TRACTABLE XAI QUERIES BASED ON COMPILED REPRESENTATIONS
|
2021 |
Audemard, Gilles |
| TEMPORAL LOGIC MONITORING REWARDS VIA TRANSDUCERS
|
2021 |
Giacomo, Giuseppe De |
| ON TRACTABLE REPRESENTATIONS OF BINARY NEURAL NETWORKS
|
2021 |
Shi, Weijia |
| ANALYZING DIFFERENTIABLE FUZZY IMPLICATIONS
|
2021 |
Krieken, Emile Van |
| SYNTAX SPLITTING FOR ITERATED CONTRACTIONS
|
2021 |
Haldimann, Jonas Philipp |
| AN ANSWER SET PROGRAMMING APPROACH TO ARGUMENTATIVE REASONING IN THE ASPIC+ FRAMEWORK
|
2021 |
Lehtonen, Tuomo |
Tag hinzufügen