Search

Search Results

• Equivalence in Argumentation Frameworks with a Claim-Centric View – Classical Results with Novel Ingredients

  Ringo Baumann, Anna Rapberger, Markus Ulbricht

  5479-5486

  2022-06-28

• Finite Entailment of Local Queries in the Z Family of Description Logics

  Bartosz Bednarczyk, Emanuel Kieroński

  5487-5494

  2022-06-28

• The Price of Selfishness: Conjunctive Query Entailment for ALCSelf Is 2EXPTIME-Hard

  Bartosz Bednarczyk, Sebastian Rudolph

  5495-5502

  2022-06-28

• Expressivity of Planning with Horn Description Logic Ontologies

  Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz

  5503-5511

  2022-06-28

• ER: Equivariance Regularizer for Knowledge Graph Completion

  Zongsheng Cao, Qianqian Xu, Zhiyong Yang, Qingming Huang

  5512-5520

  2022-06-28

• Geometry Interaction Knowledge Graph Embeddings

  Zongsheng Cao, Qianqian Xu, Zhiyong Yang, Xiaochun Cao, Qingming Huang

  5521-5529

  2022-06-28

• Multi-Relational Graph Representation Learning with Bayesian Gaussian Process Network

  Guanzheng Chen, Jinyuan Fang, Zaiqiao Meng, Qiang Zhang, Shangsong Liang

  5530-5538

  2022-06-28

• ASP-Based Declarative Process Mining

  Francesco Chiariello, Fabrizio Maria Maggi, Fabio Patrizi

  5539-5547

  2022-06-28

• On Testing for Discrimination Using Causal Models

  Hana Chockler, Joseph Y. Halpern

  5548-5555

  2022-06-28

• Monotone Abstractions in Ontology-Based Data Management

  Gianluca Cima, Marco Console, Maurizio Lenzerini, Antonella Poggi

  5556-5563

  2022-06-28

• Lower Bounds on Intermediate Results in Bottom-Up Knowledge Compilation

  Alexis de Colnet, Stefan Mengel

  5564-5572

  2022-06-28

• Enforcement Heuristics for Argumentation with Deep Reinforcement Learning

  Dennis Craandijk, Floris Bex

  5573-5581

  2022-06-28

• On the Computation of Necessary and Sufficient Explanations

  Adnan Darwiche, Chunxi Ji

  5582-5591

  2022-06-28

• Machine Learning for Utility Prediction in Argument-Based Computational Persuasion

  Ivan Donadello, Anthony Hunter, Stefano Teso, Mauro Dragoni

  5592-5599

  2022-06-28

• On the Complexity of Inductively Learning Guarded Clauses

  Andrei Draghici, Georg Gottlob, Matthias Lanzinger

  5600-5607

  2022-06-28

• Tractable Abstract Argumentation via Backdoor-Treewidth

  Wolfgang Dvořák, Markus Hecher, Matthias König, André Schidler, Stefan Szeider, Stefan Woltran

  5608-5615

  2022-06-28

• Large-Neighbourhood Search for Optimisation in Answer-Set Solving

  Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch, Daria Stepanova

  5616-5625

  2022-06-28

• Answering Queries with Negation over Existential Rules

  Stefan Ellmauthaler, Markus Krötzsch, Stephan Mennicke

  5626-5633

  2022-06-28

• Axiomatization of Aggregates in Answer Set Programming

  Jorge Fandinno, Zachary Hansen, Yuliya Lierler

  5634-5641

  2022-06-28

• Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic

  Paolo Felli, Marco Montali, Sarah Winkler

  5642-5650

  2022-06-28

• Rushing and Strolling among Answer Sets – Navigation Made Easy

  Johannes Klaus Fichte, Sarah Alice Gaggl, Dominik Rusovac

  5651-5659

  2022-06-28

• Sufficient Reasons for Classifier Decisions in the Presence of Domain Constraints

  Niku Gorji, Sasha Rubin

  5660-5667

  2022-06-28

• Reasoning about Causal Models with Infinitely Many Variables

  Joseph Y. Halpern, Spencer Peters

  5668-5675

  2022-06-28

• An Axiomatic Approach to Revising Preferences

  Adrian Haret, Johannes Peter Wallner

  5676-5683

  2022-06-28

• BERTMap: A BERT-Based Ontology Alignment System

  Yuan He, Jiaoyan Chen, Denvar Antonyrajah, Ian Horrocks

  5684-5691

  2022-06-28