REVISION AND CONDITIONAL INFERENCE FOR ABSTRACT DIALECTICAL FRAMEWORKS

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:International Conference on Principles of Knowledge Representation and Reasoning (18. : 2021 : Online) 18th International Conference Principles of Knowledge Representation and Reasoning (KR2021)
1. Verfasser: Heyninck, Jesse (VerfasserIn)
Pages:18
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2022
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
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
Alle Artikel auflisten