Computer Science – Artificial Intelligence
Scientific paper
2007-07-25
Computer Science
Artificial Intelligence
Removed one useless section
Scientific paper
In this article, we study translations between variants of defaults logics such that the extensions of the theories that are the input and the output of the translation are in a bijective correspondence. We assume that a translation can introduce new variables and that the result of translating a theory can either be produced in time polynomial in the size of the theory or its output is polynomial in that size; we however restrict to the case in which the original theory has extensions. This study fills a gap between two previous pieces of work, one studying bijective translations among restrictions of default logics, and the other one studying non-bijective translations between default logics variants.
No associations
LandOfFree
Bijective Faithful Translations among Default Logics does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Bijective Faithful Translations among Default Logics, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Bijective Faithful Translations among Default Logics will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-547400