Search

Search Results

• General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase

  Lukas Gerlach, David Carral

  6372-6379

  2023-06-26

• GANTEE: Generative Adversarial Network for Taxonomy Enterance Evaluation

  Zhouhong Gu, Sihang Jiang, Jingping Liu, Yanghua Xiao, Hongwei Feng, Zhixu Li, Jiaqing Liang, Zhong Jian

  6380-6388

  2023-06-26

• Finite Based Contraction and Expansion via Models

  Ricardo Guimarães, Ana Ozaki, Jandson S. Ribeiro

  6389-6397

  2023-06-26

• MAPS-KB: A Million-Scale Probabilistic Simile Knowledge Base

  Qianyu He, Xintao Wang, Jiaqing Liang, Yanghua Xiao

  6398-6406

  2023-06-26

• Characterizing Structural Hardness of Logic Programs: What Makes Cycles and Reachability Hard for Treewidth?

  Markus Hecher

  6407-6415

  2023-06-26

• Conditional Syntax Splitting for Non-monotonic Inference Operators

  Jesse Heyninck, Gabriele Kern-Isberner, Thomas Meyer, Jonas Philipp Haldimann, Christoph Beierle

  6416-6424

  2023-06-26

• Relational Program Synthesis with Numerical Reasoning

  Céline Hocquette, Andrew Cropper

  6425-6433

  2023-06-26

• Common Knowledge of Abstract Groups

  Merlin Humml, Lutz Schröder

  6434-6441

  2023-06-26

• FASTDIAGP: An Algorithm for Parallelized Direct Diagnosis

  Viet-Man Le, Cristian Vidal Silva, Alexander Felfernig, David Benavides, José Galindo, Thi Ngoc Trang Tran

  6442-6449

  2023-06-26

• Two Views of Constrained Differential Privacy: Belief Revision and Update

  Likang Liu, Keke Sun, Chunlai Zhou, Yuan Feng

  6450-6457

  2023-06-26

• Copyright-Certified Distillation Dataset: Distilling One Million Coins into One Bitcoin with Your Private Key

  Tengjun Liu, Ying Chen, Wanxuan Gu

  6458-6466

  2023-06-26

• DHGE: Dual-View Hyper-Relational Knowledge Graph Embedding for Link Prediction and Entity Typing

  Haoran Luo, Haihong E, Ling Tan, Gengxian Zhou, Tianyu Yao, Kaiyang Wan

  6467-6474

  2023-06-26

• Automated Verification of Propositional Agent Abstraction for Classical Planning via CTLK Model Checking

  Kailun Luo

  6475-6482

  2023-06-26

• Efficient Answer Enumeration in Description Logics with Functional Roles

  Carsten Lutz, Marcin Przybyłko

  6483-6490

  2023-06-26

• Distributed Spectrum-Based Fault Localization

  Avraham Natan, Roni Stern, Meir Kalech

  6491-6498

  2023-06-26

• Multi-Level Wavelet Mapping Correlation for Statistical Dependence Measurement: Methodology and Performance

  Yixin Ren, Hao Zhang, Yewei Xia, Jihong Guan, Shuigeng Zhou

  6499-6506

  2023-06-26

• Learning Interpretable Temporal Properties from Positive Examples Only

  Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu

  6507-6515

  2023-06-26

• Editing Boolean Classifiers: A Belief Change Perspective

  Nicolas Schwind, Katsumi Inoue, Pierre Marquis

  6516-6524

  2023-06-26

• Implementing Bounded Revision via Lexicographic Revision and C-revision

  Meliha Sezgin, Gabriele Kern-Isberner

  6525-6532

  2023-06-26

• Multi-Aspect Explainable Inductive Relation Prediction by Sentence Transformer

  Zhixiang Su, Di Wang, Chunyan Miao, Lizhen Cui

  6533-6540

  2023-06-26

• Learning to Break Symmetries for Efficient Optimization in Answer Set Programming

  Alice Tarzariol, Martin Gebser, Konstantin Schekotihin, Mark Law

  6541-6549

  2023-06-26

• On Undisputed Sets in Abstract Argumentation

  Matthias Thimm

  6550-6557

  2023-06-26

• Neurosymbolic Reasoning and Learning with Restricted Boltzmann Machines

  Son N. Tran, Artur d'Avila Garcez

  6558-6565

  2023-06-26

• Materialisation-Based Reasoning in DatalogMTL with Bounded Intervals

  Przemysław A. Wałęga, Michał Zawidzki, Dingmin Wang, Bernardo Cuenca Grau

  6566-6574

  2023-06-26

• Efficient Extraction of EL-Ontology Deductive Modules

  Hui Yang, Yue Ma, Nicole Bidoit

  6575-6582

  2023-06-26