Results 11 to 20 of about 1,452,650 (193)

Meta-extract: Using Existing Facts in Meta-reasoning [PDF]

Electronic Proceedings in Theoretical Computer Science, 2017
ACL2 has long supported user-defined simplifiers, so-called metafunctions and clause processors, which are installed when corresponding rules of class :meta or :clause-processor are proved.
Matt Kaufmann, Sol Swords
doaj   +4 more sources

Meta-Reasoning and Student Modelling

, 1992
The student modelling process in Intelligent Educational Systems is the process of inferring a model of the student’s knowledge by analysing his or her behaviour. When the student’s behaviour is the result of a reasoning activity, the task of building a student model involves the system’s reasoning about another agent’s knowledge and reasoning (meta ...
CIALDEA, Marta, Marta Cialdea
openaire   +3 more sources

Heuristic Cues for Meta-Reasoning Judgments: Review and Methodology

Psychological Topics, 2019
Metacognitive research aims to explain how people regulate their effort when performing cognitive tasks, to expose conditions that support reliable monitoring of chance for success, and to provide a basis for developing improvement guidelines.
Rakefet Ackerman
doaj   +6 more sources

Meta-reasoning: A Survey

, 2002
We present the basic principles and possible applications of systems capable of meta-reasoning and reflection. After a discussion of the seminal approaches, we outline our own perception of the state of the art, mainly but not only in computational logic and logic programming.
COSTANTINI, STEFANIA
openaire   +4 more sources

The Impact of Foreign Language on Meta-Reasoning in Moral Decisions. [PDF]

J Cogn
This research investigates the moral Foreign Language Effect (mFLE) from a metacognitive perspective. Grounded in the Dual-Process framework, previous research posits using a foreign language evokes more utilitarianism by dampening emotional responses and promoting analytical reasoning. However, the role of metacognition remains underexplored.
Hu Z, Martín-Luengo B, Navarrete E.
europepmc   +5 more sources

ANALISIS PENGENDALIAN KUALITAS PRODUK SARUNG TANGAN GOLF DENGAN METODE SIX SIGMA DALAM UPAYA MENGURANGI KECACATAN PRODUK (Studi Kasus di PT. Adi Satria Abadi, Yogyakarta) [PDF]

, 2020
PT Adi Satria Abadi adalah perusahaan yang memproduksi sarung tangan salah satunya adalah sarung tangan golf untuk tujuan ekspor. Dalam proses produksi masih terdapat banyak produk cacat. Oleh karena itu, perlu adanya upaya peningkatan perbaikan kualitas.
Putri, Hana Silvia Dwi
core   +1 more source

MANFAAT METODE INQUIRY TERHADAP PENGAMATAN HASIL PRAKTIKUM LAS LISTRIK DI LABORATORIUM MANUFAKTUR POLITEKNIK META INDUSTRI CIKARANG [PDF]

, 2022
The purpose of this study was to determine student achievement in the manufacturing process subject before giving treatment, to determine student achievement in the manufacturing process course after treatment, to determine whether there was an effect of
Rivandi, Merdieco, Widodo, Agus
core   +1 more source

PERANCANGAN VISUAL PLANNING (VP) UNTUK PERBAIKAN PENCAPAIAN QUALITY OBJECTIVE (QO) DI DIREKTORAT PRODUKSI PT. KRAKATAU WAJATAMA [PDF]

, 2018
AbstrakKinerja PT. Krakatau Wajatama sebagai salah satu perusahaan pengolahan baja Long Product dipengaruhi oleh faktor Ekternal yaitu Kurs Dolar Amerika, kebutuhan baja domistik, dan faktor Internal yaitu biaya produksi.
Mardono, untung
core   +2 more sources

RANCANG BANGUN SISTEM INFORMASI AKADEMIK POLITEKNIK META INDUSTRI [PDF]

, 2018
Politeknik Meta Industri adalah salah satu lembaga pendidikan tinggi diploma tiga. Saat ini sudah ada SIAKAD di Politeknik Meta Industri, tetapi yang menjadi masalah adalah operator takut untuk menggunakan kembali SIAKAD tersebut. Hal tersebut disebabkan
Gamaliel, Fritz
core   +1 more source

Manifold Answer-Set Programs for Meta-reasoning [PDF]

, 2009
In answer-set programming (ASP), the main focus usually is on computing answer sets which correspond to solutions to the problem represented by a logic program. Simple reasoning over answer sets is sometimes supported by ASP systems (usually in the form of computing brave or cautious consequences), but slightly more involved reasoning problems require ...
Wolfgang Faber 0001, Stefan Woltran
openaire   +2 more sources