Search Results - "Prolog (Computer program language)"

SCORE PREDICTION FROM PROGRAMMING EXERCISE SYSTEM LOGS USING MACHINE LEARNING.

Authors: Tetsuo Tanaka Mari Ueda

Source: Proceedings of the IADIS International Conference on Cognition & Exploratory Learning in Digital Age. 2023, p11-17. 7p.

Subject Terms: *Classrooms, *Educators, *Students, *Learning, Prolog (Computer program language)

Comparative Study of the Inference Mechanisms in PROLOG and SPIDER.

Authors: Golemanova, Emilia Golemanov, Tzanko Kratchanov, Kostadin

Source: TEM Journal. 2018, Vol. 7 Issue 4, p892-901. 10p.

Table space designs for implicit and explicit concurrent tabled evaluation.

Authors: AREIAS, MIGUEL ROCHA, RICARDO

Source: Theory & Practice of Logic Programming. Sep2018, Vol. 18 Issue 5/6, p950-992. 43p.

PROLOG for the Implementation of Student Module in ICAIP system.

Authors: He Rongyu Qin Zheng Fei Huaping

Source: International MultiConference of Engineers & Computer Scientists 2007 (Volume 1). 2007, p127-130. 4p. 1 Diagram.

Subjects: Prolog (Computer program language), Logic programming languages, Computer assisted instruction, Computers in education, Educational technology

A Lock-Free Hash Trie Design for Concurrent Tabled Logic Programs.

Authors: Areias, Miguel Rocha, Ricardo

Source: International Journal of Parallel Programming. Jun2016, Vol. 44 Issue 3, p386-406. 21p.

Subjects: Prolog (Computer program language), Computer systems, Synchronization, Cache memory, Computer architecture

Logic-based clustering approach for management and improvement of VANETs.

Authors: Balzano, Walter Murano, Aniello Stranieri, Silvia

Source: Journal of High Speed Networks; 2017, Vol. 23 Issue 3, p225-236, 12p

Teaching model-driven engineering from a relational database perspective.

Authors: Batory, Don Azanza, Maider

Source: Software & Systems Modeling; May2017, Vol. 16 Issue 2, p443-467, 25p

Towards fuzzy lexical reasoning.

Authors: Rubio-Manzanoa, Clemente Pereira-Fariña, M.

Source: Journal of Intelligent & Fuzzy Systems; 2017, Vol. 32 Issue 3, p2425-2436, 12p

A web system for reasoning with probabilistic OWL.

Authors: Bellodi, Elena Lamma, Evelina Riguzzi, Fabrizio et al.

Source: Software: Practice & Experience; Jan2017, Vol. 47 Issue 1, p125-142, 18p

EXPERT SYSTEM SUPPORTING FAILURE MODE AND EFFECT ANALYSIS (FMEA).

Authors: PYTLIK, PRZEMYSŁAW¹

Source: Technical Transactions / Czasopismo Techniczne; 2016, Vol. 2-E, p213-229, 17p

On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores.

Authors: SANTOS, JÕAO ROCHA, RICARDO Carro, Manuel et al.

Source: Theory & Practice of Logic Programming. Sep2016, Vol. 16 Issue 5/6, p899-915. 17p.

Efficient algebraic effect handlers for Prolog.

Authors: SALEH, AMR HANY SCHRIJVERS, TOM Carro, Manuel et al.

Source: Theory & Practice of Logic Programming. Sep2016, Vol. 16 Issue 5/6, p884-898. 15p.

Lock-free atom garbage collection for multithreaded Prolog.

Authors: WIELEMAKER, JAN HARRIS, KERI Carro, Manuel et al.

Source: Theory & Practice of Logic Programming. Sep2016, Vol. 16 Issue 5/6, p950-965. 16p.

PERSONALISATION, PROFILING AND ADAPTATION FOR INCLUSIVE E-LEARNING SUPPORT.

Authors: Green, Steve Pearson, Elaine Gkatzidou, Stavroula

Source: Proceedings of the International Conference on Information Technologies; 2009, Vol. 1, p149-156, 8p

IMPLEMENTING CONTEXT-SPECIFIC VIEWS TO DISTRIBUTED (RULE) DATABASES WITH FUZZY LOGIC.

Authors: Nykänen, Ossi¹

Source: Proceedings of the IADIS International Conference on WWW/Internet; Nov2007, p305-312, 8p, 4 Charts

Smart container loading.

Authors: Makarem, Omar Cheyaheb Haraty, Ramzi A.

Source: Journal of Computational Methods in Sciences & Engineering (Sage Publications Inc.). 2010 Supplement 2, Vol. 10 Issue 1-2, p231-245. 15p.

Subjects: Artificial intelligence, Prolog (Computer program language), Multiagent systems, Performance, Automated materials handling, Containers

Reconstruction of the Eastern Urals Radioactive Track using the Prolog Software.

Authors: Bogatov, S. Kiselev, A. Krylov, A.

Source: Atomic Energy. Mar2014, Vol. 115 Issue 5, p334-338. 5p.

Subjects: Prolog (Computer program language), Computer software research, Radioisotopes, Data analysis, Hypothesis, Radioactive fallout

Formal and Practical Aspects of Implementing Abstract Data Types in the Prolog Instruction.

Authors: Haberman, Bruria¹ bruria.haberman@weizmann.ac.il

Source: Informatica. 2008, Vol. 19 Issue 1, p17-30. 14p. 1 Diagram, 5 Charts.

Subjects: Prolog (Computer program language), Declarative programming languages, Programming languages, Logic programming languages, Artificial intelligence

Batched Evaluation of Linear Tabled Logic Programs.

Authors: Areias, Miguel Rocha, Ricardo

Source: Computer Science & Information Systems. Oct2013, Vol. 10 Issue 4, p1775-1797. 23p.

Subjects: Logic programming, Prolog (Computer program language), Computer scheduling, Computer programming, Time-sharing computer systems

Natural language processing: a prolog perspective.

Authors: Bitter, Christian Elizondo, David A. Yingjie Yang

Source: Artificial Intelligence Review. Feb2010, Vol. 33 Issue 1/2, p151-173. 23p. 1 Chart.

Subjects: Natural language processing, Prolog (Computer program language), Electronic data processing, Artificial intelligence, Programming languages, Logic programming languages