Image de couverture de livre

Iof-maint -- Modular maintenance ontology

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Hodkiewicz, Melinda, Woods, Caitlin, Selway, Matt, Stumptner, Markus
Format:	Preprint
Publié:	2024
Sujets:	Artificial Intelligence Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A fuzzy loss for ontology classification
par: Flügel, Simon, et autres
Publié: (2024)

Lattice-preserving $\mathcal{ALC}$ ontology embeddings with saturation
par: Zhapa-Camacho, Fernando, et autres
Publié: (2023)

Automated planning with ontologies under coherence update semantics (Extended Version)
par: Borgwardt, Stefan, et autres
Publié: (2025)

Towards an ontology of state actors in cyberspace
par: De Colle, Giacomo
Publié: (2024)

WATCHDOG: an ontology-aWare risk AssessmenT approaCH via object-oriented DisruptiOn Graphs
par: Nicoletti, Stefano M., et autres
Publié: (2024)

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

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)

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

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

Grants4Companies: Applying Declarative Methods for Recommending and Reasoning About Business Grants in the Austrian Public Administration (System Description)
par: Lellmann, Björn, 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)

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

Large language models as oracles for instantiating ontologies with domain-specific knowledge
par: Ciatto, Giovanni, et autres
Publié: (2024)

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

Similarity-based analogical proportions
par: Antić, Christian
Publié: (2024)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
par: Bloch, Isabelle, et autres
Publié: (2025)

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

Dynamic Logic of Trust-Based Beliefs
par: Jiang, Junli, et autres
Publié: (2025)

The logic of KM belief update is contained in the logic of AGM belief revision
par: Bonanno, Giacomo
Publié: (2026)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
par: Xu, Yang, et autres
Publié: (2025)

THEIA: Learning Complete Kleene Three-Valued Logic in a Pure-Neural Modular Architecture
par: Li, Augustus Haoyang
Publié: (2026)

Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables
par: Anders, Markus, et autres
Publié: (2025)

Rejection in Abstract Argumentation: Harder Than Acceptance?
par: Fichte, Johannes K., et autres
Publié: (2024)

Epistemic Logic Programs: Non-Ground and Counting Complexity
par: Eiter, Thomas, et autres
Publié: (2025)

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

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

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

Defining implication relation for classical logic
par: Fu, Li
Publié: (2013)

Probabilistic and Causal Satisfiability: Constraining the Model
par: Bläser, Markus, et autres
Publié: (2025)

Analogical proportions II
par: Antić, Christian
Publié: (2024)

The Model Counting Competitions 2021-2023
par: Fichte, Johannes K., et autres
Publié: (2025)

Canonical Decision Diagrams Modulo Theories
par: Michelutti, Massimo, et autres
Publié: (2024)

On Formally Undecidable Traits of Intelligent Machines
par: Fox, Matthew
Publié: (2024)

Model Counting in the Wild
par: Shaw, Arijit, et autres
Publié: (2024)

Repairing Networks of $\mathcal{EL_\perp}$ Ontologies using Weakening and Completing -- Extended version
par: Li, Ying, et autres
Publié: (2024)

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

Guiding Multi-agent Multi-task Reinforcement Learning by a Hierarchical Framework with Logical Reward Shaping
par: Liu, Chanjuan, et autres
Publié: (2024)

Solving Decision Theory Problems with Probabilistic Answer Set Programming
par: Azzolini, Damiano, et autres
Publié: (2024)

A Computationally Grounded Framework for Cognitive Attitudes (extended version)
par: de Lima, Tiago, et autres
Publié: (2024)