Add to ORKGOntology evolution and its automation are key factors for achieving software’s flexibility and adaptability. In the approach to automated ontology evolution adopted in the GALILEO project, progress in physics is modelled as a process of ontology evolution. An overview of the approach is provided in Section 2. Section 3 shows that the construction and the modification of qualitative causal models of experimental set-ups make it possible to gain information about the quantities that appear in an equation and contribute to creating the logical conditions for the equation to evolve
This paper follows an interdisciplinary approach through at least three disciplines, i.e. logic, ont...
International audienceWith the rising need to reuse the existing knowledge when learning Causal Baye...
International audienceWe explore an approach to reasoning about causes via argumentation. We conside...
Ontology evolution and its automation are key factors for achieving software’s flexibility and adapt...
With the advent of reasoning problems in dynamic environments, there is an increasing need for auto...
Causal reasoning in qualitative physics. Qualitative Physics is a field of Artificial Intelligence t...
Qualitative physics has achieved considerable success in small and moderate scale problems but metho...
Abstract: The GALILEO system aims at realising automated ontology evolution. This is necessary to en...
Abstract. We investigate the problem of automatically repairing incon-sistent ontologies. A repair i...
We describe mechanisms for automated evolution of ontologies to adapt to new circumstances and to ma...
We can model scientific discovery as automated reason-ing and learning, e.g., using a logic-based re...
Psychological evidence suggests that laypeople understand the world around them in terms of intuitiv...
The GALILEO system implements novel mecha-nisms for automated ontology evolution in physics. These m...
Gödel's ontological argument is related to Gödel's view that causality is the fundamental concept in...
International audienceWe define an inference system to capture explanations based on causal statemen...
This paper follows an interdisciplinary approach through at least three disciplines, i.e. logic, ont...
International audienceWith the rising need to reuse the existing knowledge when learning Causal Baye...
International audienceWe explore an approach to reasoning about causes via argumentation. We conside...
Ontology evolution and its automation are key factors for achieving software’s flexibility and adapt...
With the advent of reasoning problems in dynamic environments, there is an increasing need for auto...
Causal reasoning in qualitative physics. Qualitative Physics is a field of Artificial Intelligence t...
Qualitative physics has achieved considerable success in small and moderate scale problems but metho...
Abstract: The GALILEO system aims at realising automated ontology evolution. This is necessary to en...
Abstract. We investigate the problem of automatically repairing incon-sistent ontologies. A repair i...
We describe mechanisms for automated evolution of ontologies to adapt to new circumstances and to ma...
We can model scientific discovery as automated reason-ing and learning, e.g., using a logic-based re...
Psychological evidence suggests that laypeople understand the world around them in terms of intuitiv...
The GALILEO system implements novel mecha-nisms for automated ontology evolution in physics. These m...
Gödel's ontological argument is related to Gödel's view that causality is the fundamental concept in...
International audienceWe define an inference system to capture explanations based on causal statemen...
This paper follows an interdisciplinary approach through at least three disciplines, i.e. logic, ont...
International audienceWith the rising need to reuse the existing knowledge when learning Causal Baye...
International audienceWe explore an approach to reasoning about causes via argumentation. We conside...