| COMPUTING CORES FOR EXISTENTIAL RULES WITH THE STANDARD CHASE AND ASP
|
2021 |
Krötzsch, Markus |
| ON THE REVERSIBILITY OF ACTIONS IN PLANNING
|
2021 |
Morak, Michael |
| DESIGNING PARTICIPATORY BUDGETING MECHANISMS GROUNDED IN JUDGMENT AGGREGATION
|
2021 |
Rey, Simon |
| KNOWLEDGE-PRESERVING CERTAIN ANSWERS FOR SQL-LIKE QUERIES
|
2021 |
Toussaint, Etienne |
| A (SIMPLIFIED) SUPREME BEING NECESSARILY EXISTS, SAYS THE COMPUTER: COMPUTATIONALLY EXPLORED VARIANTS OF GÖDEL'S ONTOLOGICAL ARGUMENT
|
2021 |
Benzmüller, Christoph |
| ON THE APPROXIMABILITY OF WEIGHTED MODEL INTEGRATION ON DNF STRUCTURES
|
2021 |
Abboud, Ralph |
| TOWARDS A FRAMEWORK FOR VISUAL INTELLIGENCE IN SERVICE ROBOTICS: EPISTEMIC REQUIREMENTS AND GAP ANALYSIS
|
2021 |
Chiatti, Agnese |
| DYNAMIC AWARENESS
|
2021 |
Halpern, Joseph Y. |
| REASONING WITH INCONSISTENT KNOWLEDGE USING THE EPISTEMIC APPROACH TO PROBABILISTIC ARGUMENTATION
|
2021 |
Hunter, Anthony |
| SAT-BASED ATL SATISFIABILITY CHECKING
|
2021 |
Kacprzak, Magdalena |
| SYNTAX SPLITTING = RELEVANCE + INDEPENDENCE: NEW POSTULATES FOR NONMONOTONIC REASONING FROM CONDITIONAL BELIEF BASES
|
2021 |
Kern-Isberner, Gabriele |
| BOOLEAN ROLE INCLUSIONS IN DL-LITE WITH AND WITHOUT TIME
|
2021 |
Kontchakov, Roman |
| AN EXPTIME UPPER BOUND FOR ALC WITH INTEGERS
|
2021 |
Labai, Nadia |
| ARGUMENT, I CHOOSE YOU! PREFERENCES AND RANKING SEMANTICS IN ABSTRACT ARGUMENTATION
|
2021 |
Mailly, Jean-Guy |
| SMALLEST EXPLANATIONS AND DIAGNOSES OF REJECTION IN ABSTRACT ARGUMENTATION
|
2021 |
Niskanen, Andreas |
| TOWARDS A LOGIC OF META-ANALYSIS
|
2021 |
Peñaloza, Rafael |
| CHOOSING WHAT TO BELIEVE - NEW RESULTS IN SELECTIVE REVISION
|
2021 |
Resina, Fillipe |
| BIPOLAR ABSTRACT ARGUMENTATION WITH DUAL ATTACKS AND SUPPORTS
|
2021 |
Potyka, Nico |
| MODELLING THE POLYSEMY OF SPATIAL PREPOSITIONS IN REFERRING EXPRESSIONS
|
2021 |
Richard-Bollans, Adam |
| SEQ2KG: AN END-TO-END NEURAL MODEL FOR DOMAIN AGNOSTIC KNOWLEDGE GRAPH (NOT TEXT GRAPH) CONSTRUCTION FROM TEXT
|
2021 |
Stewart, Michael |
Tag hinzufügen