Search Results for author:
Found 5 papers, 0 papers with code
Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning (Extended Version)
The rise of AI-based and autonomous systems is raising concerns and apprehension due to potential negative repercussions stemming from their behavior or decisions.
A Semantic Approach to Decidability in Epistemic Planning (Extended Version)
Finally, we show that two well-known epistemic planning systems based on action templates, when interpreted under the setting of knowledge, conform to the commutativity axiom, hence proving their decidability.
Learning Ontologies with Epistemic Reasoning: The EL Case
We investigate the problem of learning description logic ontologies from entailments via queries, using epistemic reasoning.
Repairing Ontologies via Axiom Weakening
Ontology engineering is a hard and error-prone task, in which small changes may lead to errors, or even produce an inconsistent ontology.
Non-normal modalities in variants of Linear Logic
We provide an interpretation of this language on a class of Kripke resource models extended with a neighbourhood function: modal Kripke resource models.
