Search

Search Results

• Stable Model Semantics for Description Logic Terminologies

  Federica Di Stefano, Mantas Šimkus

  10484-10492

  2024-03-24

• Redefining ABA+ Semantics via Abstract Set-to-Set Attacks

  Yannis Dimopoulos , Wolfgang Dvorak, Matthias König, Anna Rapberger, Markus Ulbricht, Stefan Woltran

  10493-10500

  2024-03-24

• Towards Epistemic-Doxastic Planning with Observation and Revision

  Thorsten Engesser, Andreas Herzig, Elise Perrotin

  10501-10508

  2024-03-24

• Dynamic Tangled Derivative Logic of Metric Spaces

  David Fernández-Duque, Yoàv Montacute

  10509-10516

  2024-03-24

• Submodel Enumeration for CTL Is Hard

  Nicolas Fröhlich, Arne Meier

  10517-10524

  2024-03-24

• Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata

  Alessandro Gianola, Marco Montali, Sarah Winkler

  10525-10534

  2024-03-24

• On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions?

  Markus Hecher, Rafael Kiesel

  10535-10543

  2024-03-24

• Knowledge Enhanced Representation Learning for Drug Discovery

  Thanh Lam Hoang, Marco Luca Sbodio, Marcos Martinez Galindo, Mykhaylo Zayats, Raul Fernandez-Diaz, Victor Valls, Gabriele Picco, Cesar Berrospi, Vanessa Lopez

  10544-10552

  2024-03-24

• Learning MDL Logic Programs from Noisy Data

  Céline Hocquette, Andreas Niskanen, Matti Järvisalo, Andrew Cropper

  10553-10561

  2024-03-24

• A Compiler for Weak Decomposable Negation Normal Form

  Petr Illner, Petr Kučera

  10562-10570

  2024-03-24

• Exact ASP Counting with Compact Encodings

  Mohimenul Kabir, Supratik Chakraborty, Kuldeep S. Meel

  10571-10580

  2024-03-24

• Minimal Macro-Based Rewritings of Formal Languages: Theory and Applications in Ontology Engineering (and Beyond)

  Christian Kindermann, Anne-Marie George, Bijan Parsia, Uli Sattler

  10581-10588

  2024-03-24

• On the Expressivity of Recurrent Neural Cascades

  Nadezda Alexandrovna Knorozova, Alessandro Ronca

  10589-10596

  2024-03-24

• Efficient Axiomatization of OWL 2 EL Ontologies from Data by Means of Formal Concept Analysis

  Francesco Kriegel

  10597-10606

  2024-03-24

• BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving

  Sean Lamont, Michael Norrish, Amir Dezfouli, Christian Walder, Paul Montague

  10607-10615

  2024-03-24

• INFORMEDQX: Informed Conflict Detection for Over-Constrained Problems

  Viet-Man Le, Alexander Felfernig, Thi Ngoc Trang Tran, Mathias Uta

  10616-10623

  2024-03-24

• Abstraction of Situation Calculus Concurrent Game Structures

  Yves Lesperance, Giuseppe De Giacomo, Maryam Rostamigiv, Shakil M. Khan

  10624-10634

  2024-03-24

• Relational Programming with Foundational Models

  Ziyang Li, Jiani Huang, Jason Liu, Felix Zhu, Eric Zhao, William Dodds, Neelay Velingker, Rajeev Alur, Mayur Naik

  10635-10644

  2024-03-24

• MINES: Message Intercommunication for Inductive Relation Reasoning over Neighbor-Enhanced Subgraphs

  Ke Liang, Lingyuan Meng, Sihang Zhou, Wenxuan Tu, Siwei Wang, Yue Liu, Meng Liu, Long Zhao, Xiangjun Dong, Xinwang Liu

  10645-10653

  2024-03-24

• Auditable Algorithms for Approximate Model Counting

  Kuldeep S. Meel, Supratik Chakraborty, S. Akshay

  10654-10661

  2024-03-24

• A General Theoretical Framework for Learning Smallest Interpretable Models

  Sebastian Ordyniak, Giacomo Paesani, Mateusz Rychlicki, Stefan Szeider

  10662-10669

  2024-03-24

• Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis

  Julian Parsert, Elizabeth Polgreen

  10670-10678

  2024-03-24

• Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories

  Andoni Rodríguez, César Sánchez

  10679-10686

  2024-03-24

• A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming

  Zeynep G. Saribatur, Stefan Woltran

  10687-10695

  2024-03-24

• BeliefFlow: A Framework for Logic-Based Belief Diffusion via Iterated Belief Change

  Nicolas Schwind, Katsumi Inoue, Sébastien Konieczny, Pierre Marquis

  10696-10704

  2024-03-24