Search

Search Results

• Conditional Abstract Dialectical Frameworks

  Jesse Heyninck, Matthias Thimm, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba

  5692-5699

  2022-06-28

• MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural Networks

  Nick Hoernle, Rafael Michael Karampatsis, Vaishak Belle, Kobi Gal

  5700-5709

  2022-06-28

• Towards Explainable Action Recognition by Salient Qualitative Spatial Object Relation Chains

  Hua Hua, Dongxu Li, Ruiqi Li, Peng Zhang, Jochen Renz, Anthony Cohn

  5710-5718

  2022-06-28

• Tractable Explanations for d-DNNF Classifiers

  Xuanxiang Huang, Yacine Izza, Alexey Ignatiev, Martin Cooper, Nicholas Asher, Joao Marques-Silva

  5719-5728

  2022-06-28

• Understanding Enthymemes in Deductive Argumentation Using Semantic Distance Measures

  Anthony Hunter

  5729-5736

  2022-06-28

• Inferring Lexicographically-Ordered Rewards from Preferences

  Alihan Hüyük, William R. Zame, Mihaela van der Schaar

  5737-5745

  2022-06-28

• Towards Fine-Grained Reasoning for Fake News Detection

  Yiqiao Jin, Xiting Wang, Ruichao Yang, Yizhou Sun, Wei Wang, Hao Liao, Xing Xie

  5746-5754

  2022-06-28

• ApproxASP – a Scalable Approximate Answer Set Counter

  Mohimenul Kabir, Flavio O Everardo, Ankit K Shukla, Markus Hecher, Johannes Klaus Fichte, Kuldeep S Meel

  5755-5764

  2022-06-28

• Unit Selection with Causal Diagram

  Ang Li, Judea Pearl

  5765-5772

  2022-06-28

• Bounds on Causal Effects and Application to High Dimensional Data

  Ang Li, Judea Pearl

  5773-5780

  2022-06-28

• How Does Knowledge Graph Embedding Extrapolate to Unseen Data: A Semantic Evidence View

  Ren Li, Yanan Cao, Qiannan Zhu, Guanqun Bi, Fang Fang, Yi Liu, Qian Li

  5781-5791

  2022-06-28

• Multi-View Graph Representation for Programming Language Processing: An Investigation into Algorithm Detection

  Ting Long, Yutong Xie, Xianyu Chen, Weinan Zhang, Qinxiang Cao, Yong Yu

  5792-5799

  2022-06-28

• Automated Synthesis of Generalized Invariant Strategies via Counterexample-Guided Strategy Refinement

  Kailun Luo, Yongmei Liu

  5800-5808

  2022-06-28

• Using Conditional Independence for Belief Revision

  Matthew James Lynn, James P. Delgrande, Pavlos Peppas

  5809-5816

  2022-06-28

• Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula

  Sagar Malhotra, Luciano Serafini

  5817-5824

  2022-06-28

• TempoQR: Temporal Question Reasoning over Knowledge Graphs

  Costas Mavromatis, Prasanna Lakkur Subramanyam, Vassilis N. Ioannidis, Adesoji Adeshina, Phillip R Howard, Tetiana Grinberg, Nagib Hakim, George Karypis

  5825-5833

  2022-06-28

• Compilation of Aggregates in ASP Systems

  Giuseppe Mazzotta, Francesco Ricca, Carmine Dodaro

  5834-5841

  2022-06-28

• Prevailing in the Dark: Information Walls in Strategic Games

  Pavel Naumov, Wenxuan Zhang

  5842-5850

  2022-06-28

• Knowledge Compilation Meets Logical Separability

  Junming Qiu, Wenqing Li, Zhanhao Xiao, Quanlong Guan, Liangda Fang, Zhao-Rong Lai, Qian Dong

  5851-5860

  2022-06-28

• Propositional Encodings of Acyclicity and Reachability by Using Vertex Elimination

  Masood Feyzbakhsh Rankooh, Jussi Rintanen

  5861-5868

  2022-06-28

• Random vs. Best-First: Impact of Sampling Strategies on Decision Making in Model-Based Diagnosis

  Patrick Rodler

  5869-5878

  2022-06-28

• On Paraconsistent Belief Revision in LP

  Nicolas Schwind, Sébastien Konieczny, Ramón Pino Pérez

  5879-5887

  2022-06-28

• Weakly Supervised Neural Symbolic Learning for Cognitive Tasks

  Jidong Tian, Yitian Li, Wenqing Chen, Liqiang Xiao, Hao He, Yaohui Jin

  5888-5896

  2022-06-28

• First Order Rewritability in Ontology-Mediated Querying in Horn Description Logics

  David Toman, Grant Weddell

  5897-5905

  2022-06-28

• MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators

  Dingmin Wang, Pan Hu, Przemysław Andrzej Wałęga, Bernardo Cuenca Grau

  5906-5913

  2022-06-28