Results 31 to 40 of about 76,775 (221)

An Algebraic Prolog for Reasoning about Possible Worlds

AAAI Conference on Artificial Intelligence, 2011
We introduce aProbLog, a generalization of the probabilistic logic programming language ProbLog. An aProbLog program consists of a set of definite clauses and a set of algebraic facts; each such fact is labeled with an element of a semiring.
Angelika Kimmig, Guy Van den Broeck, L. D. Raedt   +2 more
semanticscholar   +1 more source

Improving Prolog Programs: Refactoring for Prolog

, 2004
Refactoring is an established technique from the OO-community to restructure code: it aims at improving software readability, maintainability and extensibility.
A. Pettorossi, D. Roberts, M. Fowler, M. Leuschel, N. Jacobs, P. Tarau, R.A. O’Keefe, S. Etalle, T. Tourwé, The ->, Y. Deville   +10 more
core   +1 more source

Henrik Wergelands «Den første Gang» som prolog og talehandling

Edda, 2018
Sammendrag «Den første Gang» hører til blant Wergelands mest kjente dikt, men er hittil ikke blitt gjort til gjenstand for en helhetlig tolkning. Denne artikkelen setter seg fore å bøte på denne mangelen i Wergelandsforskningen.
Frode Helmich Pedersen
doaj   +1 more source

A Framework for Safe and Efficient Fishbone Layouts in Warehouse Operations [PDF]

Journal of South Asian Logistics and Transport
The adoption of Industry 4.0 technologies has transformed warehouse management, enhancing its efficiency, accuracy, and profitability. However, optimising warehouse layouts, particularly fishbone designs, remains complex and often relies on intricate ...
S. Nimishan, K. Theekshani
doaj   +1 more source

An Exploration of the Impact of the School Counseling Equity Fellowship on School Counselors

Journal of Counseling &Development, EarlyView.
ABSTRACT Diversity of all kinds has increased in the United States, yet systems of oppression and discrimination continue to persist in K–12 schools, negatively impacting student mental health and academic outcomes. School counselors are well‐positioned to address oppression and discrimination, but all school counselors do not actively work to reduce ...
Clare Merlin‐Knoblich, Brooke Graham, Skylar Clark, Sharon Song, Sherée Harper   +4 more
wiley   +1 more source

DTProbLog: A Decision-Theoretic Probabilistic Prolog

AAAI Conference on Artificial Intelligence, 2010
We introduce DTProbLog, a decision-theoretic extension of Prolog and its probabilistic variant ProbLog. DTProbLog is a simple but expressive probabilistic programming language that allows the modeling of a wide variety of domains, such as viral ...
Guy Van den Broeck, Ingo Thon, M. V. Otterlo, L. D. Raedt   +3 more
semanticscholar   +1 more source

Contrasts or Carryover? Demands–Capabilities Fit and Task‐Level Intrinsic Motivation Across the Workday

Journal of Organizational Behavior, EarlyView.
ABSTRACT In the course of a workday, employees attend to various tasks whose challenge might be equal to, higher than, or lower than employees' present level of capabilities. Moreover, employees encounter these tasks sequentially throughout the day with different levels of prior motivation. Investigating carryover effects in motivation from one task to
Sherry (Qiang) Fu, Anna C. Lennard, Leslie Garza, Lindsey M. Greco, Nikolaos Dimotakis   +4 more
wiley   +1 more source

Rehumanizing Higher Education: Fostering Humanity in the Era of Machine Learning

New Directions for Teaching and Learning, EarlyView.
ABSTRACT Recent advancements in artificial intelligence (AI) have raised contentious questions and spawned divided opinions regarding the future of education. The polarization it brings to the academy seems to be breaking between the soft and hard disciplines and is reminiscent of the Science Wars of the 1990s. This chapter highlights the philosophical
Joseph Carver, Samba Bah
wiley   +1 more source

Approaches to Interpreter Composition [PDF]

, 2015
In this paper, we compose six different Python and Prolog VMs into 4 pairwise compositions: one using C interpreters; one running on the JVM; one using meta-tracing interpreters; and one using a C interpreter and a meta-tracing interpreter.
Barrett, Edd, Bolz, Carl Friedrich, Tratt, Laurence   +2 more
core   +3 more sources

Data privacy model using blockchain reinforcement federated learning approach for scalable internet of medical things

CAAI Transactions on Intelligence Technology, EarlyView.
Abstract Internet of Medical Things (IoMT) has typical advancements in the healthcare sector with rapid potential proof for decentralised communication systems that have been applied for collecting and monitoring COVID‐19 patient data. Machine Learning algorithms typically use the risk score of each patient based on risk factors, which could help ...
Chandramohan Dhasaratha, Mohammad Kamrul Hasan, Shayla Islam, Shailesh Khapre, Salwani Abdullah, Taher M. Ghazal, Ahmed Ibrahim Alzahrani, Nasser Alalwan, Nguyen Vo, Md Akhtaruzzaman   +9 more
wiley   +1 more source