Results 221 to 230 of about 47,988 (269)
Application of Artificial Intelligence in Education of Prosthodontics and Implant Dentistry: A Review. [PDF]
Gan Y, Guo J, Zhai J, Huang J.
europepmc +1 more source
The Effects of Philosophy for Children on Children's Cognitive Development: A Three-Level Meta-Analysis. [PDF]
Wei C, Chen L.
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Meta-Reasoning: Monitoring and Control of Thinking and Reasoning
Trends in Cognitive Sciences, 2017Meta-Reasoning refers to the processes that monitor the progress of our reasoning and problem-solving activities and regulate the time and effort devoted to them. Monitoring processes are usually experienced as feelings of certainty or uncertainty about how well a process has, or will, unfold.
Rakefet Ackerman, Valerie A Thompson
exaly +3 more sources
Collaborative Meta-reasoning in Creative Contexts
2023Meta-reasoning refers to the metacognitive processes that monitor and control ongoing thinking, reasoning and problem-solving. These monitoring processes are usually experienced as feelings of “certainty” or “uncertainty” regarding how well a process is unfolding.
Richardson, Beth H. +3 more
openaire +2 more sources
Meta-reasoning in Assembly Robots
2021As robots become increasingly pervasive in human society, there is a need for developing theoretical frameworks for “human–machine shared contexts.” In this chapter, we develop a framework for endowing robots with a human-like capacity for meta-reasoning. We consider the case of an assembly robot that is given a task slightly different from the one for
Priyam Parashar, Ashok K. Goel
openaire +1 more source
2005
The ACL2 system is based upon a first-order logic and implements traditional first-order reasoning techniques, notably (conditional) rewriting, as well as extensions including mathematical induction and a “functional instantiation” capability for mimicking second-order reasoning.
Warren A. Hunt +4 more
openaire +1 more source
The ACL2 system is based upon a first-order logic and implements traditional first-order reasoning techniques, notably (conditional) rewriting, as well as extensions including mathematical induction and a “functional instantiation” capability for mimicking second-order reasoning.
Warren A. Hunt +4 more
openaire +1 more source
A Meta-reasoner to Rule Them All
Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management, 2014It has been shown, both theoretically and empirically, that reasoning about large and expressive ontologies is computationally hard. Moreover, due to the different reasoning algorithms and optimisation techniques employed, each reasoner may be efficient for ontologies with different characteristics.
Yong-Bin Kang +2 more
openaire +1 more source
Meta-reasoning for a distributed agent architecture
Proceedings of the 33rd Southeastern Symposium on System Theory (Cat. No.01EX460), 2002Agent based computing offers the ability to decentralize computing solutions by incorporating autonomy and intelligence into cooperating, distributed applications. It provides an effective medium for expressing solutions to problems that involve interaction with real-world environments and allows modelling of the world state and its dynamics.
D. Chelberg +4 more
openaire +1 more source
Meta‐Reasoning and Practical Deliberation
Philosophy and Phenomenological Research, 2009Fallibilism about our practical judgments is uncontroversial: we are frequently wrong when we make decisions about what to do often badly wrong and everyone knows it. But efforts to characterize and respond to our lamentably imperfect decision-making have lagged. There has been some work in related fields.
openaire +1 more source
Meta-reasoning: An incremental compilation approach
[1991] Proceedings. Seventh International Conference on Data Engineering, 2002An incremental compilation approach to meta-reasoning is presented together with a method to update dynamically changing knowledge bases. The compilation process translates meta-level specification of facts and hypotheses into sentences of clausal logic.
A. Sattar, R. Goebel
openaire +1 more source

