| SYNTAX SPLITTING FOR ITERATED CONTRACTIONS
|
2021 |
Haldimann, Jonas Philipp |
| AN ANSWER SET PROGRAMMING APPROACH TO ARGUMENTATIVE REASONING IN THE ASPIC+ FRAMEWORK
|
2021 |
Lehtonen, Tuomo |
| CONCEPT CONTRACTION IN THE DESCRIPTION LOGIC EL
|
2021 |
Rienstra, Tjitze |
| A SEMANTIC PERSPECTIVE ON OMISSION ABSTRACTION IN ASP
|
2021 |
Saribatur, Zeynep G. |
| DATALOGMTL OVER THE INTEGER TIMELINE
|
2021 |
Walega, Przemyslaw A. |
| ONTOLOGY-GUIDED SEMANTIC COMPOSITION FOR ZERO-SHOT LEARNING
|
2021 |
Chen, Jiaoyan |
| TOWARDS AN INDUCTIVE LOGIC PROGRAMMING APPROACH FOR EXPLAINING BLACK-BOX PREFERENCE LEARNING SYSTEMS
|
2021 |
D'Asaro, Fabio A. |
| MODELING AFFORDANCES AND FUNCTIONING FOR PERSONALIZED ROBOTIC ASSISTANCE
|
2021 |
Umbrico, Alessandro |
| 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 |
Tag hinzufügen