Keywords: منطق پیشنهاد; Game theory; Boolean games; Complexity; Propositional logic;
مقالات ISI منطق پیشنهاد (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: منطق پیشنهاد; Propositional logic; First-order logic; Resolution; Automated deduction; Theorem proving; Contradiction separation; Dynamic multi-clause synergized deduction;
Keywords: منطق پیشنهاد; Knowledge representation; Inconsistency measure; Propositional logic; Conflicting variables; Prime implicates;
Keywords: منطق پیشنهاد; Credal networks; Propositional logic; Function-free first-order logic; Complexity theory;
Keywords: منطق پیشنهاد; Inconsistency measurement; Inconsistency analysis; Inconsistency management; Inconsistency tolerance; Propositional logic; Distance measures;
Keywords: منطق پیشنهاد; 03C40; 03C50; 03B20; 03B45; Model theory; Intensional logic; Propositional logic; Asimulation; Bisimulation; Van Benthem's theorem;
Keywords: منطق پیشنهاد; Propositional logic; Inconsistency management; Inconsistency analysis; Inconsistency localisation;
Keywords: منطق پیشنهاد; Abduction; Propositional logic; Knowledge representation techniques; Knowledge-based systems
Keywords: منطق پیشنهاد; Query learning; Propositional logic
Keywords: منطق پیشنهاد; Algorithm; Axiomatization; Complexity; Conditional independence; Discrete probability measure; Hierarchical database decomposition; Implication; Propositional logic
Keywords: منطق پیشنهاد; Uncertainty modeling; Propositional logic; Belief function theory
On expressive power of basic modal intuitionistic logic as a fragment of classical FOL
Keywords: منطق پیشنهاد; Model theory; Modal logic; Intuitionistic logic; Propositional logic; Bisimulation; Van Benthem's theorem;
Mining high coherent association rules with consideration of support measure
Keywords: منطق پیشنهاد; Data mining; Association rules; Propositional logic; Coherent rules; Highly coherent rules
Sound approximate reasoning about saturated conditional probabilistic independence under controlled uncertainty
Keywords: منطق پیشنهاد; Algorithm; Approximation; Axiomatization; Complexity; Conditional independence; Discrete probability measure; Implication; Missing data; S-3 logic; Propositional logic;
Logic in pragmatics
Keywords: منطق پیشنهاد; Relevance Theory; Spontaneous inference; Propositional logic; Introduction rule; Inference performance;
Finding kernels or solving SAT
Keywords: منطق پیشنهاد; Digraphs; Kernel; Satisfiability; Propositional logic
Characterisations of multivalued dependency implication over undetermined universes
Keywords: منطق پیشنهاد; Relational model of data; Multivalued dependency; Conditional independency; Implication; Undetermined universe; Propositional logic; The chase; Closed set
Component Group Diagnosability via Directional Resolution
Keywords: منطق پیشنهاد; diagnosability; incomplete-observation; model-based diagnostics; propositional logic; directional resolution; model simplification
Constraint acquisition for Entity-Relationship models
Keywords: منطق پیشنهاد; Knowledge acquisition; Semantic constraint; Conceptual database; Propositional logic
Propositional distances and compact preference representation
Keywords: منطق پیشنهاد; Artificial intelligence; Propositional logic; Utility functions; Preference relations; Compact representations;
Redundancy in logic I: CNF propositional formulae
Keywords: منطق پیشنهاد; Propositional logic; Redundancy; Formula minimization; Computational complexity;