Copertina

Automated planning with ontologies under coherence update semantics (Extended Version)

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Borgwardt, Stefan, Nhu, Duy, Röger, Gabriele
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Artificial Intelligence Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

The Precise Complexity of Reasoning in $\mathcal{ALC}$ with $ω$-Admissible Concrete Domains (Extended Version)
di: Borgwardt, Stefan, et al.
Pubblicazione: (2024)

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)
di: Alrabbaa, Christian, et al.
Pubblicazione: (2025)

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)
di: Baader, Franz, et al.
Pubblicazione: (2025)

Iof-maint -- Modular maintenance ontology
di: Hodkiewicz, Melinda, et al.
Pubblicazione: (2024)

A fuzzy loss for ontology classification
di: Flügel, Simon, et al.
Pubblicazione: (2024)

Object-Centric Conformance Alignments with Synchronization (Extended Version)
di: Gianola, Alessandro, et al.
Pubblicazione: (2023)

Lattice-preserving $\mathcal{ALC}$ ontology embeddings with saturation
di: Zhapa-Camacho, Fernando, et al.
Pubblicazione: (2023)

Splitting Answer Set Programs with respect to Intensionality Statements (Extended Version)
di: Fandinno, Jorge, et al.
Pubblicazione: (2025)

The Boolean Solution Problem from the Perspective of Predicate Logic -- Extended Version
di: Wernhard, Christoph
Pubblicazione: (2017)

A Variable Occurrence-Centric Framework for Inconsistency Handling (Extended Version)
di: Salhi, Yakoub
Pubblicazione: (2024)

The Shape of a Benedictine Monastery: The SaintGall Ontology (Extended Version)
di: Cantale, Claudia, et al.
Pubblicazione: (2017)

Defeasible Conditional Obligation in a Two-tiered Preference-based Semantics (Extended Version)
di: Parent, Xavier
Pubblicazione: (2026)

The logic of KM belief update is contained in the logic of AGM belief revision
di: Bonanno, Giacomo
Pubblicazione: (2026)

Extended Version of: On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions?
di: Hecher, Markus, et al.
Pubblicazione: (2024)

Towards an ontology of state actors in cyberspace
di: De Colle, Giacomo
Pubblicazione: (2024)

Extended Triangular Method: A Generalized Algorithm for Contradiction Separation Based Automated Deduction
di: Xu, Yang, et al.
Pubblicazione: (2025)

Most General Explanations of Tree Ensembles (Extended Version)
di: Izza, Yacine, et al.
Pubblicazione: (2025)

WATCHDOG: an ontology-aWare risk AssessmenT approaCH via object-oriented DisruptiOn Graphs
di: Nicoletti, Stefano M., et al.
Pubblicazione: (2024)

From Shapes to Shapes: Inferring SHACL Shapes for Results of SPARQL CONSTRUCT Queries (Extended Version)
di: Seifer, Philipp, et al.
Pubblicazione: (2024)

Operator-based semantics for choice programs: is choosing losing? (full version)
di: Heyninck, Jesse
Pubblicazione: (2024)

AI Space Physics: Constitutive boundary semantics for open AI institutions
di: Romanchuk, Oleg, et al.
Pubblicazione: (2026)

On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version)
di: Artale, Alessandro, et al.
Pubblicazione: (2025)

Automated Hybrid Grounding Using Structural and Data-Driven Heuristics
di: Beiser, Alexander, et al.
Pubblicazione: (2025)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
di: Xu, Yang, et al.
Pubblicazione: (2025)

Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning (Extended Version)
di: Olivieri, Pierriccardo, et al.
Pubblicazione: (2026)

A semantic approach to mapping the Provenance Ontology to Basic Formal Ontology
di: Prudhomme, Tim, et al.
Pubblicazione: (2024)

Extending Defeasibility for Propositional Standpoint Logics
di: Leisegang, Nicholas, et al.
Pubblicazione: (2025)

Partial Label Learning for Automated Theorem Proving
di: Zombori, Zsolt, et al.
Pubblicazione: (2025)

Repairing Networks of $\mathcal{EL_\perp}$ Ontologies using Weakening and Completing -- Extended version
di: Li, Ying, et al.
Pubblicazione: (2024)

Canonical Decision Diagrams Modulo Theories
di: Michelutti, Massimo, et al.
Pubblicazione: (2024)

Laurel: Unblocking Automated Verification with Large Language Models
di: Mugnier, Eric, et al.
Pubblicazione: (2024)

Inferring Causal Graph Temporal Logic Formulas to Expedite Reinforcement Learning in Temporally Extended Tasks
di: Aria, Hadi Partovi, et al.
Pubblicazione: (2026)

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
di: Ospanov, Azim, et al.
Pubblicazione: (2025)

PBLean: Pseudo-Boolean Proof Certificates for Lean 4
di: Szeider, Stefan
Pubblicazione: (2026)

Automated Verification of Equivalence Properties in Advanced Logic Programs -- Bachelor Thesis
di: Heuer, Jan
Pubblicazione: (2023)

Automated Process Planning Based on a Semantic Capability Model and SMT
di: Köcher, Aljosha, et al.
Pubblicazione: (2023)

Local Look-Ahead Guidance via Verifier-in-the-Loop for Automated Theorem Proving
di: Rajaee, Sara, et al.
Pubblicazione: (2025)

Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving
di: Gonzalez, Salwa Tabet, et al.
Pubblicazione: (2024)

Utilizing Description Logics for Global Explanations of Heterogeneous Graph Neural Networks
di: Köhler, Dominik, et al.
Pubblicazione: (2024)

MSC-180: A Benchmark for Automated Formal Theorem Proving from Mathematical Subject Classification
di: Li, Sirui, et al.
Pubblicazione: (2025)