|
|
Belief revision in institutions: a relaxation-based approach
Marc Aiguier
,
J. Atif
,
C. Hudelot
,
Isabelle Bloch
[Research Report] abs/1502.02298, arXiv CoRR. 2015
Reports
hal-02287097v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Dual Logic Concepts based on Mathematical Morphology in Stratified Institutions: Applications to Spatial Reasoning
Marc Aiguier
,
Isabelle Bloch
[Research Report] arXiv:1710.05661, arXiv CoRR. 2017
Reports
hal-02287717v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Dual Logic Concepts based on Mathematical Morphology in Stratified Institutions: Applications to Spatial Reasoning
Marc Aiguier
,
Isabelle Bloch
World Congress and School on Universal Logic (UNILOG 2018), Jun 2018, Vichy, France
Conference papers
hal-02287722v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
From Structuring Elements to Structuring Neighborhood Systems
Alexandre Goy
,
Marc Aiguier
,
Isabelle Bloch
Conference papers
hal-02288568v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Logical Dual Concepts based on Mathematical Morphology in Stratified Institutions
Marc Aiguier
,
Isabelle Bloch
Journal articles
hal-02288074v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics
Marc Aiguier
,
Jamal Atif
,
Isabelle Bloch
,
Céline Hudelot
Journal articles
hal-01823450v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction
Marc Aiguier
,
Jamal Atif
,
Isabelle Bloch
,
Ramon Pino Perez
Journal articles
hal-01858106v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|