Keywords: منطق مرتبه اول; Random graphs; First order logic; Zero-one laws; Spectrum of first order sentences;
مقالات ISI منطق مرتبه اول (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: منطق مرتبه اول; Uncertain logic; Uncertain logic processing; First order logic; Automated reasoning; Dempster-Shafer theory; Belief theory;
Keywords: منطق مرتبه اول; Hidden Markov Model; Arabic Natural Language Processing; Part-of-Speech Tagger; Morphology; Statistical Language Model; Trigram; Bigram; first order logic; second order logic; Text classification; Name Entity Recognition;
Keywords: منطق مرتبه اول; Natural Language queries; Ontology; Relational Databases; First Order Logic; Structured Language Query; Backus Naur Form; N-grams
Keywords: منطق مرتبه اول; 03C40; 03C52; 03C75; 03C13Model theory; First order logic; Łoś–Tarski preservation theorem
The complexity of reasoning with FODD and GFODD
Keywords: منطق مرتبه اول; Complexity analysis; Polynomial hierarchy; Decision diagrams; First order logic
A statistical tolerance analysis approach for over-constrained mechanism based on optimization and Monte Carlo simulation
Keywords: منطق مرتبه اول; Tolerance analysis; Statistical analysis; First order logic; Optimization; Monte Carlo simulation
Constraint-centric workflow change analytics
Keywords: منطق مرتبه اول; Workflow modeling; Workflow constraint; Workflow changes; First order logic; Business process management; Change management
The first order definability of graphs: Upper bounds for quantifier depth
Keywords: منطق مرتبه اول; Graph definability; First order logic; Ehrenfeuct game
Validating Component Integration with C-TILCO
Keywords: منطق مرتبه اول; formal specification language; first order logic; temporal interval logic; real-time systems; temporal operators; theorem provers; validation; components integration; communicating system;
First order LUB approximations: characterization and algorithms
Keywords: منطق مرتبه اول; Approximation; Reformulation; Knowledge compilation; Resolution theorem proving; Automated reasoning; First order logic;