Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Translating Ontologies to Default Logic., and . AIAI, volume 187 of IFIP, page 145-153. Springer, (2005)The Limits of Horn Logic Programs, , and . CoRR, (2001)ULMM: A Uniform Logic Modeling Method in Intelligent Tutoring Systems., , , , and . KES, volume 3213 of Lecture Notes in Computer Science, page 263-269. Springer, (2004)Concept Approximation in Concept Lattice., , , , and . PAKDD, volume 2035 of Lecture Notes in Computer Science, page 167-173. Springer, (2001)The Limits of Horn Logic Programs., , and . ICLP, volume 2401 of Lecture Notes in Computer Science, page 467. Springer, (2002)A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic., , , and . Theor. Comput. Sci., 368 (1-2): 149-160 (2006)Completeness of Hoare logic with inputs over the standard model., , and . Theor. Comput. Sci., (2016)Nonmonotonic propositional logic., , and . Frontiers Comput. Sci., (February 2021)The R-Calculus and the Finite Injury Priority Method., and . J. Comput., 12 (2): 127-134 (2017)The Entropy of Rough Relations in Rough Relational Databases., , and . ISAS-SCI (1), page 566-570. IIIS, (2001)