Keywords: متارزش; Church's type theory; Simple type theory; Metareasoning; Reflection; Quotation; Evaluation; Quasiquotation; Reasoning about syntax; Schemas; Symbolic computation; Meaning formulas; Substitution;
مقالات ISI متارزش (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Perceptually grounded self-diagnosis and self-repair of domain knowledge
Keywords: متارزش; Knowledge engineering; Knowledge representation; Symbol grounding; Metareasoning; Compositional classification
Metareasoning about Security Protocols using Distributed Temporal Logic
Keywords: متارزش; Security protocols; protocol models; intruder models; distributed temporal logic; secrecy; authentication; metareasoning;
Metacognition in computation: A selected research review
Keywords: متارزش; Cognitive monitoring; Computational introspection; Limited rationality; Metacognition; Meta-explanation; Metaknowledge; Meta-level architecture; Metareasoning; Self-reference; Reflection;