Search Results - Implementations of Logic Programming

Development of the Prevention of Suicide Behaviour in Prisons: Enhancing Access to Therapy (PROSPECT) logic model and implementation strategies.

Authors: Crook, Rebecca Lennox, Charlotte Awenat, Yvonne et al.

Source: BJPsych Bulletin; Oct2024, Vol. 48 Issue 5, p285-293, 9p

Subject Terms: SUICIDE prevention, PSYCHOTHERAPY, SUICIDE risk factors, PRISON conditions, LOGIC programming

Processing interaction protocols in parallel: a logic programming implementation for robotic soccer

Authors: Mariano Tucat Alejandro Javier García

Source: Journal of Computer Science and Technology, Vol 5, Iss 04, Pp 232-238 (2005)

Subject Terms: interaction protocols, parallel processing, logic programming, multi-agent systems, Computer engineering. Computer hardware, TK7885-7895, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: https://journal.info.unlp.edu.ar/JCST/article/view/841; https://doaj.org/toc/1666-6046; https://doaj.org/toc/1666-6038

Access URL: https://doaj.org/article/73f4c54aea64487b9b5bdce7765248fe

Implementations of Logic Programming Systems

Authors: Tick E Succi G

Subject Terms: implementations of logic programming systems, Practical Implementations, n Logic Programming Systems, Parallel Implementations

Access URL: https://philpapers.org/rec/TICIOL
https://ci.nii.ac.jp/ncid/BA22904382
https://www.dropbox.com/s/nv19otbafi64pm6/Succi.E1.ImplementationsOfLogicProgrammingSystems.pdf?dl=0
https://hdl.handle.net/11585/894859

Backtracking in independent and-parallel implementations of logic programming languages

Authors: E. Pontelli G. Gupta

Source: IEEE Transactions on Parallel and Distributed Systems. 12:1169-1189

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: http://ieeexplore.ieee.org/document/969127/
https://ieeexplore.ieee.org/document/969127/
https://dblp.uni-trier.de/db/journals/tpds/tpds12.html#PontelliG01
http://doi.ieeecomputersociety.org/10.1109/71.969127

Applied logic : its use and implementation as a programming tool

Authors: Warren, David H. D. Michie, Donald

Contributors: Warren, David H. D. Michie, Donald

Subject Terms: 005.3, Logic, programming, Prolog, implementation, compiler, data structures, matching, compiler specification

Access URL: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.569976

Guest editors' introduction: High-performance implementations of logic programming systems

Authors: Mats Carlsson Gopal Gupta

Source: The Journal of Logic Programming. 29:1-3

Subject Terms: Logic, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: https://www.sciencedirect.com/science/article/pii/S0743106696000660
https://dblp.uni-trier.de/db/journals/jlp/jlp29.html#GuptaC96a

Design and implementation of intelligent electronic component inspection based on PLC and vision system

Authors: Zulfa Fitri Ikatrinasari Hendi Herlambang Kosasih Kosasih

Source: Jurnal Sistem dan Manajemen Industri, Vol 7, Iss 2, Pp 155-168 (2023)

Subject Terms: automatic visual inspection, intelligent terminals electronics component, logic programming, plc, Industrial engineering. Management engineering, T55.4-60.8

File Description: electronic resource

Relation: https://e-jurnal.lppmunsera.org/index.php/JSMI/article/view/6511; https://doaj.org/toc/2580-2887; https://doaj.org/toc/2580-2895

Access URL: https://doaj.org/article/48ad85a272cf4b84b2b7e6feddca5fcf

Revisiting the Percentage of K-12 Students in Need of Preventive Interventions in Schools in a 'Peri-COVID' Era: Implications for the Implementation of Tiered Programming

Authors: Mark D. Weist Andy Garbacz Brandon Schultz et al.

Source: Prevention Science. 2024 25(3):481-487.

Peer Reviewed: Y

Page Count: 7

Descriptors: COVID-19, Pandemics, Positive Behavior Supports, Multi Tiered Systems of Support, Mental Health, Prevention, Elementary Secondary Education, Elementary School Students, Secondary School Students, Program Implementation

Proceedings of the 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems

Authors: Angelopoulos, Nicos Bagnara, Roberto

Subject Terms: FOS: Computer and information sciences, Computer Science - Programming Languages, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/1302.0126

A landscape and implementation framework for probabilistic rough sets using PROBLOG

Authors: Doherty, Patrick Szalas, Andrzej

Source: Information Sciences. 593:546-576

Subject Terms: Probabilistic rough sets, ProbLog, Probabilistic programming, Knowledge representation, Rule-based languages

File Description: electronic

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-186842
https://liu.diva-portal.org/smash/get/diva2:1681176/FULLTEXT01.pdf

Implementation of the Knowledge of Engineering Mechanics Using Logic Programming Technique : Development of an Interactive Software System / 論理プログラミング技法を用いた材料力学の知識の計算機への実装 : 対話形システム開発の初期研究

Authors: Shuichi FUKUDA 福田 収一

Source: 日本機械学会論文集 A編 / Transactions of the Japan Society of Mechanical Engineers Series A. 1985, 51(461):226

DNA logic programming: From concept to construction

Authors: Yi Zhang Ning Hu Jiajie Xu et al.

Source: View, Vol 5, Iss 1, Pp n/a-n/a (2024)

Subject Terms: biological storage, circuit, gene edition, logic programming, Biotechnology, TP248.13-248.65, Medical technology, R855-855.5

File Description: electronic resource

Relation: https://doaj.org/toc/2688-3988; https://doaj.org/toc/2688-268X

Access URL: https://doaj.org/article/509ccc935996426cb7d39b91669de9d2

Support logic programming and its implementation in Prolog

Authors: Monk, M. R. M.

Subject Terms: 005, Computer software & programming

Access URL: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.330036

Selected papers of the Symposium on Programming Language Implementation and Logic Programming (PLILP '91), Passau, Germany, 26-28 August 1991 / guest ed. J. Małusziński [i.e. Małuszyński] and M. Wirsing.

Authors: PLILP '91 (3 ; 1991 ; Pasawa). Małuszyński, Jan (1941- ). Wirsing, Martin.

Contributors: PLILP '91 (3 ; 1991 ; Pasawa). Małuszyński, Jan (1941- ). Wirsing, Martin.

Source: Bibliogr. przy rozdz.

Access URL: http://katalog.nukat.edu.pl/lib/item?id=chamo:2490951&theme=nukat

Programming language implementation and logic programming : 6th international symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings / Manuel Hermenegildo, Jaan Penjam (eds.).

Authors: PLILP '94 (6 ; 1994 ; Madryt). Hermenegildo, Manuel. Penjam, Jaan (1955- ). et al.

Contributors: PLILP '94 (6 ; 1994 ; Madryt). Hermenegildo, Manuel. Penjam, Jaan (1955- ). et al.

Subject Terms: Języki programowania -- konferencje, Programowanie logiczne -- konferencje

Access URL: http://katalog.nukat.edu.pl/lib/item?id=chamo:1642531&theme=nukat

Programming language implementation and logic programming : 5th international symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993 : proceedings / Maurice Bruynooghe, Jaan Penjam (eds.).

Authors: PLILP '93 (5 ; 1993 ; Tallinn). Bruynooghe, Maurice. Penjam, Jaan (1955- ).

Contributors: PLILP '93 (5 ; 1993 ; Tallinn). Bruynooghe, Maurice. Penjam, Jaan (1955- ).

Subject Terms: Języki programowania -- konferencje, Programowanie logiczne -- konferencje

Access URL: http://katalog.nukat.edu.pl/lib/item?id=chamo:1642807&theme=nukat

Programming language implementation and logic programming : 4th international symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings / M. Bruynooghe, M. Wirsing (eds.).

Authors: PLILP '92 (4 ; 1992 ; Leuven). Bruynooghe, Maurice. Wirsing, Martin.

Contributors: PLILP '92 (4 ; 1992 ; Leuven). Bruynooghe, Maurice. Wirsing, Martin.

Subject Terms: Języki programowania -- konferencje, Programowanie logiczne -- konferencje

Access URL: http://katalog.nukat.edu.pl/lib/item?id=chamo:1643025&theme=nukat

Programming language implementation and logic programming : 3rd international symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings / J. Maluszyński, M. Wirsing (eds.).

Authors: PLILP '91 (3 ; 1991 ; Pasawa). Wirsing, Martin. Małuszyński, Jan (1941- ). et al.

Contributors: PLILP '91 (3 ; 1991 ; Pasawa). Wirsing, Martin. Małuszyński, Jan (1941- ). et al.

Subject Terms: Języki programowania -- konferencje, Programowanie logiczne -- konferencje

Access URL: http://katalog.nukat.edu.pl/lib/item?id=chamo:1642878&theme=nukat

The implementation of functional logic programming languages / Hendrik C. R. Lock.

Authors: Lock, Hendrik C. R.

Access URL: http://katalog.nukat.edu.pl/lib/item?id=chamo:2323333&theme=nukat

Design, application and implementation of a parallel logic programming language

Authors: Gregory, S.

Subject Terms: 004

Access URL: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.691765