| REASONING ABOUT EXPLANATIONS FOR NON-VALIDATION IN SHACL
|
2022 |
Ahmetaj, Shqiponja |
| GENERALIZED TEMPORAL INFERENCE VIA PLANNING
|
2022 |
Aineto, Diego |
| SYNTHESIZING BEST-EFFORT STRATEGIES UNDER MULTIPLE ENVIRONMENT SPECIFICATIONS
|
2022 |
Aminof, Benjamin |
| CHARACTERIZATIONS AND CLASSIFICATIONS OF ARGUMENTATIVE ENTAILMENTS
|
2022 |
Arieli, Ofer |
| ON FREE DESCRIPTION LOGICS WITH DEFINITE DESCRIPTIONS
|
2022 |
Artale, Alessandro |
| ADMISSIBILITY IN PROBABILISTIC ARGUMENTATION
|
2022 |
Baier, Christel |
| CHOICES AND THEIR CONSEQUENCES - EXPLAINING ACCEPTABLE SETS IN ABSTRACT ARGUMENTATION FRAMEWORKS
|
2022 |
Baumann, Ringo |
| ENFORCING SETS OF FORMULAS IN STRUCTURED ARGUMENTATION
|
2022 |
Borg, Annemarie |
| CLOSED- AND OPEN-WORLD REASONING IN DL-LITE FOR CLOUD INFRASTRUCTURE SECURITY
|
2022 |
Cauli, Claudia |
| ON EFFICIENTLY EXPLAINING GRAPH-BASED CLASSIFIERS
|
2022 |
Huang, Xuanxiang |
| FORMALIZING STATISTICAL BELIEFS IN HYPOTHESIS TESTING USING PROGRAM LOGIC
|
2022 |
Kawamoto, Yusuke |
| STRATEGIC REASONING IN AUTOMATED MECHANISM DESIGN
|
2022 |
Maubert, Bastien |
| DECIDABILITY AND COMPLEXITY OF SOME FINITELY-VALUED DYNAMIC LOGICS
|
2022 |
Sedlár, Igor |
| A PRINCIPLE-BASED ANALYSIS OF ABSTRACT AGENT ARGUMENTATION SEMANTICS
|
2022 |
Yu, Liuwen |
| FINITELY MATERIALISABLE DATALOG PROGRAMS WITH METRIC TEMPORAL OPERATORS
|
2022 |
Waega, Przemysaw A. |
| MEASURING INCONSISTENCY OVER SEQUENCES OF BUSINESS RULE CASES
|
2022 |
Corea, Carl |
| INTRODUCING K-LINGO: A K-DEPTH BOUNDED VERSION OF ASP SYSTEM CLINGO
|
2022 |
D'Asaro, Fabio Aurelio |
| COMBINING LOGIC AND NATURAL LANGUAGE PROCESSING TO SUPPORT INVESTMENT MANAGEMENT
|
2022 |
Deryck, Marjolein |
| ON THE COMPLEXITY OF PREFERRED SEMANTICS IN ARGUMENTATION FRAMEWORKS WITH BOUNDED CYCLE LENGTH
|
2022 |
Dvoøák, Wolfgang |
| ON THE EPISTEMIC LOGIC OF INCOMPLETE ARGUMENTATION FRAMEWORKS
|
2022 |
Herzig, Andreas |
Tag hinzufügen