BOOLEAN NETWORK LEARNING IN VECTOR SPACES FOR GENOME-WIDE NETWORK ANALYSIS (Englisch)
- Neue Suche nach: Sato, Taisuke
- Neue Suche nach: Sato, Taisuke
In:
18th International Conference Principles of Knowledge Representation and Reasoning (KR2021)
; 559-568
;
2022
-
ISBN:
- Aufsatz (Konferenz) / Print
-
Titel:BOOLEAN NETWORK LEARNING IN VECTOR SPACES FOR GENOME-WIDE NETWORK ANALYSIS
-
Beteiligte:Sato, Taisuke ( Autor:in )
-
Kongress:International Conference on Principles of Knowledge Representation and Reasoning ; 18. ; 2021 ; Online
-
Erschienen in:
-
Verlag:
- Neue Suche nach: Curran Associates, Inc.
-
Erscheinungsort:Red Hook, NY
-
Erscheinungsdatum:2022
-
ISBN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 54.72 / 54.10
- Weitere Informationen zu Basisklassifikation
-
Schlagwörter:
-
Klassifikation:
-
Datenquelle:
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 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