Keywords: استدلال خودکار; Algorithm synthesis; Automated reasoning; Natural-style proving;
مقالات ISI استدلال خودکار (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: استدلال خودکار; Uncertain logic; Uncertain logic processing; First order logic; Automated reasoning; Dempster-Shafer theory; Belief theory;
Keywords: استدلال خودکار; Automated theorem proving; Automated reasoning; Abstract argumentation; Argumentation; Collaborative intelligence; Dialogue games; Lakatos; Mathematical argument; Structured argumentation; Social creativity; Philosophy of mathematical practice;
Keywords: استدلال خودکار; Modal Logics; XPath; Automated Reasoning; Data Trees; Counting;
Keywords: استدلال خودکار; Automated reasoning; Biological processes; Question answering
Keywords: استدلال خودکار; Security requirements; Automated reasoning; Requirements models
Integrating semantic NLP and logic reasoning into a unified system for fully-automated code checking
Keywords: استدلال خودکار; Automated code checking; Automated information extraction; Automated reasoning; Building information modeling (BIM); Natural language processing; Logic; Semantic systems; Automated construction management systems;
MNiBLoS: A SMT-based solver for continuous t-norm based logics and some of their modal expansions
Keywords: استدلال خودکار; Fuzzy logics; Modal logics; Automated reasoning; Continuous t-norms; SMT; Infinitely valued logics;
ExpTime tableaux with global state caching for the description logic SHIO
Keywords: استدلال خودکار; Description logics; Automated reasoning; Tableaux; Global state caching
(Non-)Succinctness of uniform interpolants of general terminologies in the description logic ELEL
Keywords: استدلال خودکار; Ontologies; Knowledge representation; Automated reasoning; Description logics; Uniform interpolation; Forgetting; ELEL
Reasoned modelling critics: Turning failed proofs into modelling guidance
Keywords: استدلال خودکار; Reasoned modelling; Formal methods; Formal modelling; Formal verification; Automated reasoning; Artificial intelligence
Automated reasoning on UML conceptual schemas with derived information and queries
Keywords: استدلال خودکار; Automated reasoning; Conceptual modelling; UML; OCL; Derived attributes and derived roles; Queries
Interactive ontology revision
Keywords: استدلال خودکار; Ontologies; Knowledge representation; Automated reasoning; Quality assurance; OWL;
α-Lockα-Lock resolution method for a lattice-valued first-order logic
Keywords: استدلال خودکار; Lattice-valued logic; Lattice implication algebra; α-Resolutionα-Resolution; α-Lockα-Lock resolution; Automated reasoning
An analytic tableau calculus for a temporalised belief logic
Keywords: استدلال خودکار; Labelled tableau calculus; Temporalised belief logics; Agent-based systems; Automated reasoning
Simplified forms of computerized reasoning with distance semantics
Keywords: استدلال خودکار; Distance semantics; Automated reasoning; Non-classical logics
Determination of α-resolution in lattice-valued first-order logic LF(X)
Keywords: استدلال خودکار; Incomparability; Many-valued logic; Automated reasoning; Lattice implication algebra; Lattice-valued logic; α-Resolution
An automated reasoning framework for translational research
Keywords: استدلال خودکار; Automated reasoning; Knowledge-based systems; High-throughput research; Genome-Wide Association Studies;
Applying automated deduction to natural language understanding
Keywords: استدلال خودکار; Automated reasoning; Natural language understanding; First-order logic; Theorem proving; Model building
Lightweight relevance filtering for machine-generated resolution problems
Keywords: استدلال خودکار; Relevance filtering; Proving in large theories; Automated reasoning; Interactive theorem proving
Integrating external deduction tools with ACL2
Keywords: استدلال خودکار; Automated reasoning; Decision procedures; First-order logic; Interfaces; Theorem proving;
Shortest single axioms for commutative moufang loops of exponent 3
Keywords: استدلال خودکار; Steiner triple system; Hall triple system; Commutative Moufang loop of exponent 3; Single product axiom; Automated reasoning
Modelling affective-based music compositional intelligence with the aid of ANS analyses
Keywords: استدلال خودکار; Adaptive user interface; EEG-based emotion spectrum analysis; User modelling; Automated reasoning; Machine learning
Combined reasoning by automated cooperation
Keywords: استدلال خودکار; Automated reasoning; System integration; Agent architecture; Higher-order and first-order proving; Computer algebra; Model generators
Filter-based resolution principle for lattice-valued propositional logic LP(X)
Keywords: استدلال خودکار; Resolution principle; Filter; Lattice-valued logic; Automated reasoning; Simple generalized clause; Complex generalized clause
Cogex: A semantically and contextually enriched logic prover for question answering
Keywords: استدلال خودکار; Question answering; Natural language processing; Temporal reasoning; Automated reasoning; Ontologies
Automated and readable simplification of trigonometric expressions
Keywords: استدلال خودکار; Simplification of trigonometric expressions; Combination rules; Rule lists; Pattern matching; Automated reasoning; Readable proof
SAD as a mathematical assistant—how should we go from here to there?
Keywords: استدلال خودکار; Formalizing mathematics; Automated reasoning; Proof assistant; ForTheL; SAD
Enterprise modeling and Data Warehousing in Telecom Italia
Keywords: استدلال خودکار; Data warehousing; Data integration; Conceptual modeling; Automated reasoning
Theorema: Towards computer-aided mathematical theory exploration
Keywords: استدلال خودکار; Mathematical assistant; Automated reasoning; Theory exploration; “Lazy Thinking”; Theorema
Rectangular quasigroups and rectangular loops
Keywords: استدلال خودکار; Rectangular quasigroup; Rectangular loop; Finite model builder; Automated reasoning;
The TM System for Repairing Non-Theorems
Keywords: استدلال خودکار; Automated theorem modification; automated reasoning; model generation; machine learning; automated theory formation; philosophy of mathematics;
Automated conjecture making in number theory using HR, Otter and Maple
Keywords: استدلال خودکار; Automated mathematical discovery; Automated reasoning; Computer algebra systems; Machine learning; Integration of reasoning systems;
Unifying tree decompositions for reasoning in graphical models
Keywords: استدلال خودکار; Automated reasoning; Graphical models;
Agenda control for heterogeneous reasoners
Keywords: استدلال خودکار; Automated reasoning; Reasoning architectures; Meta architectures; Meta control; Meta programming; Reasoning strategies; Logic programming; Declarative programming;
Hidden verification for computational mathematics
Keywords: استدلال خودکار; Computer algebra; Automated reasoning; Real analysis;
First order LUB approximations: characterization and algorithms
Keywords: استدلال خودکار; Approximation; Reformulation; Knowledge compilation; Resolution theorem proving; Automated reasoning; First order logic;