ON THE IDENTIFIABILITY OF HIERARCHICAL DECISION MODELS (English)
- New search for: Bresson, Roman
- New search for: Bresson, Roman
In:
18th International Conference Principles of Knowledge Representation and Reasoning (KR2021)
; 150-161
;
2022
-
ISBN:
- Conference paper / Print
-
Title:ON THE IDENTIFIABILITY OF HIERARCHICAL DECISION MODELS
-
Contributors:Bresson, Roman ( author )
-
Conference:International Conference on Principles of Knowledge Representation and Reasoning ; 18. ; 2021 ; Online
-
Published in:
-
Publisher:
- New search for: Curran Associates, Inc.
-
Place of publication:Red Hook, NY
-
Publication date:2022
-
ISBN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
- New search for: 54.72 / 54.10
- Further information on Basic classification
-
Keywords:
-
Classification:
-
Source:
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
SOMEBODY KNOWSAgotnes, Thomas et al. | 2022
- 11
-
REASONING ABOUT EXPLANATIONS FOR NON-VALIDATION IN SHACLAhmetaj, Shqiponja et al. | 2022
- 21
-
GENERALIZED TEMPORAL INFERENCE VIA PLANNINGAineto, Diego et al. | 2022
- 31
-
EQUIVALENCE OF SEMANTICS IN ARGUMENTATIONAmgoud, Leila et al. | 2022
- 41
-
SYNTHESIZING BEST-EFFORT STRATEGIES UNDER MULTIPLE ENVIRONMENT SPECIFICATIONSAminof, Benjamin et al. | 2022
- 51
-
CHARACTERIZATIONS AND CLASSIFICATIONS OF ARGUMENTATIVE ENTAILMENTSArieli, Ofer et al. | 2022
- 62
-
ON FREE DESCRIPTION LOGICS WITH DEFINITE DESCRIPTIONSArtale, Alessandro et al. | 2022
- 73
-
ON THE COMPUTATIONAL INTELLIGIBILITY OF BOOLEAN CLASSIFIERSAudemard, Gilles et al. | 2022
- 86
-
ADMISSIBILITY IN PROBABILISTIC ARGUMENTATIONBaier, Christel et al. | 2022
- 98
-
CORRECTING HIERARCHICAL PLANS BY ACTION DELETIONBarták, Roman et al. | 2022
- 109
-
CHOICES AND THEIR CONSEQUENCES - EXPLAINING ACCEPTABLE SETS IN ABSTRACT ARGUMENTATION FRAMEWORKSBaumann, Ringo et al. | 2022
- 119
-
DEL-BASED EPISTEMIC PLANNING FOR HUMAN-ROBOT COLLABORATION: THEORY AND IMPLEMENTATIONBolander, Thomas et al. | 2022
- 129
-
ENFORCING SETS OF FORMULAS IN STRUCTURED ARGUMENTATIONBorg, Annemarie et al. | 2022
- 140
-
CAPTURING HOMOMORPHISM-CLOSED DECIDABLE QUERIES WITH EXISTENTIAL RULESBourgaux, Camille et al. | 2022
- 150
-
ON THE IDENTIFIABILITY OF HIERARCHICAL DECISION MODELSBresson, Roman et al. | 2022
- 162
-
PARALLELISABLE EXISTENTIAL RULES: A STORY OF PIECESBuron, Maxime et al. | 2022
- 173
-
CLOSED- AND OPEN-WORLD REASONING IN DL-LITE FOR CLOUD INFRASTRUCTURE SECURITYCauli, Claudia et al. | 2022
- 183
-
ON EVENTUAL APPLICABILITY OF PLANS IN DYNAMIC ENVIRONMENTS WITH CYCLIC PHENOMENAChrpa, Lukáš et al. | 2022
- 193
-
AN ACCOUNT OF INTENSIONAL AND EXTENSIONAL ACTIONS, AND ITS APPLICATION TO BELIEF, NONDETERMINISTIC ACTIONS AND FALLIBLE SENSORSClaßen, Jens et al. | 2022
- 204
-
A COMPILATION OF SUCCINCTNESS RESULTS FOR ARITHMETIC CIRCUITSColnet, Alexis De et al. | 2022
- 215
-
THE NONDETERMINISTIC SITUATION CALCULUSGiacomo, Giuseppe De et al. | 2022
- 226
-
TIMED TRACE ALIGNMENT WITH METRIC TEMPORAL LOGIC OVER FINITE TRACESGiacomo, Giuseppe De et al. | 2022
- 236
-
SYNTHESIS WITH MANDATORY STOP ACTIONSGiacomo, Giuseppe De et al. | 2022
- 246
-
BEYOND SIMPLE IMAGES: HUMAN KNOWLEDGE-GUIDED GANS FOR CLINICAL DATA GENERATIONDhami, Devendra Singh et al. | 2022
- 257
-
EXPRESSING AND EXPLOITING THE COMMON SUBGOAL STRUCTURE OF CLASSICAL PLANNING DOMAINS USING SKETCHESDrexler, Dominik et al. | 2022
- 268
-
TREEWIDTH-AWARE CYCLE BREAKING FOR ALGEBRAIC ANSWER SET COUNTINGEiter, Thomas et al. | 2022
- 279
-
ANSWER-SET PROGRAMMING FOR LEXICOGRAPHICAL MAKESPAN OPTIMISATION IN PARALLEL MACHINE SCHEDULINGEiter, Thomas et al. | 2022
- 290
-
BORDA, CANCELLATION AND BELIEF MERGINGEveraere, Patricia et al. | 2022
- 300
-
REASONING OVER ATTACK-INCOMPLETE AAFS IN THE PRESENCE OF CORRELATIONSFazzinga, Bettina et al. | 2022
- 311
-
RATIONAL VERIFICATION FOR PROBABILISTIC SYSTEMSGutierrez, Julian et al. | 2022
- 322
-
HOW TO APPROXIMATE ONTOLOGY-MEDIATED QUERIESHaga, Anneke et al. | 2022
- 333
-
APPROXIMATION FIXPOINT THEORY FOR NON-DETERMINISTIC OPERATORS AND ITS APPLICATION IN DISJUNCTIVE LOGIC PROGRAMMINGHeyninck, Jesse et al. | 2022
- 344
-
REVISION AND CONDITIONAL INFERENCE FOR ABSTRACT DIALECTICAL FRAMEWORKSHeyninck, Jesse et al. | 2022
- 355
-
ON EFFICIENTLY EXPLAINING GRAPH-BASED CLASSIFIERSHuang, Xuanxiang et al. | 2022
- 367
-
STRATEGIC ABILITIES OF ASYNCHRONOUS AGENTS: SEMANTIC SIDE EFFECTS AND HOW TO TAME THEMJamroga, Wojciech et al. | 2022
- 378
-
SAFE LEARNING OF LIFTED ACTION MODELSJuba, Brendan et al. | 2022
- 389
-
SEPARATING DATA EXAMPLES BY DESCRIPTION LOGIC CONCEPTS WITH RESTRICTED SIGNATURESJung, Jean Christoph et al. | 2022
- 399
-
SATISFIABILITY CHECKING OF STRATEGY LOGIC WITH SIMPLE GOALSKacprzak, Magdalena et al. | 2022
- 410
-
FORMALIZING STATISTICAL BELIEFS IN HYPOTHESIS TESTING USING PROGRAM LOGICKawamoto, Yusuke et al. | 2022
- 421
-
SEMI-STABLE SEMANTICS FOR ABSTRACT DIALECTICAL FRAMEWORKSZafarghandi, Atefeh Keshavarzi et al. | 2022
- 431
-
UNFOUNDED SETS FOR DISJUNCTIVE HYBRID MKNF KNOWLEDGE BASESKillen, Spencer et al. | 2022
- 441
-
DIAGNOSIS OF ACTIVE SYSTEMS WITH ABSTRACT OBSERVATIONS AND COMPILED KNOWLEDGELamperti, Gianfranco et al. | 2022
- 453
-
UNSUPERVISED NOVELTY CHARACTERIZATION IN PHYSICAL ENVIRONMENTS USING QUALITATIVE SPATIAL RELATIONSLi, Ruiqi et al. | 2022
- 464
-
ON THE PROGRESSION OF BELIEFLiu, Daxin et al. | 2022
- 474
-
APPROXIMATE INFERENCE FOR NEURAL PROBABILISTIC LOGIC PROGRAMMINGManhaeve, Robin et al. | 2022
- 486
-
STRATEGIC REASONING IN AUTOMATED MECHANISM DESIGNMaubert, Bastien et al. | 2022
- 496
-
PROPERTIES OF MODULE NOTIONS AND ATOMIC DECOMPOSITIONNolte, Robin et al. | 2022
- 507
-
MONOTONICITY AND NOISE-TOLERANCE IN CASE-BASED REASONING WITH ABSTRACT ARGUMENTATIONPaulino-Passos, Guilherme et al. | 2022
- 518
-
REPRESENTING AND REASONING WITH EVENT MODELS FOR EPISTEMIC PLANNINGRajaratnam, David et al. | 2022
- 528
-
CONSOLIDATION VIA TACIT CULPABILITY MEASURES: BETWEEN EXPLICIT AND IMPLICIT DEGREES OF CULPABILITYRibeiro, Jandson S. et al. | 2022
- 538
-
LEARNING FIRST-ORDER REPRESENTATIONS FOR PLANNING FROM BLACK BOX STATES: NEW RESULTSRodriguez, Ivan D. et al. | 2022
- 548
-
EXISTENTIAL ABSTRACTION ON ARGUMENTATION FRAMEWORKS VIA CLUSTERINGSaribatur, Zeynep G. et al. | 2022
- 559
-
BOOLEAN NETWORK LEARNING IN VECTOR SPACES FOR GENOME-WIDE NETWORK ANALYSISSato, Taisuke et al. | 2022
- 569
-
DECIDABILITY AND COMPLEXITY OF SOME FINITELY-VALUED DYNAMIC LOGICSSedlár, Igor et al. | 2022
- 580
-
GAUSSIAN ELIMINATION MEETS MAXIMUM SATISFIABILITYSoos, Mate et al. | 2022
- 587
-
BELIEF CONTRACTION IN NON-CLASSICAL LOGICS AS HYPERINTENSIONAL BELIEF CHANGESouza, Marlo et al. | 2022
- 598
-
LIFTED INFERENCE WITH TREE AXIOMSBremen, Timothy Van et al. | 2022
- 608
-
DATALOGMTL WITH NEGATION UNDER STABLE MODELS SEMANTICSWaega, Przemysaw A. et al. | 2022
- 618
-
FINITELY MATERIALISABLE DATALOG PROGRAMS WITH METRIC TEMPORAL OPERATORSWaega, Przemysaw A. et al. | 2022
- 628
-
A PRINCIPLE-BASED ANALYSIS OF ABSTRACT AGENT ARGUMENTATION SEMANTICSYu, Liuwen et al. | 2022
- 639
-
MAKING DL-LITE PLANNING PRACTICALBorgwardt, Stefan et al. | 2022
- 644
-
A MANY-VALUED LOGIC FOR LEXICOGRAPHIC PREFERENCE REPRESENTATIONCharalambidis, Angelos et al. | 2022
- 649
-
UNIVERSAL AND UNIFORM ACTION REVERSIBILITYChrpa, Lukáš et al. | 2022
- 654
-
MEASURING INCONSISTENCY OVER SEQUENCES OF BUSINESS RULE CASESCorea, Carl et al. | 2022
- 659
-
INTRODUCING K-LINGO: A K-DEPTH BOUNDED VERSION OF ASP SYSTEM CLINGOD'Asaro, Fabio Aurelio et al. | 2022
- 664
-
COMBINING LOGIC AND NATURAL LANGUAGE PROCESSING TO SUPPORT INVESTMENT MANAGEMENTDeryck, Marjolein et al. | 2022
- 669
-
ON THE COMPLEXITY OF PREFERRED SEMANTICS IN ARGUMENTATION FRAMEWORKS WITH BOUNDED CYCLE LENGTHDvoøák, Wolfgang et al. | 2022
- 674
-
A DYNAMIC EPISTEMIC LOGIC WITH FINITE ITERATION AND PARALLEL COMPOSITIONHerzig, Andreas et al. | 2022
- 679
-
ON THE EPISTEMIC LOGIC OF INCOMPLETE ARGUMENTATION FRAMEWORKSHerzig, Andreas et al. | 2022
- 684
-
DISTINGUISHABILITY IN ABSTRACT ARGUMENTATIONKuhlmann, Isabelle et al. | 2022
- 689
-
STICKY EXISTENTIAL RULES AND DISJUNCTION ARE INCOMPATIBLEMorak, Michael et al. | 2022
- 694
-
RANDOMIZED PROBLEM-RELAXATION SOLVING FOR OVER-CONSTRAINED SCHEDULESRodler, Patrick et al. | 2022
- 700
-
FLEXIBLE ROBOTIC ASSEMBLY BASED ON ONTOLOGICAL REPRESENTATION OF TASKS, SKILLS, AND RESOURCESSchäfer, Philipp Matthias et al. | 2022
- 705
-
ON THE MAXIMAL NUMBER OF COMPLETE EXTENSIONS IN ABSTRACT ARGUMENTATION FRAMEWORKSUlbricht, Markus et al. | 2022
- 710
-
PATCHCOMM: USING COMMONSENSE KNOWLEDGE TO GUIDE SYNTACTIC PARSERSXin, Yida et al. | 2022