Results 31 to 40 of about 79,804 (260)
The Synthesis of Logic Programs from Inductive Proofs [PDF]
, 1990 We describe a technique for synthesising logic (Prolog) programs from non-executable specifications. This technique is adapted from one for synthesising functional programs as total functions. Logic programs, on the other hand, define predicates.
Bundy, Alan, Smaill, A., Wiggins, G.
core +1 more source
Kepemimpinan Yohanes Pembaptis
Veritas: Jurnal Teologi dan Pelayanan, 2002 Seorang pemimpin biasanya menimbulkan dua hal yang kontradiktif. Ia bisa dikasihi atau sebaliknya, dibenci oleh orang-orang yang dipimpinnya. Ada berbagai alasan atau motivasi yang dapat menimbulkan dua hal kontradiktif sebagai akibat kepemimpinan ...
Armand Barus
doaj +1 more source
Pengines: Web Logic Programming Made Easy
, 2014 When developing a (web) interface for a deductive database, functionality required by the client is provided by means of HTTP handlers that wrap the logical data access predicates.
Lager, Torbjörn, Wielemaker, Jan
core +2 more sources
The Ecce and Logen Partial Evaluators and their Web Interfaces [PDF]
, 2006 We present Ecce and Logen, two partial evaluators for Prolog using the online and offline approach respectively. We briefly present the foundations of these tools and discuss various applications.
Craig, Stephen-John +4 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
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 +2 more
semanticscholar +1 more source
Tabling as a Library with Delimited Control [PDF]
, 2015 Tabling is probably the most widely studied extension of Prolog. But despite its importance and practicality, tabling is not implemented by most Prolog systems.
Desouter, Benoit +2 more
core +3 more sources
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 +3 more
semanticscholar +1 more source
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 +4 more
wiley +1 more source
A Framework for Safe and Efficient Fishbone Layouts in Warehouse Operations [PDF]
Journal of South Asian Logistics and TransportThe 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