Search

Search Results

• Forgetting in Modular Answer Set Programming

  Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran

  2843-2850

  2019-07-17

• Partial Awareness

  Joseph Y. Halpern, Evan Piermont

  2851-2858

  2019-07-17

• Modular Materialisation of Datalog Programs

  Pan Hu, Boris Motik, Ian Horrocks

  2859-2866

  2019-07-17

• Bi-Kronecker Functional Decision Diagrams: A Novel Canonical Representation of Boolean Functions

  Xuanxiang Huang, Kehang Fang, Liangda Fang, Qingliang Chen, Zhao-Rong Lai, Linfeng Wei

  2867-2875

  2019-07-17

• Minimum Intervention Cover of a Causal Graph

  Saravanan Kandasamy, Arnab Bhattacharyya, Vasant G. Honavar

  2876-2885

  2019-07-17

• Knowledge Refinement via Rule Selection

  Phokion G. Kolaitis, Lucian Popa, Kun Qian

  2886-2894

  2019-07-17

• LENA: Locality-Expanded Neural Embedding for Knowledge Base Completion

  Fanshuang Kong, Richong Zhang, Yongyi Mao, Ting Deng

  2895-2902

  2019-07-17

• Ontology-Based Query Answering for Probabilistic Temporal Data

  Patrick Koopmann

  2903-2910

  2019-07-17

• Combining Deep Learning and Qualitative Spatial Reasoning to Learn Complex Structures from Sparse Examples with Noise

  Nikhil Krishnaswamy, Scott Friedman, James Pustejovsky

  2911-2918

  2019-07-17

• Representing and Learning Grammars in Answer Set Programming

  Mark Law, Alessandra Russo, Elisa Bertino, Krysia Broda, Jorge Lobo

  2919-2928

  2019-07-17

• Multi-Context System for Optimization Problems

  Tiep Le, Tran Cao Son, Enrico Pontelli

  2929-2937

  2019-07-17

• Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings

  Tuomo Lehtonen, Johannes P. Wallner, Matti Järvisalo

  2938-2945

  2019-07-17

• SAT-Based Explicit LTLf Satisfiability Checking

  Jianwen Li, Kristin Y. Rozier, Geguang Pu, Yueling Zhang, Moshe Y. Vardi

  2946-2953

  2019-07-17

• Implanting Rational Knowledge into Distributed Representation at Morpheme Level

  Zi Lin, Yang Liu

  2954-2961

  2019-07-17

• Complexity of Inconsistency-Tolerant Query Answering in Datalog+/– under Cardinality-Based Repairs

  Thomas Lukasiewicz, Enrico Malizia, Andrius Vaicenavičius

  2962-2969

  2019-07-17

• SDRL: Interpretable and Data-Efficient Deep Reinforcement Learning Leveraging Symbolic Planning

  Daoming Lyu, Fangkai Yang, Bo Liu, Steven Gustafson

  2970-2977

  2019-07-17

• Less but Better: Generalization Enhancement of Ordinal Embedding via Distributional Margin

  Ke Ma, Qianqian Xu, Zhiyong Yang, Xiaochun Cao

  2978-2985

  2019-07-17

• Group Decision Diagram (GDD): A Compact Representation for Permutations

  Takanori Maehara, Yuma Inoue

  2986-2994

  2019-07-17

• On Limited Conjunctions and Partial Features in Parameter-Tractable Feature Logics

  Stephanie McIntyre, Alexander Borgida, David Toman, Grant Weddell

  2995-3002

  2019-07-17

• Declarative Question Answering over Knowledge Bases Containing Natural Language Text with Answer Set Programming

  Arindam Mitra, Peter Clark, Oyvind Tafjord, Chitta Baral

  3003-3010

  2019-07-17

• Blameworthiness in Strategic Games

  Pavel Naumov, Jia Tao

  3011-3018

  2019-07-17

• Belief Change and Non-Monotonic Reasoning Sans Compactness

  Jandson S. Ribeiro, Abhaya Nayak, Renata Wassermann

  3019-3026

  2019-07-17

• ATOMIC: An Atlas of Machine Commonsense for If-Then Reasoning

  Maarten Sap, Ronan Le Bras, Emily Allaway, Chandra Bhagavatula, Nicholas Lourie, Hannah Rashkin, Brendan Roof, Noah A. Smith, Yejin Choi

  3027-3035

  2019-07-17

• Efficient Concept Induction for Description Logics

  Md Kamruzzaman Sarker, Pascal Hitzler

  3036-3043

  2019-07-17

• An Open-World Extension to Knowledge Graph Completion Models

  Haseeb Shah, Johannes Villmow, Adrian Ulges, Ulrich Schwanecke, Faisal Shafait

  3044-3051

  2019-07-17