Image de couverture de livre

Grants4Companies: Applying Declarative Methods for Recommending and Reasoning About Business Grants in the Austrian Public Administration (System Description)

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Lellmann, Björn, Marek, Philipp, Triska, Markus
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Direct Encoding of Declare Constraints in ASP
par: Chiariello, Francesco, et autres
Publié: (2024)

Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories
par: Hofmann, Till, et autres
Publié: (2024)

Proof Recommendation System for the HOL4 Theorem Prover
par: Dekhil, Nour, et autres
Publié: (2024)

Analysing Temporal Reasoning in Description Logics Using Formal Grammars
par: Bourgaux, Camille, et autres
Publié: (2025)

Declarative Scenario-based Testing with RoadLogic
par: Bartocci, Ezio, et autres
Publié: (2026)

Reasoning About Knowledge on Regular Expressions is 2EXPTIME-complete
par: Ghosh, Avijeet, et autres
Publié: (2025)

Queries With Exact Truth Values in Paraconsistent Description Logics
par: Bienvenu, Meghyn, et autres
Publié: (2024)

Abductive Reasoning in a Paraconsistent Framework
par: Bienvenu, Meghyn, et autres
Publié: (2024)

Reasoning About Action and Change
par: de Saint-Cyr, Florence Dupin, et autres
Publié: (2024)

A Logic for Reasoning About Aggregate-Combine Graph Neural Networks
par: Nunn, Pierre, et autres
Publié: (2024)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
par: Lyon, Tim S., et autres
Publié: (2024)

Minimal Model Reasoning in Description Logics: Don't Try This at Home!
par: Di Stefano, Federica, et autres
Publié: (2025)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
par: Joyce, Johnny
Publié: (2025)

Reasoning Systems as Structured Processes: Foundations, Failures, and Formal Criteria
par: Nikooroo, Saleh, et autres
Publié: (2025)

Model Change for Description Logic Concepts
par: Ozaki, Ana, et autres
Publié: (2026)

Fuzzy Lattice-based Description Logic
par: Ding, Yiwen, et autres
Publié: (2025)

Robustness of Constraint Automata for Description Logics with Concrete Domains
par: Demri, Stéphane, et autres
Publié: (2026)

Formal Reasoning About Confidence and Automated Verification of Neural Networks
par: Afzal, Mohammad, et autres
Publié: (2025)

Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases
par: Zese, Riccardo, et autres
Publié: (2023)

A New Tractable Description Logic under Categorical Semantics
par: Duc, Chan Le, et autres
Publié: (2025)

On Probabilistic and Causal Reasoning with Summation Operators
par: Ibeling, Duligur, et autres
Publié: (2024)

Utilizing Description Logics for Global Explanations of Heterogeneous Graph Neural Networks
par: Köhler, Dominik, et autres
Publié: (2024)

Incremental, inconsistency-resilient reasoning over Description Logic Abox streams
par: Proost, Cas, et autres
Publié: (2026)

Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features
par: Bednarczyk, Bartosz
Publié: (2023)

Extended Version of: On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions?
par: Hecher, Markus, et autres
Publié: (2024)

Reasoning in Neurosymbolic AI
par: Tran, Son, et autres
Publié: (2025)

Defeasible Reasoning on Concepts
par: Ding, Yiwen, et autres
Publié: (2024)

ReasonOps: A Unified Operational Paradigm for Trustworthy Verified LLM Reasoning
par: Rashid, Adnan
Publié: (2026)

Enhancing Analogical Reasoning in the Abstraction and Reasoning Corpus via Model-Based RL
par: Lee, Jihwan, et autres
Publié: (2024)

A Declarative Goal-oriented Framework for Smart Environments with LPaaS
par: Bisicchia, Giuseppe, et autres
Publié: (2021)

Semiring Provenance for Lightweight Description Logics
par: Bourgaux, Camille, et autres
Publié: (2023)

Proceedings Seventh International Workshop on Formal Methods for Autonomous Systems
par: Luckcuck, Matt, et autres
Publié: (2025)

Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems
par: Luckcuck, Matt, et autres
Publié: (2024)

Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP)
par: Nerode, Anil, et autres
Publié: (2024)

Automated Hybrid Grounding Using Structural and Data-Driven Heuristics
par: Beiser, Alexander, et autres
Publié: (2025)

Towards Mass Spectrum Analysis with ASP
par: Küchenmeister, Nils, et autres
Publié: (2025)

Finite Groundings for ASP with Functions: A Journey through Consistency
par: Gerlach, Lukas, et autres
Publié: (2024)

A framework for Conditional Reasoning in Answer Set Programming
par: Alviano, Mario, et autres
Publié: (2025)

FALCON: Scalable Reasoning over Inconsistent ALC Ontologies
par: Hinnerichs, Tilman, et autres
Publié: (2022)

Orbitopal Fixing in SAT
par: Anders, Markus, et autres
Publié: (2026)