| 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 |
| μ-TOKSIA: AN EFFICIENT ABSTRACT ARGUMENTATION REASONER
|
2021 |
Niskanen, Andreas |
| NEURO-SYMBOLIC PROBABILISTIC ARGUMENTATION MACHINES
|
2021 |
Riveret, Regis |
| 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 |
Tag hinzufügen