Open AccessSAT Encoding of Unification in EL
Author(s) -
Franz Baader,
Barbara Morawska
Publication year - 2010
Language(s) - English
Resource type - Reports
DOI - 10.25368/2022.177
Subject(s) - unification , description logic , satisfiability , computer science , reduction (mathematics) , rule of inference , inference , theoretical computer science , boolean satisfiability problem , knowledge representation and reasoning , propositional calculus , expressive power , representation (politics) , algorithm , mathematics , programming language , artificial intelligence , geometry , politics , political science , law
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom