• Skip to main content
  • Skip to primary sidebar
AAAI

AAAI

Association for the Advancement of Artificial Intelligence

    • AAAI

      AAAI

      Association for the Advancement of Artificial Intelligence

  • About AAAIAbout AAAI
    • AAAI Officers and Committees
    • AAAI Staff
    • Bylaws of AAAI
    • AAAI Awards
      • Fellows Program
      • Classic Paper Award
      • Dissertation Award
      • Distinguished Service Award
      • Allen Newell Award
      • Outstanding Paper Award
      • Award for Artificial Intelligence for the Benefit of Humanity
      • Feigenbaum Prize
      • Patrick Henry Winston Outstanding Educator Award
      • Engelmore Award
      • AAAI ISEF Awards
      • Senior Member Status
      • Conference Awards
    • AAAI Resources
    • AAAI Mailing Lists
    • Past AAAI Presidential Addresses
    • Presidential Panel on Long-Term AI Futures
    • Past AAAI Policy Reports
      • A Report to ARPA on Twenty-First Century Intelligent Systems
      • The Role of Intelligent Systems in the National Information Infrastructure
    • AAAI Logos
    • News
  • aaai-icon_ethics-diversity-line-yellowEthics & Diversity
  • Conference talk bubbleConferences & Symposia
    • AAAI Conference
    • AIES AAAI/ACM
    • AIIDE
    • IAAI
    • ICWSM
    • HCOMP
    • Spring Symposia
    • Summer Symposia
    • Fall Symposia
    • Code of Conduct for Conferences and Events
  • PublicationsPublications
    • AAAI Press
    • AI Magazine
    • Conference Proceedings
    • AAAI Publication Policies & Guidelines
    • Request to Reproduce Copyrighted Materials
  • aaai-icon_ai-magazine-line-yellowAI Magazine
    • Issues and Articles
    • Author Guidelines
    • Editorial Focus
  • MembershipMembership
    • Member Login
    • Developing Country List
    • AAAI Chapter Program

  • Career CenterCareer Center
  • aaai-icon_ai-topics-line-yellowAITopics
  • aaai-icon_contact-line-yellowContact

Home / Proceedings / Proceedings of the AAAI Conference on Artificial Intelligence, 36 /

No. 5: AAAI-22 Technical Tracks 5

AAAI Technical Track on Game Theory and Economic Paradigms

  • PageRank for Edges: Axiomatic Characterization

    Natalia Kucharczuk, Tomasz Wąs, Oskar Skibski

    5108-5115

    PDF
  • Safe Subgame Resolving for Extensive Form Correlated Equilibrium

    Chun Kai Ling, Fei Fang

    5116-5123

    PDF
  • The Semi-random Likelihood of Doctrinal Paradoxes

    Ao Liu, Lirong Xia

    5124-5132

    PDF
  • Is There a Strongest Die in a Set of Dice with the Same Mean Pips?

    Shang Lu, Shuji Kijima

    5133-5140

    PDF
  • Choices Are Not Independent: Stackelberg Security Games with Nested Quantal Response Models

    Tien Mai, Arunesh Sinha

    5141-5149

    PDF
  • Strictly Proper Contract Functions Can Be Arbitrage-Free

    Eric Neyman, Tim Roughgarden

    5150-5155

    PDF
  • Characterization of Incentive Compatibility of an Ex-ante Constrained Player

    Bonan Ni, Pingzhong Tang

    5156-5163

    PDF
  • Online Elicitation of Necessarily Optimal Matchings

    Jannik Peters

    5164-5172

    PDF
  • Generalized Dynamic Cognitive Hierarchy Models for Strategic Driving Behavior

    Atrisha Sarkar, Kate Larson, Krzysztof Czarnecki

    5173-5182

    PDF
  • Improved Maximin Guarantees for Subadditive and Fractionally Subadditive Fair Allocation Problem

    Masoud Seddighin, Saeed Seddighin

    5183-5190

    PDF
  • Proportional Public Decisions

    Piotr Skowron, Adrian Górecki

    5191-5198

    PDF
  • Online Task Assignment Problems with Reusable Resources

    Hanna Sumita, Shinji Ito, Kei Takemura, Daisuke Hatano, Takuro Fukunaga, Naonori Kakimura, Ken-ichi Kawarabayashi

    5199-5207

    PDF
  • Iterative Calculus of Voting under Plurality

    Fabricio Vasselai

    5208-5218

    PDF
  • Coordinating Followers to Reach Better Equilibria: End-to-End Gradient Descent for Stackelberg Games

    Kai Wang, Lily Xu, Andrew Perrault, Michael K. Reiter, Milind Tambe

    5219-5227

    PDF
  • Multi-Unit Auction in Social Networks with Budgets

    Mingyu Xiao, Yuchao Song, Bakh Khoussainov

    5228-5235

    PDF
  • The Strange Role of Information Asymmetry in Auctions—Does More Accurate Value Estimation Benefit a Bidder?

    Haifeng Xu, Ruggiero Cavallo

    5236-5243

    PDF
  • AutoCFR: Learning to Design Counterfactual Regret Minimization Algorithms

    Hang Xu, Kai Li, Haobo Fu, Qiang Fu, Junliang Xing

    5244-5251

    PDF
  • Team Correlated Equilibria in Zero-Sum Extensive-Form Games via Tree Decompositions

    Brian Hu Zhang, Tuomas Sandholm

    5252-5259

    PDF
  • Planning with Participation Constraints

    Hanrui Zhang, Yu Cheng, Vincent Conitzer

    5260-5267

    PDF
  • Signaling in Posted Price Auctions

    Matteo Castiglioni, Giulia Romano, Alberto Marchesi, Nicola Gatti

    4941-4948

    PDF
  • Weighted Fairness Notions for Indivisible Items Revisited

    Mithun Chakraborty, Erel Segal-Halevi, Warut Suksompong

    4949-4956

    PDF
  • Pizza Sharing Is PPA-Hard

    Argyrios Deligkas, John Fearnley, Themistoklis Melissourgos

    4957-4965

    PDF
  • Heterogeneous Facility Location with Limited Resources

    Argyrios Deligkas, Aris Filos-Ratsikas, Alexandros A. Voudouris

    4966-4974

    PDF
  • Complexity of Deliberative Coalition Formation

    Edith Elkind, Abheek Ghosh, Paul Goldberg

    4975-4982

    PDF
  • The Price of Justified Representation

    Edith Elkind, Piotr Faliszewski, Ayumi Igarashi, Pasin Manurangsi, Ulrike Schmidt-Kraepelin, Warut Suksompong

    4983-4990

    PDF
  • The Complexity of Subelection Isomorphism Problems

    Piotr Faliszewski, Krzysztof Sornat, Stanisław Szufa

    4991-4998

    PDF
  • Fast Payoff Matrix Sparsification Techniques for Structured Extensive-Form Games

    Gabriele Farina, Tuomas Sandholm

    4999-5007

    PDF
  • Two-Price Equilibrium

    Michal Feldman, Galia Shabtai, Aner Wolfenfeld

    5008-5015

    PDF
  • Algorithmic Bayesian Persuasion with Combinatorial Actions

    Kaito Fujii, Shinsaku Sakaue

    5016-5024

    PDF
  • Bayesian Persuasion in Sequential Decision-Making

    Jiarui Gan, Rupak Majumdar, Goran Radanovic, Adish Singla

    5025-5033

    PDF
  • Hedonic Diversity Games: A Complexity Picture with More than Two Colors

    Robert Ganian, Thekla Hamm, Dušan Knop, Šimon Schierreich, Ondřej Suchý

    5034-5042

    PDF
  • Fair and Efficient Allocations of Chores under Bivalued Preferences

    Jugal Garg, Aniket Murhekar, John Qin

    5043-5050

    PDF
  • Secretary Matching with Vertex Arrivals and No Rejections

    Mohak Goyal

    5051-5058

    PDF
  • Machine-Learned Prediction Equilibrium for Dynamic Traffic Assignment

    Lukas Graf, Tobias Harks, Kostas Kollias, Michael Markl

    5059-5067

    PDF
  • Multi-Leader Congestion Games with an Adversary

    Tobias Harks, Mona Henle, Max Klimm, Jannik Matuschke, Anja Schedel

    5068-5075

    PDF
  • Approval-Based Committee Voting under Incomplete Information

    Aviram Imber, Jonas Israel, Markus Brill, Benny Kimelfeld

    5076-5083

    PDF
  • Reforming an Envy-Free Matching

    Takehiro Ito, Yuni Iwamasa, Naonori Kakimura, Naoyuki Kamiyama, Yusuke Kobayashi, Yuta Nozaki, Yoshio Okamoto, Kenta Ozeki

    5084-5091

    PDF
  • The Complexity of Proportionality Degree in Committee Elections

    Łukasz Janeczko, Piotr Faliszewski

    5092-5099

    PDF
  • Worst-Case Voting When the Stakes Are High

    Anson Kahng, Gregory Kehne

    5100-5107

    PDF
  • Dimensionality and Coordination in Voting: The Distortion of STV

    Ioannis Anagnostides, Dimitris Fotakis, Panagiotis Patsilinakos

    4776-4784

    PDF
  • Fair and Truthful Giveaway Lotteries

    Tal Arbiv, Yonatan Aumann

    4785-4792

    PDF
  • Universal and Tight Online Algorithms for Generalized-Mean Welfare

    Siddharth Barman, Arindam Khan, Arnab Maiti

    4793-4800

    PDF
  • Truthful and Fair Mechanisms for Matroid-Rank Valuations

    Siddharth Barman, Paritosh Verma

    4801-4808

    PDF
  • Truthful Cake Sharing

    Xiaohui Bei, Xinhang Lu, Warut Suksompong

    4809-4817

    PDF
  • The Secretary Problem with Competing Employers on Random Edge Arrivals

    Xiaohui Bei, Shengyu Zhang

    4818-4825

    PDF
  • Almost Full EFX Exists for Four Agents

    Ben Berger, Avi Cohen, Michal Feldman, Amos Fiat

    4826-4833

    PDF
  • Sequential Blocked Matching

    Nicholas Bishop, Hau Chan, Debmalya Mandal, Long Tran-Thanh

    4834-4842

    PDF
  • Combating Collusion Rings Is Hard but Possible

    Niclas Boehmer, Robert Bredereck, André Nichterlein

    4843-4850

    PDF
  • Theory of and Experiments on Minimally Invasive Stability Preservation in Changing Two-Sided Matching Markets

    Niclas Boehmer, Klaus Heeger, Rolf Niedermeier

    4851-4858

    PDF
  • A Calculus for Computing Structured Justifications for Election Outcomes

    Arthur Boixel, Ulle Endriss, Ronald de Haan

    4859-4866

    PDF
  • Single-Agent Dynamics in Additively Separable Hedonic Games

    Felix Brandt, Martin Bullinger, Leo Tappe

    4867-4874

    PDF
  • On Improving Resource Allocations by Sharing

    Robert Bredereck, Andrzej Kaczmarczyk, Junjie Luo, Rolf Niedermeier, Florian Sachse

    4875-4883

    PDF
  • Liquid Democracy with Ranked Delegations

    Markus Brill, Théo Delemazure, Anne-Marie George, Martin Lackner, Ulrike Schmidt-Kraepelin

    4884-4891

    PDF
  • Individual Representation in Approval-Based Committee Voting

    Markus Brill, Jonas Israel, Evi Micha, Jannik Peters

    4892-4899

    PDF
  • The Metric Distortion of Multiwinner Voting

    Ioannis Caragiannis, Nisarg Shah, Alexandros A. Voudouris

    4900-4907

    PDF
  • A Little Charity Guarantees Fair Connected Graph Partitioning

    Ioannis Caragiannis, Evi Micha, Nisarg Shah

    4908-4916

    PDF
  • Truthful Aggregation of Budget Proposals with Proportionality Guarantees

    Ioannis Caragiannis, George Christodoulou, Nicos Protopapas

    4917-4924

    PDF
  • The Complexity of Learning Approval-Based Multiwinner Voting Rules

    Ioannis Caragiannis, Karl Fehrs

    4925-4932

    PDF
  • Efficiency of Ad Auctions with Price Displaying

    Matteo Castiglioni, Diodato Ferraioli, Nicola Gatti, Alberto Marchesi, Giulia Romano

    4933-4940

    PDF
  • An Algorithmic Introduction to Savings Circles

    Rediet Abebe, Adam Eck, Christian Ikeokwu, Sam Taggart

    4744-4751

    PDF
  • Locally Fair Partitioning

    Pankaj K. Agarwal, Shao-Heng Ko, Kamesh Munagala, Erin Taylor

    4752-4759

    PDF
  • Maximizing Nash Social Welfare in 2-Value Instances

    Hannaneh Akrami, Bhaskar Ray Chaudhury, Martin Hoefer, Kurt Mehlhorn, Marco Schmalhofer, Golnoosh Shahkarami, Giovanna Varricchio, Quentin Vermande, Ernest van Wijland

    4760-4767

    PDF
  • Truth-Tracking via Approval Voting: Size Matters

    Tahar Allouche, Jérôme Lang, Florian Yger

    4768-4775

    PDF

AAAI Technical Track on Humans and AI

  • Explain, Edit, and Understand: Rethinking User Study Design for Evaluating Model Explanations

    Siddhant Arora, Danish Pruthi, Norman Sadeh, William W. Cohen, Zachary C. Lipton, Graham Neubig

    5277-5285

    PDF
  • Role of Human-AI Interaction in Selective Prediction

    Elizabeth Bondi, Raphael Koster, Hannah Sheahan, Martin Chadwick, Yoram Bachrach, Taylan Cemgil, Ulrich Paquet, Krishnamurthy Dvijotham

    5286-5294

    PDF
  • How General-Purpose Is a Language Model? Usefulness and Safety with Human Prompters in the Wild

    Pablo Antonio Moreno Casares, Bao Sheng Loe, John Burden, Sean hEigeartaigh, José Hernández-Orallo

    5295-5303

    PDF
  • Adversarial Learning from Crowds

    Pengpeng Chen, Hailong Sun, Yongqiang Yang, Zhijun Chen

    5304-5312

    PDF
  • FOCUS: Flexible Optimizable Counterfactual Explanations for Tree Ensembles

    Ana Lucic, Harrie Oosterhuis, Hinda Haned, Maarten de Rijke

    5313-5322

    PDF
  • Teaching Humans When to Defer to a Classifier via Exemplars

    Hussein Mozannar, Arvind Satyanarayan, David Sontag

    5323-5331

    PDF
  • Deceptive Decision-Making under Uncertainty

    Yagiz Savas, Christos K. Verginis, Ufuk Topcu

    5332-5340

    PDF
  • On Optimizing Interventions in Shared Autonomy

    Weihao Tan, David Koleczek, Siddhant Pradhan, Nicholas Perello, Vivek Chettiar, Vishal Rohra, Aaslesha Rajaram, Soundararajan Srinivasan, H M Sajjad Hossain, Yash Chandak

    5341-5349

    PDF
  • Open Vocabulary Electroencephalography-to-Text Decoding and Zero-Shot Sentiment Classification

    Zhenhailong Wang, Heng Ji

    5350-5358

    PDF
  • DeepVisualInsight: Time-Travelling Visualization for Spatio-Temporal Causality of Deep Classification Training

    Xianglin Yang, Yun Lin, Ruofan Liu, Zhenfeng He, Chao Wang, Jin Song Dong, Hong Mei

    5359-5366

    PDF
  • When Facial Expression Recognition Meets Few-Shot Learning: A Joint and Alternate Learning Framework

    Xinyi Zou, Yan Yan, Jing-Hao Xue, Si Chen, Hanzi Wang

    5367-5375

    PDF
  • “I Don’t Think So”: Summarizing Policy Disagreements for Agent Comparison

    Yotam Amitai, Ofra Amir

    5269-5276

    PDF

AAAI Technical Track on Intelligent Robotics

  • Discovering State and Action Abstractions for Generalized Task and Motion Planning

    Aidan Curtis, Tom Silver, Joshua B. Tenenbaum, Tomás Lozano-Pérez, Leslie Kaelbling

    5377-5384

    PDF
  • Recurrent Neural Network Controllers Synthesis with Stability Guarantees for Partially Observed Systems

    Fangda Gu, He Yin, Laurent El Ghaoui, Murat Arcak, Peter Seiler, Ming Jin

    5385-5394

    PDF
  • Random Mapping Method for Large-Scale Terrain Modeling

    Xu Liu, Decai Li, Yuqing He

    5395-5403

    PDF
  • Conservative and Adaptive Penalty for Model-Based Safe Reinforcement Learning

    Yecheng Jason Ma, Andrew Shen, Osbert Bastani, Jayaraman Dinesh

    5404-5412

    PDF
  • CTIN: Robust Contextual Transformer Network for Inertial Navigation

    Bingbing Rao, Ehsan Kazemi, Yifan Ding, Devu M Shila, Frank M Tucker, Liqiang Wang

    5413-5421

    PDF
  • Monocular Camera-Based Point-Goal Navigation by Learning Depth Channel and Cross-Modality Pyramid Fusion

    Tianqi Tang, Heming Du, Xin Yu, Yi Yang

    5422-5430

    PDF
  • Robust Adversarial Reinforcement Learning with Dissipation Inequation Constraint

    Peng Zhai, Jie Luo, Zhiyan Dong, Lihua Zhang, Shunli Wang, Dingkang Yang

    5431-5439

    PDF
  • Sim2Real Object-Centric Keypoint Detection and Description

    Chengliang Zhong, Chao Yang, Fuchun Sun, Jinshan Qi, Xiaodong Mu, Huaping Liu, Wenbing Huang

    5440-5449

    PDF

AAAI Technical Track on Knowledge Representation and Reasoning

  • Using Conditional Independence for Belief Revision

    Matthew James Lynn, James P. Delgrande, Pavlos Peppas

    5809-5816

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

    Sagar Malhotra, Luciano Serafini

    5817-5824

    PDF
  • 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

    PDF
  • Compilation of Aggregates in ASP Systems

    Giuseppe Mazzotta, Francesco Ricca, Carmine Dodaro

    5834-5841

    PDF
  • Prevailing in the Dark: Information Walls in Strategic Games

    Pavel Naumov, Wenxuan Zhang

    5842-5850

    PDF
  • Knowledge Compilation Meets Logical Separability

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

    5851-5860

    PDF
  • Propositional Encodings of Acyclicity and Reachability by Using Vertex Elimination

    Masood Feyzbakhsh Rankooh, Jussi Rintanen

    5861-5868

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

    Patrick Rodler

    5869-5878

    PDF
  • On Paraconsistent Belief Revision in LP

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

    5879-5887

    PDF
  • Weakly Supervised Neural Symbolic Learning for Cognitive Tasks

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

    5888-5896

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

    David Toman, Grant Weddell

    5897-5905

    PDF
  • MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators

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

    5906-5913

    PDF
  • SGEITL: Scene Graph Enhanced Image-Text Learning for Visual Commonsense Reasoning

    Zhecan Wang, Haoxuan You, Liunian Harold Li, Alireza Zareian, Suji Park, Yiqing Liang, Kai-Wei Chang, Shih-Fu Chang

    5914-5922

    PDF
  • Inductive Relation Prediction by BERT

    Hanwen Zha, Zhiyu Chen, Xifeng Yan

    5923-5931

    PDF
  • Learning to Walk with Dual Agents for Knowledge Graph Reasoning

    Denghui Zhang, Zixuan Yuan, Hao Liu, Xiaodong lin, Hui Xiong

    5932-5941

    PDF
  • Residual Similarity Based Conditional Independence Test and Its Application in Causal Discovery

    Hao Zhang, Shuigeng Zhou, Kun Zhang, Jihong Guan

    5942-5949

    PDF
  • Characterizing the Program Expressive Power of Existential Rule Languages

    Heng Zhang, Guifei Jiang

    5950-5957

    PDF
  • Axiomatization of Aggregates in Answer Set Programming

    Jorge Fandinno, Zachary Hansen, Yuliya Lierler

    5634-5641

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

    Paolo Felli, Marco Montali, Sarah Winkler

    5642-5650

    PDF
  • Rushing and Strolling among Answer Sets – Navigation Made Easy

    Johannes Klaus Fichte, Sarah Alice Gaggl, Dominik Rusovac

    5651-5659

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

    Niku Gorji, Sasha Rubin

    5660-5667

    PDF
  • Reasoning about Causal Models with Infinitely Many Variables

    Joseph Y. Halpern, Spencer Peters

    5668-5675

    PDF
  • An Axiomatic Approach to Revising Preferences

    Adrian Haret, Johannes Peter Wallner

    5676-5683

    PDF
  • BERTMap: A BERT-Based Ontology Alignment System

    Yuan He, Jiaoyan Chen, Denvar Antonyrajah, Ian Horrocks

    5684-5691

    PDF
  • Conditional Abstract Dialectical Frameworks

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

    5692-5699

    PDF
  • MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural Networks

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

    5700-5709

    PDF
  • 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

    PDF
  • Tractable Explanations for d-DNNF Classifiers

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

    5719-5728

    PDF
  • Understanding Enthymemes in Deductive Argumentation Using Semantic Distance Measures

    Anthony Hunter

    5729-5736

    PDF
  • Inferring Lexicographically-Ordered Rewards from Preferences

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

    5737-5745

    PDF
  • Towards Fine-Grained Reasoning for Fake News Detection

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

    5746-5754

    PDF
  • 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

    PDF
  • Unit Selection with Causal Diagram

    Ang Li, Judea Pearl

    5765-5772

    PDF
  • Bounds on Causal Effects and Application to High Dimensional Data

    Ang Li, Judea Pearl

    5773-5780

    PDF
  • 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

    PDF
  • 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

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

    Kailun Luo, Yongmei Liu

    5800-5808

    PDF
  • Trading Complexity for Sparsity in Random Forest Explanations

    Gilles Audemard, Steve Bellart, Louènas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis

    5461-5469

    PDF
  • From Actions to Programs as Abstract Actual Causes

    Bita Banihashemi, Shakil M. Khan, Mikhail Soutchanski

    5470-5478

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

    Ringo Baumann, Anna Rapberger, Markus Ulbricht

    5479-5486

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

    Bartosz Bednarczyk, Emanuel Kieroński

    5487-5494

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

    Bartosz Bednarczyk, Sebastian Rudolph

    5495-5502

    PDF
  • Expressivity of Planning with Horn Description Logic Ontologies

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

    5503-5511

    PDF
  • ER: Equivariance Regularizer for Knowledge Graph Completion

    Zongsheng Cao, Qianqian Xu, Zhiyong Yang, Qingming Huang

    5512-5520

    PDF
  • Geometry Interaction Knowledge Graph Embeddings

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

    5521-5529

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

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

    5530-5538

    PDF
  • ASP-Based Declarative Process Mining

    Francesco Chiariello, Fabrizio Maria Maggi, Fabio Patrizi

    5539-5547

    PDF
  • On Testing for Discrimination Using Causal Models

    Hana Chockler, Joseph Y. Halpern

    5548-5555

    PDF
  • Monotone Abstractions in Ontology-Based Data Management

    Gianluca Cima, Marco Console, Maurizio Lenzerini, Antonella Poggi

    5556-5563

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

    Alexis de Colnet, Stefan Mengel

    5564-5572

    PDF
  • Enforcement Heuristics for Argumentation with Deep Reinforcement Learning

    Dennis Craandijk, Floris Bex

    5573-5581

    PDF
  • On the Computation of Necessary and Sufficient Explanations

    Adnan Darwiche, Chunxi Ji

    5582-5591

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

    Ivan Donadello, Anthony Hunter, Stefano Teso, Mauro Dragoni

    5592-5599

    PDF
  • On the Complexity of Inductively Learning Guarded Clauses

    Andrei Draghici, Georg Gottlob, Matthias Lanzinger

    5600-5607

    PDF
  • Tractable Abstract Argumentation via Backdoor-Treewidth

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

    5608-5615

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

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

    5616-5625

    PDF
  • Answering Queries with Negation over Existential Rules

    Stefan Ellmauthaler, Markus Krötzsch, Stephan Mennicke

    5626-5633

    PDF
  • Incomplete Argumentation Frameworks: Properties and Complexity

    Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna

    5451-5460

    PDF

Primary Sidebar