KR - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 1578

2024

Advancing Interactive Explainable AI via Belief Change TheoryAntonio Rago 0001, Maria Vanina Martinez. kr 2024: [doi]

Equilibrium Description Logics: Results on Complexity and Relations to CircumscriptionFederica Di Stefano 0001, Mantas Simkus. kr 2024: [doi]

Argumentative Causal DiscoveryFabrizio Russo 0002, Anna Rapberger, Francesca Toni. kr 2024: [doi]

Advancing Algorithmic Approaches to Probabilistic Argumentation under the Constellation ApproachAndrei Popescu 0005, Johannes Peter Wallner. kr 2024: [doi]

CE-QArg: Counterfactual Explanations for Quantitative Bipolar Argumentation FrameworksXiang Yin 0007, Nico Potyka, Francesca Toni. kr 2024: [doi]

Consistent Query Answering over SHACL ConstraintsShqiponja Ahmetaj, Timo Camillo Merkl, Reinhard Pichler. kr 2024: [doi]

Action Model Learning with GuaranteesDiego Aineto, Enrico Scala. kr 2024: [doi]

Counterfactual and Semifactual Explanations in Abstract Argumentation: Formal Foundations, Complexity and ComputationGianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna. kr 2024: [doi]

Explaining Reasoning Results for OWL Ontologies with EveeChristian Alrabbaa, Stefan Borgwardt, Tom Friese, Anke Hirsch, Nina Knieriemen, Patrick Koopmann, Alisa Kovtunova, Antonio Krüger, Alexej Popovic, Ida S. R. Siahaan. kr 2024: [doi]

ASP Chef: Draw and ExpandMario Alviano, Luis Angel Rodriguez Reiners. kr 2024: [doi]

Proper Linear-time Specifications of Environment Behaviors in Nondeterministic Planning and Reactive SynthesisBenjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger. kr 2024: [doi]

Probabilistic Synthesis and Verification for LTL on Finite TracesBenjamin Aminof, Linus Cooper, Sasha Rubin, Moshe Y. Vardi, Florian Zuleger. kr 2024: [doi]

Abstraction in Assumption-based ArgumentationIosif Apostolakis, Zeynep G. Saribatur, Johannes Peter Wallner. kr 2024: [doi]

A Uniform Language to Explain Decision TreesMarcelo Arenas, Pablo Barceló, Diego Bustamante, Jose Caraball, Bernardo Subercaseaux. kr 2024: [doi]

Deontic Reasoning Based on Inconsistency MeasuresOfer Arieli, Kees van Berkel 0002, Badran Raddaoui, Christian Straßer. kr 2024: [doi]

Non-Rigid Designators in Modal and Temporal Free Description LogicsAlessandro Artale, Roman Kontchakov, Andrea Mazzullo, Frank Wolter. kr 2024: [doi]

Contractions Based on Optimal RepairsFranz Baader, Renata Wassermann. kr 2024: [doi]

Planning Domain Model Acquisition from State Traces without Action ParametersTomás Balyo, Martin Suda 0003, Lukás Chrpa, Dominik Safránek, Stephan Gocht, Filip Dvorák, Roman Barták, G. Michael Youngblood. kr 2024: [doi]

Conditional Splittings of Belief Bases and Nonmonotonic Inference with c-RepresentationsChristoph Beierle, Lars-Phillip Spiegel, Jonas Haldimann, Marco Wilhelm, Jesse Heyninck, Gabriele Kern-Isberner. kr 2024: [doi]

Monotone Rewritability and the Analysis of Queries, Views, and RulesMichael Benedikt, Stanislav Kikot, Johannes Marti, Piotr Ostropolski-Nalewaja. kr 2024: [doi]

Capturing Non-flat Assumption-based Argumentation with Bipolar SETAFsMatti Berthold, Anna Rapberger, Markus Ulbricht 0001. kr 2024: [doi]

Shapley Value Computation in Ontology-Mediated Query AnsweringMeghyn Bienvenu, Diego Figueira, Pierre Lafourcade. kr 2024: [doi]

Cost-Based Semantics for Querying Inconsistent Weighted Knowledge BasesMeghyn Bienvenu, Camille Bourgaux, Robin Jean. kr 2024: [doi]

Abductive Reasoning in a Paraconsistent FrameworkMeghyn Bienvenu, Katsumi Inoue, Daniil Kozhemiachenko. kr 2024: [doi]

Queries With Exact Truth Values in Paraconsistent Description LogicsMeghyn Bienvenu, Camille Bourgaux, Daniil Kozhemiachenko. kr 2024: [doi]

Weak Admissibility for ABA via Abstract Set-AttacksLydia Blümel, Matthias König 0002, Markus Ulbricht 0001. kr 2024: [doi]

Lost in the Crowd: k-unmatchability in Anonymized Knowledge GraphsPiero Andrea Bonatti, Francesco Magliocca, Luigi Sauro. kr 2024: [doi]

Belief Change on Rational RankingsNerio Borges, Sébastien Konieczny, Ramón Pino Pérez, Nicolas Schwind. kr 2024: [doi]

Knowledge Base Embeddings: Semantics and Theoretical PropertiesCamille Bourgaux, Ricardo Guimarães 0001, Raoul Koudijs, Victor Lacerda, Ana Ozaki. kr 2024: [doi]

Action Language mA* with Higher-Order Action ObservabilityDavid Buckingham, Matthias Scheutz, Tran Cao Son, Francesco Fabiano. kr 2024: [doi]

Contracted Temporal Equilibrium LogicPedro Cabalar, Thomas Eiter, Davide Soldà. kr 2024: [doi]

Ontology-Based Query Answering over Datalog-Expressible Rule Sets is UndecidableDavid Carral, Lucas Larroque, Michaël Thomazo. kr 2024: [doi]

Non-monotone Fixpoint Theory Based on the Structure of Weak BilatticesAngelos Charalambidis, Giannos Chatziagapis, Babis Kostopoulos, Panos Rondogiannis. kr 2024: [doi]

ASP-QRAT: A Conditionally Optimal Dual Proof System for ASPLeroy Chew, Alexis de Colnet, Stefan Szeider. kr 2024: [doi]

Explaining Image ClassifiersHana Chockler, Joseph Y. Halpern. kr 2024: [doi]

On Verifying and Generating Robust Plans for Planning Tasks with Exogenous EventsLukás Chrpa, Erez Karpas. kr 2024: [doi]

Strongly Analytic Calculi for KLM Logics with SMT-Based ProverAgata Ciabattoni, Clemens Eisenhofer, Dmitry Rozplokhas. kr 2024: [doi]

LLASP: Fine-tuning Large Language Models for Answer Set ProgrammingErica Coppolillo, Francesco Calimeri, Giuseppe Manco 0001, Simona Perri, Francesco Ricca. kr 2024: [doi]

Qiana: A First-Order Formalism to Quantify over Contexts and FormulasSimon Coumes, Pierre-Henri Paris, François Schwarzentruber, Fabian M. Suchanek. kr 2024: [doi]

Bridging Max Graph Neural Networks and Datalog with NegationDavid J. Tena Cucala, Bernardo Cuenca Grau. kr 2024: [doi]

Blending Grounding and Compilation for Efficient ASP SolvingCarmine Dodaro, Giuseppe Mazzotta, Francesco Ricca. kr 2024: [doi]

Symmetries and Expressive Requirements for Learning General PoliciesDominik Drexler, Simon Ståhlberg, Blai Bonet, Hector Geffner. kr 2024: [doi]

A Sound and Complete Axiomatisation for Intuitionistic Linear Temporal LogicDavid Fernández Duque, Brett McLean, Lukas Zenger. kr 2024: [doi]

Weighted Merging Operators: Product, Utility-based Operators and EgalitarianismPatricia Everaere, Sébastien Konieczny, Ramón Pino Pérez. kr 2024: [doi]

Heuristic Strategies for Accelerating Multi-Agent Epistemic PlanningBiqing Fang, Fangzhen Lin. kr 2024: [doi]

Boundedness for Unions of Conjunctive Regular Path Queries over Simple Regular ExpressionsDiego Figueira, S. Krishna 0004, Om Swostik Mishra, Anantha Padmanabha. kr 2024: [doi]

Possibility of Conditionals and Conditional Possibilities: From the Triviality Result to Possibilistic ImagingTommaso Flaminio, Lluís Godo, Giuliano Rosella. kr 2024: [doi]

Learning to Ground Existentially Quantified GoalsMartin Funkquist, Simon Ståhlberg, Hector Geffner. kr 2024: [doi]

dPASP: A Probabilistic Logic Programming Environment For Neurosymbolic Learning and ReasoningRenato Lui Geh, Jonas Gonçalves, Igor Cataneo Silveira, Denis Deratani Mauá, Fábio Gagliardi Cozman. kr 2024: [doi]

Preference-Based Abstract Argumentation for Case-Based ReasoningAdam Gould, Guilherme Paulino-Passos, Seema Dadhania, Matthew Williams 0001, Francesca Toni. kr 2024: [doi]

A Representation Theorem for Causal Decision MakingJoseph Y. Halpern, Evan Piermont. kr 2024: [doi]

Verification of General Games with Imperfect Information Using Strategy LogicYifan He, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine, Michael Thielscher. kr 2024: [doi]

From Acceptance to Rejection in Abstract ArgumentationAnne-Marie Heine, Markus Ulbricht 0001. kr 2024: [doi]

Operator-Based Semantics for Choice Programs: Is Choosing Losing?Jesse Heyninck. kr 2024: [doi]

Extending Description Logics with Generic Concepts - the Tale of Two SemanticsJoshua Hirschbrunn, Yevgeny Kazakov. kr 2024: [doi]

Incentive Design for Rational AgentsDavid Hyland, Munyque Mittelmann, Aniello Murano, Giuseppe Perelli, Michael J. Wooldridge. kr 2024: [doi]

Axiomatization of Approximate ExclusionMatilda Häggblom. kr 2024: [doi]

LAD-based Feature Selection for Optimal Decision Trees and Other ClassifiersDavid Ing, Saïd Jabbour, Lakhdar Sais, Fabien Delorme. kr 2024: [doi]

Nemo: Your Friendly and Versatile Rule Reasoning ToolkitAlex Ivliev, Lukas Gerlach 0002, Simon Meusel, Jakob Steinberg, Markus Krötzsch. kr 2024: [doi]

Distance-Restricted Explanations: Theoretical Underpinnings & Efficient ImplementationYacine Izza, Xuanxiang Huang, António Morgado 0001, Jordi Planes, Alexey Ignatiev, João Marques-Silva 0001. kr 2024: [doi]

Unique Characterisability and Learnability of Temporal Queries Mediated by an OntologyJean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev. kr 2024: [doi]

Total Preorders vs Ranking Functions under Belief Revision - the Dynamics of Empty LayersGabriele Kern-Isberner, Alexander Hahn, Jonas Haldimann, Christoph Beierle. kr 2024: [doi]

On the Expressivity of Recurrent Neural Cascades with IdentityNadezda Alexandrovna Knorozova, Alessandro Ronca. kr 2024: [doi]

Leveraging Decision-DNNF Compilation for Enumerating Disjoint Partial ModelsJean-Marie Lagniez, Emmanuel Lonca. kr 2024: [doi]

Complexity Results and Algorithms for Preferential Argumentative Reasoning in ASPIC+Tuomo Lehtonen, Daphne Odekerken, Johannes Peter Wallner, Matti Järvisalo. kr 2024: [doi]

Contestable AI Needs Computational ArgumentationFrancesco Leofante, Hamed Ayoobi, Adam Dejl, Gabriel Freedman, Deniz Gorur, Junqi Jiang, Guilherme Paulino-Passos, Antonio Rago 0001, Anna Rapberger, Fabrizio Russo 0002, Xiang Yin 0007, Dekai Zhang, Francesca Toni. kr 2024: [doi]

Description Logics with Abstraction and Refinement: From ALC to ELCarsten Lutz, Lukas Schulze. kr 2024: [doi]

Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity RollercoasterCarsten Lutz, Quentin Manière. kr 2024: [doi]

Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024, Hanoi, Vietnam. November 2-8, 2024Pierre Marquis, Magdalena Ortiz 0001, Maurice Pagnucco, editors, 2024. [doi]

Automated Reasoning in Systems Biology: A Necessity for Precision MedicinePedro Zuidberg Dos Martires, Vincent Derkinderen, Luc De Raedt, Marcus Krantz. kr 2024: [doi]

Relational Graph Convolutional Networks Do Not Learn Sound RulesMatthew Morris, David J. Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks 0001. kr 2024: [doi]

SHACL Validation under the Well-founded SemanticsCem Okulmus, Mantas Simkus. kr 2024: [doi]

Explaining Decisions in ML Models: A Parameterized Complexity AnalysisSebastian Ordyniak, Giacomo Paesani, Mateusz Rychlicki, Stefan Szeider. kr 2024: [doi]

The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential RulesPiotr Ostropolski-Nalewaja, Sebastian Rudolph. kr 2024: [doi]

Learning Robust Reward Machines from Noisy LabelsRoko Parac, Lorenzo Nodari, Leo Ardon, Daniel Furelos-Blanco, Federico Cerutti 0001, Alessandra Russo. kr 2024: [doi]

Logical Distillation of Graph Neural NetworksAlexander Pluska, Pascal Welke, Thomas Gärtner 0001, Sagar Malhotra. kr 2024: [doi]

Balancing Open-Mindedness and Conservativeness in Quantitative Bipolar Argumentation (and How to Prove Semantical from Functional Properties)Nico Potyka, Richard Booth 0001. kr 2024: [doi]

Repairing Assumption-Based Argumentation FrameworksAnna Rapberger, Markus Ulbricht 0001. kr 2024: [doi]

Semantic Constructions for Belief Base Contraction: Partial Meet vs Smooth KernelJandson S. Ribeiro. kr 2024: [doi]

Collective Satisfaction Semantics for Opinion Based ArgumentationJuliete Rossie, Jérôme Delobelle, Sébastien Konieczny, Clément Lens, Srdjan Vesic. kr 2024: [doi]

Navigating and Querying Answer Sets: How Hard Is It Really and Why?Dominik Rusovac, Markus Hecher, Martin Gebser, Sarah Alice Gaggl, Johannes Klaus Fichte. kr 2024: [doi]

On Abstracting over the Irrelevant in Answer Set ProgrammingZeynep G. Saribatur, Matthias Knorr 0001, Ricardo Gonçalves 0001, João Leite 0001. kr 2024: [doi]

The Realizability of Revision and Contraction Operators in Epistemic SpacesKai Sauerwald, Matthias Thimm. kr 2024: [doi]

Model Counting in the WildArijit Shaw, Kuldeep S. Meel. kr 2024: [doi]

Optimisation and Approximation in Abstract Argumentation: The Case of AdmissibilityKenneth Skiba, Matthias Thimm. kr 2024: [doi]

Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set ProgrammingIrumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara. kr 2024: [doi]

Complexity of Weighted First-Order Model Counting in the Two-Variable Fragment with Counting Quantifiers: A Bound to BeatJan Tóth, Ondrej Kuzelka. kr 2024: [doi]

Dialectical Reconciliation via Structured Argumentative DialoguesStylianos Loukas Vasileiou, Ashwin Kumar, William Yeoh 0001, Tran Cao Son, Francesca Toni. kr 2024: [doi]

Expressive Power of Definite Descriptions in Modal LogicsPrzemyslaw Andrzej Walega. kr 2024: [doi]

MTLearn: Extracting Temporal Rules Using Datalog Rule LearnersDingmin Wang, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau. kr 2024: [doi]

ASPEN: ASP-Based System for Collective Entity ResolutionZhiliang Xiang, Meghyn Bienvenu, Gianluca Cima, Víctor Gutiérrez-Basulto, Yazmín Ibáñez García. kr 2024: [doi]

Reasoning in SHIQ with Axiom- and Concept-Level Standpoint ModalitiesLucía Gómez Álvarez, Sebastian Rudolph. kr 2024: [doi]

2023

From Qualitative Choice Logic to Abstract ArgumentationMichael Bernreiter, Matthias König. kr 2023: 737-741 [doi]

Default Logic as a Species of Causal ReasoningAlexander Bochman. kr 2023: 117-126 [doi]

Leveraging Large Language Models to Generate Answer Set ProgramsAdam Ishay, Zhun Yang, Joohyung Lee 0002. kr 2023: 374-383 [doi]

An AI Approach to Large-Scale Medical Appointment (Re)Scheduling Using ASPStavros Kanias. kr 2023: 35-42 [doi]

On Training Neurons with Bounded CompilationsLance Kennedy, Issouf Kindo, Arthur Choi. kr 2023: 395-405 [doi]

Description Logics with Abstraction and RefinementCarsten Lutz, Lukas Schulze. kr 2023: 492-501 [doi]

ORLA: Learning Explainable Argumentation ModelsCándido Otero, Dennis Craandijk, Floris Bex. kr 2023: 542-551 [doi]

General Game Playing With State-Independent CommunicationSean Zammit, Michael Thielscher. kr 2023: 710-719 [doi]

Links

Filter by Year

[-]
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

KR (kr)

Viewing Publication 1 - 100 from 1578

2024

2023

Links

Filter by Year [-]OR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

KR (kr)

Viewing Publication 1 - 100 from 1578

2024

2023

Filter by Year

[-]
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1