| DEL-BASED EPISTEMIC PLANNING FOR HUMAN-ROBOT COLLABORATION: THEORY AND IMPLEMENTATION
|
2022 |
Bolander, Thomas |
| PARALLELISABLE EXISTENTIAL RULES: A STORY OF PIECES
|
2022 |
Buron, Maxime |
| SYNTHESIS WITH MANDATORY STOP ACTIONS
|
2022 |
Giacomo, Giuseppe De |
| TIMED TRACE ALIGNMENT WITH METRIC TEMPORAL LOGIC OVER FINITE TRACES
|
2022 |
Giacomo, Giuseppe De |
| BEYOND SIMPLE IMAGES: HUMAN KNOWLEDGE-GUIDED GANS FOR CLINICAL DATA GENERATION
|
2022 |
Dhami, Devendra Singh |
| EXPRESSING AND EXPLOITING THE COMMON SUBGOAL STRUCTURE OF CLASSICAL PLANNING DOMAINS USING SKETCHES
|
2022 |
Drexler, Dominik |
| ANSWER-SET PROGRAMMING FOR LEXICOGRAPHICAL MAKESPAN OPTIMISATION IN PARALLEL MACHINE SCHEDULING
|
2022 |
Eiter, Thomas |
| RATIONAL VERIFICATION FOR PROBABILISTIC SYSTEMS
|
2022 |
Gutierrez, Julian |
| REVISION AND CONDITIONAL INFERENCE FOR ABSTRACT DIALECTICAL FRAMEWORKS
|
2022 |
Heyninck, Jesse |
| STRATEGIC ABILITIES OF ASYNCHRONOUS AGENTS: SEMANTIC SIDE EFFECTS AND HOW TO TAME THEM
|
2022 |
Jamroga, Wojciech |
| UNSUPERVISED NOVELTY CHARACTERIZATION IN PHYSICAL ENVIRONMENTS USING QUALITATIVE SPATIAL RELATIONS
|
2022 |
Li, Ruiqi |
| PROPERTIES OF MODULE NOTIONS AND ATOMIC DECOMPOSITION
|
2022 |
Nolte, Robin |
| DATALOGMTL WITH NEGATION UNDER STABLE MODELS SEMANTICS
|
2022 |
Waega, Przemysaw A. |
| UNIVERSAL AND UNIFORM ACTION REVERSIBILITY
|
2022 |
Chrpa, Lukáš |
| A MANY-VALUED LOGIC FOR LEXICOGRAPHIC PREFERENCE REPRESENTATION
|
2022 |
Charalambidis, Angelos |
| PATCHCOMM: USING COMMONSENSE KNOWLEDGE TO GUIDE SYNTACTIC PARSERS
|
2022 |
Xin, Yida |
| FLEXIBLE ROBOTIC ASSEMBLY BASED ON ONTOLOGICAL REPRESENTATION OF TASKS, SKILLS, AND RESOURCES
|
2022 |
Schäfer, Philipp Matthias |
| 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 |
Tag hinzufügen