Keywords: منطق اولویت; Propositional logic; First-order logic; Resolution; Automated deduction; Theorem proving; Contradiction separation; Dynamic multi-clause synergized deduction;
مقالات ISI منطق اولویت (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: منطق اولویت; Computational complexity; First-order logic; Proof system; NP search functions; TFNP;
Keywords: منطق اولویت; Combinatorial game; Impartial game; Decision problem; First-order logic; Recognizable sets of integers;
Keywords: منطق اولویت; Random graphs; Zero-one laws; First-order logic; Spectra
Keywords: منطق اولویت; Program semantics; Reasoning about programs; First-order logic;
Keywords: منطق اولویت; Visual languages; Diagrammatic representations; Linear diagrams; Set space diagrams; First-order logic; Spatial reasoning; Intersection calculus;
Keywords: منطق اولویت; Knowledge representation and reasoning; Answer Set Programming; Aggregates; First-order logic; Logic programming
Keywords: منطق اولویت; Proof compression; Cut-introduction; Classical logic; First-order logic
Keywords: منطق اولویت; Special relativity; Dynamics; Superluminal motion; Tachyons; Axiomatic method; First-order logic
Formal analysis of XACML policies using SMT
Keywords: منطق اولویت; XACML policy analysis; Logic encoding of policy analysis problems; First-order logic; Satisfiability modulo theories; Experimental evaluation;
System ZFO: Default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases
Keywords: منطق اولویت; Conditional logic; First-order logic; Nonmonotonic logic; Ranking function; System Z; Tolerance pair;
PaL diagrams: A linear diagram-based visual language
Keywords: منطق اولویت; Line diagrams; Expressiveness; First-order logic;
The Existence of Superluminal Particles is Consistent with the Kinematics of Einstein's Special Theory of Relativity
Keywords: منطق اولویت; special relativity; superluminal motion; tachyons; axiomatic method; first-order logic
Improving the semantics of the Software Cost Reduction method
Keywords: منطق اولویت; Software Cost Reduction; First-order logic; Formal methods; Table-based specification techniques
New visual languages supporting design of multi-storey buildings
Keywords: منطق اولویت; Visual language; Hierachical hypergraph; First-order logic; Knowledge-based design; Knowledge-based reasoning
Visual language and graph-based structures in conceptual design
Keywords: منطق اولویت; Visual language; Design diagram; Hypergraph; First-order logic; Knowledge-based reasoning
Locality and modular Ehrenfeucht-Fraïssé games
Keywords: منطق اولویت; Ehrenfeucht-Fraïssé games; Locality; First-order logic;
Knowledge and reasoning in design systems
Keywords: منطق اولویت; Visual language; Design diagram; Hypergraph; First-order logic; Knowledge-based reasoning
Applying automated deduction to natural language understanding
Keywords: منطق اولویت; Automated reasoning; Natural language understanding; First-order logic; Theorem proving; Model building
From decomposable to residual theories
Keywords: منطق اولویت; First-order logic; First-order constraints; Decision procedure; Complete theories
Integrating external deduction tools with ACL2
Keywords: منطق اولویت; Automated reasoning; Decision procedures; First-order logic; Interfaces; Theorem proving;
Fresh Logic: proof-theory and semantics for FM and nominal techniques
Keywords: منطق اولویت; Nominal logic; First-order logic; Semantics of intuitionistic logic; Kripke semantics; Freshness; Nominal sets; Fraenkel–Mostowski techniques
TPS: A hybrid automatic-interactive system for developing proofs
Keywords: منطق اولویت; Tps; Theorem proving system; Automatic proofs; Semi-automatic proofs; Semi-interactive proofs; Interactive proofs; Type theory; Higher-order logic; First-order logic; Automating mathematics; Mathematics assistance system
A multi-agent framework for distributed theorem proving
Keywords: منطق اولویت; Intelligent agents; Multi-agent system; KQML; Theorem proving; The hyper-linking strategy; First-order logic;
On quantified weighted MAX-SAT
Keywords: منطق اولویت; DSS foundations; Conditional decision making; Approximate decision making; First-order logic; Combinatorial problems; Agent preferences;
Superposition with equivalence reasoning and delayed clause normal form transformation
Keywords: منطق اولویت; 03B35; 68T15; 02.10.Ab; Automated theorem proving; Deduction; Rewriting; Clause-normal-form transformation; Logical equivalence; Superposition; Paramodulation; First-order logic; Set theory;
First-order expressibility of languages with neutral letters or: The Crane Beach conjecture
Keywords: منطق اولویت; First-order logic; Circuit uniformity; Numerical predicates;
Partition-based logical reasoning for first-order and propositional theories
Keywords: منطق اولویت; Reasoning with structure; Theorem proving; First-order logic; SAT; Tree decomposition; Graphical models; Parallel computation; Distributed computation;