Suchergebnisse - [en] LOGIC PROGRAMMING

Evaluación de aplicación web para la creación de juegos que fomentan el aprendizaje de la lógica de programación. (Spanish)

Alternate Title: Evaluation of a web application for the creation of games that promote the learning of programming logic. (English)

Autoren: Jaimez-González, Carlos Roberto García-Mendoza, Betzabet Erazo-Palacios, Javier

Quelle: Dilemas Contemporáneos: Educación, Política y Valores; 2024 Special Issue, Vol. 12, p1-23, 23p

Schlagwörter: WEB-based user interfaces, LOGIC programming, TEACHERS, AESTHETICS, SCRIPTS

El concepto de "asertabilidad garantizada" en la lógica naturalista de Dewey: tres malentendidos.

Alternate Title: The concept of "guaranteed assertability" in Dewey's naturalistic logic: three misunderstandings.

Autoren: Faerna, Ángel M.

Quelle: Teorema. 2024, Vol. 43 Issue 1, p29-45. 17p.

Schlagwörter: *LOGIC programming, *NATURALIZATION, *AFFIRMATIONS (Self-help), *LOGIC, *PRAGMATISM, *PHILOSOPHERS, *CRITICISM

People: DEWEY, John, 1859-1952

Programming Directional Strand Polymerization on DNA Origami for Logic Computing.

Autoren: Li, Zimu Hao, Yaya Tang, Yuqing et al.

Quelle: Small Structures. Oct2025, Vol. 6 Issue 10, p1-11. 11p.

Schlagwörter: *DNA nanotechnology, *LOGIC programming, *SINGLE molecule detection, *BIOSENSORS, *MOLECULAR self-assembly, *REACTION mechanisms (Chemistry), *DNA folding

The Role of preferences in logic programming: nonmonotonic reasoning, user preferences, decision under uncertainty

Autoren: Confalonieri, Roberto

Weitere Verfasser: University/Department: Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics

Thesis Advisors: Vázquez Salceda, Javier, Nieves Sánchez, Juan Carlos

Quelle: TDX (Tesis Doctorals en Xarxa)

Dateibeschreibung: application/pdf

Zugangs-URL: http://hdl.handle.net/10803/84042
https://dx.doi.org/10.5821/dissertation-2117-94634

Logic Programming for Orthogonal Graph Drawing on Restricted Grids.

Autoren: Strąk, Łukasz Wieczorek, Wojciech Nowakowski, Arkadiusz

Quelle: Procedia Computer Science. 2025, Vol. 270, p2318-2325. 8p.

Schlagwörter: Logic programming, Constraint satisfaction, Graph theory, Grids (Cartography), Planar graphs

A novel object-oriented Petri net framework with logic programming for discrete and continuous event simulations.

Autoren: Hocaoğlu, Mehmet Fatih¹ (AUTHOR) mfatih.hocaoglu@medeniyet.edu.tr

Quelle: Simulation. Sep2025, Vol. 101 Issue 9, p951-979. 29p.

Schlagwörter: *PETRI nets, *LOGIC programming, *SCHEDULING, *SIMULATION methods & models, *DISCRETE event simulation, *MODULAR design

Program Synthesis Using Inductive Logic Programming for the Abstraction and Reasoning Corpus.

Autoren: Marinho Rocha, Filipe Dutra, Inês Santos Costa, Vítor et al.

Quelle: Intelligenza Artificiale. Aug2025, Vol. 19 Issue 2, p85-101. 17p.

Schlagwörter: *LOGIC programming, *GENERALIZATION, *ARTIFICIAL intelligence, *INDUCTION (Logic), *DOMAIN-specific programming languages, *COGNITIVE ability

Entre la lógica y los lenguajes. ¿Qué favorece más el aprendizaje de la programación? (Spanish)

Alternate Title: Between logic and languages. What favors the learning of programming the most? (English)

Autoren: Trejos Buriticá, Omar Iván Muñoz Guerrero, Luis Eduardo

Quelle: Revista Educación en Ingeniería; ago2022-feb2023, Vol. 18 Issue 35, p1-7, 7p

Schlagwörter: COMPUTER engineering, LOGIC programming, MATHEMATICAL logic, COMPUTER science, PROGRAMMING languages

Logical planning in Temporal Defeasible and Dynamic Epistemic Logics: the case of t-DeLP and LCC

Autoren: Pardo Ventura, Pere

Weitere Verfasser: University/Department: Universitat de Barcelona. Departament de Lògica, Història i Filosofia de la Ciència

Thesis Advisors: Godo i Lacasa, Lluís, Sadrzadeh, Mehrnoosh, Jansana, Ramon

Quelle: TDX (Tesis Doctorals en Xarxa)

Schlagwörter: Planificació, Planificación, Planning, Programació lògica, Programación lógica, Logic programming, Lògica matemàtica, Lógica matemática, Mathematical logic, Lógica no monotónica, Lògica no monotònica, Non-monotonic logic, Lógica epistémica, Lògica epistèmica, Epistemic modal logic, Ciències Humanes i Socials

Dateibeschreibung: application/pdf

Zugangs-URL: http://hdl.handle.net/10803/129620

Enhancing Computational Thinking and Programming Logic Skills with App Inventor 2 and Robotics: Effects on Learning Outcomes, Motivation, and Cognitive Load.

Autoren: Huang, Yu-Ting Li, Chien-Lung Chang, Chin-Chih et al.

Quelle: Sensors (14248220). Nov2025, Vol. 25 Issue 22, p7059. 37p.

Schlagwörter: *ROBOTICS, *MOTIVATION (Psychology), *VISUAL programming (Computer science), *TECHNOLOGY education, *COGNITIVE load, *LOGIC programming, *EDUCATIONAL outcomes, *SYSTEMS theory

Geografische Kategorien: TAIWAN

Proceedings of the 2018 Annual Meeting of the Canadian Mathematics Education Study Group = Actes de la Rencontre Annuelle 2018 du Groupe Canadien d'Étude en Didactique des Mathématiques (42nd, Squamish, British Columbia, Canada, June 1-5, 2018)

Autoren: Canadian Mathematics Education Study Group (CMESG) Holm, Jennifer Mathieu-Soucy, Sarah

Quelle: Canadian Mathematics Education Study Group. 2019.

Peer Reviewed: N

Page Count: 274

Descriptors: Mathematics Education, Mathematics Teachers, Teaching Methods, Interdisciplinary Approach, Preservice Teacher Education, Secondary School Mathematics, Foreign Policy, Play, Robotics, Student Interests, Grandparents, Numbers, Educational Environment, Educational Technology, Theories, Educational Research, College Mathematics, Foreign Countries, Knowledge Level, Educational Objectives, High School Students, Comprehension, Mathematical Concepts, Mathematical Models, Writing Across the Curriculum, Equations (Mathematics), Equal Education, Teacher Education, Technology Uses in Education, Geometry, Communities of Practice, Beginning Teachers, Mathematical Logic, Autism, Pervasive Developmental Disorders, Adults, Validity, Performance Based Assessment, Coding, Elementary Secondary Education, Relevance (Education), Figurative Language, Creativity, Mathematics Achievement, Indigenous Knowledge, Culturally Relevant Education, Professional Development, Graduate Students, College Faculty, Undergraduate Students, Student Empowerment, Programming, Professional Personnel, Elementary School Mathematics, Networks, Statistics, Concept Formation

Geografische Kategorien: Canada

Let’s Code! How Can Programming Logic Make a Vascular Neurologist Even Better?

Autoren: Clares de Andrade, João Brainer Fagundes, Thales Pardini

Quelle: Cerebrovascular Diseases. Aug2025, p1-5. 5p. 1 Illustration.

Schlagwörter: *DIGITAL health, *STROKE, *ARTIFICIAL intelligence, *PATIENT care, *DIAGNOSIS, *LOGIC programming

EARLY CASES OF BERTILLON: THE LOGIC PROGRAMMING SLEUTH

Autoren: ANTONIO LUZ FURTADO FABIO ARAUJO GUILHERME DA SILVA SIMONE DINIZ JUNQUEIRA BARBOSA

Quelle: MONOGRAFIAS EM CIÊNCIA DA COMPUTAÇÃO.

Schlagwörter: [en] LOGIC PROGRAMMING, [en] PLAN GENERATION, [en] PLAN RECOGNITION, [en] PLOT COMPOSITION, 05 social sciences, 0202 electrical engineering, electronic engineering, information engineering, 0501 psychology and cognitive sciences, 02 engineering and technology, [en] COMMUNICATIVE SPEECH ACTS, [en] DETECTIVE STORIES

Zugangs-URL: https://www.maxwell.vrac.puc-rio.br/35109/35109.PDF

Evaluación del Funcionamiento de la Protección Diferencial 87 en Transformadores Monofásicos Ante Presencia de Fallas, Mediante un Prototipo Didáctico. (Spanish)

Alternate Title: Evaluation of the Operation of the Differential Protection 87 in Single-Phase Transformers in the Presence of Faults, Through a Didactic Prototype. (English)

Autoren: Bonilla, G. A. Barahona, E. G. Proaño, X. A. et al.

Quelle: Revista Técnica Energía; jan2023, Vol. 19 Issue 2, p99-109, 11p

Schlagwörter: LOGIC programming, ACQUISITION of data, MICROPROCESSORS, PARAMETERIZATION, PROTOTYPES, PERCENTILES

Episteme vs. Tekné: una aproximación al aprendizaje de la programación de computadores en Ingeniería de Sistemas.

Alternate Title: Episteme vs. Tekné: an approach to the learning of computer programming in Systems Engineering.

Autoren: Trejos, O. I.¹ omartrejos@utp.edu.co

Quelle: Entre Ciencia e Ingeniería. ene-jun2019, Vol. 13 Issue 25, p45-51. 7p.

Schlagwörter: *COMPUTER engineering, *LOGIC programming, *PROGRAMMING languages, *SYSTEMS engineering, *LEARNING strategies

On Systematic Construction of Correct Logic Programs.

Autoren: DRABENT, WŁODZIMIERZ

Quelle: Theory & Practice of Logic Programming; Jul2025, Vol. 25 Issue 4, p631-648, 18p

Schlagwörter: LOGIC programming, COMPUTER software correctness, COMPLETENESS theorem, PROPOSITION (Logic)

Introducing Artificial Intelligence to Secondary Schools Through STEM Learning and the Logic Programming Language Prolog.

Autoren: Tabakova-Komsalova, Veneta Stoyanov, Ivan Cholakov, George et al.

Quelle: TEM Journal. Nov2024, Vol. 13 Issue 4, p3221-3230. 10p.

Schlagwörter: Artificial intelligence, Secondary school students, Logic programming, STEM education, Programming languages

Answer Set Searching with Weighted MaxSAT.

Autoren: Nowakowski, Arkadiusz Wieczorek, Wojciech Strąk, Łukasz

Quelle: Procedia Computer Science. 2025, Vol. 270, p2301-2309. 9p.

Schlagwörter: NP-hard problems, Logic programming, Combinatorial optimization, Knowledge representation (Information theory), Mathematical programming, Algorithms, Constraint satisfaction

Estudio y propuesta metodológica para la enseñanza-aprendizaje de la programación informática en la educación superior. (Spanish)

Alternate Title: Study and methodological proposal for the teaching-learning of computer programming in higher education. (English)

Quelle: Dilemas Contemporáneos: Educación, Política y Valores; 2019 Special Issue, Vol. 7, p1-23, 23p

Schlagwörter: DEVELOPMENT of application software, COMPUTER programming, PROGRAMMING languages, COMPUTER science, LOGIC programming, MODEL-based reasoning

Fuzzy Horn clauses in artificial intelligence: a study of free models, and applications in art painting style categorization

Autoren: Costa Bueno, Vicente

Thesis Advisors: costabuenovicente@gmail.com, Dellunde i Clavé, Pilar

Quelle: TDX (Tesis Doctorals en Xarxa)

Schlagwörter: Clàusula de Horn, Cláusula de Horn, Horn clause, Intel·ligència artificial explicativa, Inteligencia artificial explicativa, Explainable ai, Lògiques difuses, Lógicas difusas, Fuzzy logics, Ciències Humanes

Dateibeschreibung: application/pdf

Zugangs-URL: http://hdl.handle.net/10803/673374