Font Size:
a
A
A
Keyword [first-order logic]
Result: 21 - 38 | Page: 2 of 2
21.
Pebble Lattice-valued Automata And Bounded Transitive Closure Logic
22.
Ontology Matching Based On Markov Logic Network
23.
Research On Domain Knowledge Learning And Update Techology Based On Markov Logic Networks
24.
Design And Implementation Of Theorem Prover For First-order Logic Based On Sequent Calculus
25.
Automatic Knowledge Representation And Acquisition Based On First-order Logic
26.
The Design And Implementation Of Knowledge Base And User Interface For The Belief Nonrevision Prototype System
27.
The Study Of (?, ?)-linear Resolution Method For Intuitionistic Fuzzy Logic
28.
Identification Of Complex Names Of Cambodian Institutions Based On Markov Logic Network
29.
Research On Integrating First-Order Logical Domain Knowledge With Machine Learning
30.
Study On Parallel SAT Solver And Parallel Automated Deduction Reasoning Systems
31.
Resolution-based Automated Reasoning In Linguistic 2-Tuple
32.
Design And Implementation Of First-Order Logic Theorem Prover Based On Sequent Calculus And Superposition
33.
Research On Relation Extraction Based On Weakly Supervised Learning
34.
A formal approach to representing software development history using first-order logic
35.
The Study Of Redundancy Property Of Propositional Logic And First-order Logic
36.
Study On Inconsistency In Ontologies
37.
Study On A First-order Logic Automated Theorem Prover Based On Contradiction Separation Deduction
38.
Research On Method Of Requirements Change Impact Analysis Based On First Order Logic
<<First
<Prev
Next>
Last>>
Jump to
