The Analysis and Synthesis of Logic Translation

AAAI Conferences

Jean-Yves Béziau (Classical Negation can be expressed by One of its Halves) (Béziau 1999) has given an example of a phenomenon that people consider as translation paradox. We elaborate on Béziau’s case, which concerns classical negation to the half of classical negation, as well as giving some relative background to this discussion. The translation in question turns out, not to deliver the new results but instead in the interests of illustrating the development of logic translation that widely discussed in various modern applications to computer science.





Description Logics Courses and Tutorials

AITopics Original Links

Enrico Franconi's Course on Description Logics The material includes slides for 6 modules ( 320 slides): A review of Computational Logics, Structural Description Logics, Propositional Description Logics, Description Logics and Knowledge Bases, Description Logics and Logics, Description Logics and Databases. A web pointer to an online modified version of CRACK, allowing for tracing satisfiability proofs with tableaux, is provided. Pointers to relevant online literature are provided, too. Enrico Franconi's Course on Description Logics The material includes slides for 6 modules ( 320 slides): A review of Computational Logics, Structural Description Logics, Propositional Description Logics, Description Logics and Knowledge Bases, Description Logics and Logics, Description Logics and Databases. A web pointer to an online modified version of CRACK, allowing for tracing satisfiability proofs with tableaux, is provided.