page loader
  1. Home
  2. Bài báo khoa học
  3. Chi tiết bài báo
Incorporating Stratified Negation into Query-Subquery Nets for Evaluating Queries to Stratified Deductive Databases
Authors: Son Thanh Cao, Linh Anh Nguyen
501    0
Computing and Informatics
:     :
: http://www.cai.sk/ojs/index.php/cai/article/viewArticle/2019_1_19
: 1067-2019-cai.pdf
Publishing year: 2019
The web ontology rule language OWL 2 RL+ and its extensionsWORL: a nonmonotonic rule language for the semantic webAn Improved Depth-First Control Strategy for Query-Subquery Nets in Evaluating Queries to Horn Knowledge BasesAn Empirical Approach to Query-Subquery Nets with Tail-Recursion EliminationOn the Efficiency of Query-Subquery Nets with Right/Tail-Recursion Elimination in Evaluating Queries to Horn Knowledge BasesQuery-Subquery Nets with Stratified NegationC Programming LanguageQuery–subquery nets for Horn knowledge bases in first-order logicExtending Query-Subquery Nets for Deductive Databases under the Well-Founded SemanticsAn efficient solution for developing the overall management information system for Vinh universityA Max-Min Conflict Algorithm for the Stable Marriage ProblemFinding Maximum Stable Matchings for the Student-Project Allocation Problem with Preferences Over ProjectsIntegrating Multi-threading into Query-Subquery NetsAPPLYING MACHINE LEARNING TECHNIQUES ON IMBALANCED DATASETS FOR EARLY PREDICTION OF HIGH SCHOOL STUDENT DROPOUTMột thuật toán tìm kiếm cục bộ hiệu quả giải bài toán phân công địa điểm thực tập cho sinh viênA Heuristic Repair Algorithm for the Maximum Stable Marriage Problem with Ties and Incomplete ListsAn Empirical Heuristic Algorithm for Solving the Student-Project Allocation Problem with TiesFinding Maximum Weakly Stable Matchings for Hospitals/Residents with Ties Problem via Heuristic Search