Showing 1 - 2 results of 2 for search '"First-order logic"', query time: 0.09s Refine Results
  1. 1
    A Novel Conflict Deduction Algorithm Based on Contradiction Separation Inference Rule

    A Novel Conflict Deduction Algorithm Based on Contradiction Separation Inference Rule by Hailin Guo, Feng Cao, Jianbing Yi, Guanfeng Wu, Weicai Li

    Published 2025-01-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Application of first-order logic to identify organizers and perpetrators of illegal actions in teams of a limited circle of people

    Application of first-order logic to identify organizers and perpetrators of illegal actions in teams of a limited circle of people by A. М. Sobol, E. I. Kozlova, Yu. A. Chernyavsky

    Published 2021-09-01
    Subjects: “…first-order logic…”
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: