Results 21 to 30 of about 1,544,053 (248)

Structural Resolution for Abstract Compilation of Object-Oriented Languages [PDF]

Electronic Proceedings in Theoretical Computer Science, 2017
We propose abstract compilation for precise static type analysis of object-oriented languages based on coinductive logic programming. Source code is translated to a logic program, then type-checking and inference problems amount to queries to be solved ...
Luca Franceschini, Davide Ancona, Ekaterina Komendantskaya   +2 more
doaj   +1 more source

Logic programming in the context of multiparadigm programming: the Oz experience

, 2003
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (logic, functional, constraint, object-oriented, sequential, concurrent, etc ...
Brand, P, Duchier, D, Schulte, Christian,, Brand, P., Van Roy, P., International Conference on Logic Programming, Van Roy, Peter, Haridi, S., Henz, M, Haridi, Seif,, Henz, M., Schulte, C, Duchier, D., Haridi, S, Van Roy, P   +14 more
core   +1 more source

Teaching logic programming: a review

CTE Workshop Proceedings
Logic programming constitutes a significant paradigm within computer science, offering a unique approach to programming based on formal logic rather than conventional imperative instructions.
Serhiy O. Semerikov, Iryna S. Mintii, Natalia V. Moiseienko   +2 more
doaj   +1 more source

A Logic Programming approach for Access Control over RDF

, 2014
The Resource Description Framework (RDF) is an interoperable data representation format suitable for interchange and integration of data, especially in Open Data contexts.
Axel Polleres, Mileo, Alessandra, Zimmermann, Antoine, Kirrane, Sabrina, Sabrina Kirrane, Polleres, Axel, Nuno Lopes, Lopes, Nuno, Antoine Zimmermann, Ra Mileo   +9 more
core   +1 more source

Evaluating GenAI‐produced feedback on undergraduate bioscience essays against good higher education feedback practice

FEBS Open Bio, EarlyView.
This pilot study investigates the potential of Generative AI to provide formative feedback to students. ChatGPT was prompted to provide feedback on Year 1 Bioscience essays, which were evaluated against established good feedback practices. GenAI‐authored feedback had useful elements, but was limited in scope. GenAI may have potential to provide instant,
Annabel Court, Nigel Francis, Andrew Shore, Stephen Rutherford   +3 more
wiley   +1 more source

A nationwide student survey on biochemistry learning resources in Italy

FEBS Open Bio, EarlyView.
We conducted a survey among Italian university students to investigate their preferred study materials for biochemistry. We then analyzed the collected data to identify these materials. This information may be valuable to the Biochemistry educational community. The graphical abstract was created with Claude (Opus 5.5; Anthropic, 2026).
Anna Marabotti, Ivano Eberini, Maria Luisa Genova, Francesca Mensitieri, Francesco Malatesta   +4 more
wiley   +1 more source

Constraint Logic Programming

, 2010
Constraint Logic Programming (CLP) is one of the most successful branches of Logic Programming; it attracts the interest of theoreticians and practitioners, and it is currently used in many commercial applications.
GAVANELLI, Marco, MARCO GAVANELLI, ROSSI, FRANCESCA, Francesca Rossi   +3 more
core   +1 more source

Programming in logic without logic programming [PDF]

, 2015
In previous work, we proposed a logic-based framework in which computation is the execution of actions in an attempt to make reactive rules of the form if antecedent then consequent true in a canonical model of a logic program determined by an initial ...
SADRI, F, Fariba Sadri, Robert Kowalski, KOWALSKI, R   +3 more
core   +1 more source

Self‐Regulated Learning Meets AI: Reinterpreting Self‐Regulation, Co‐Regulation, and Socially Shared Regulation in Human–AI Interaction

New Directions for Adult and Continuing Education, EarlyView.
ABSTRACT Advancing artificial intelligence (AI) has transformed learning and work, yet higher education and professional development programs have not systematically equipped learners for AI‐prevalent environments. This lack of preparation creates uncertainty regarding control, responsibility, trust, and accountability.
Moon‐Heum Cho, Jerusalem Merkebu
wiley   +1 more source

23rd Workshop on (Constraint) Logic Programming 2009. Proceedings

, 2022
The workshops on (constraint) logic programming (WLP) are the annual meeting of the Society of Logic Programming (GLP e.V.) and bring together researchers interested in logic programming, constraint programming, and related areas like databases ...

core   +1 more source