| 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 |
| 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. |
Tag hinzufügen