Search Results - Python-based logic programming systems

Natlog: a Lightweight Logic Programming Language with a Neuro-symbolic Touch

Authors: Tarau, Paul

Source: Electronic Proceedings in Theoretical Computer Science. 345:141-154

Subject Terms: FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Logic in Computer Science, embedded logic programming languages, ground term fact database indexing, Computer Science - Programming Languages, Computer Science - Artificial Intelligence, 02 engineering and technology, Machine Learning (cs.LG), Logic in Computer Science (cs.LO), logic programming, Artificial Intelligence (cs.AI), 0202 electrical engineering, electronic engineering, information engineering, neuro-symbolic logic programming, Python-based logic programming systems, logic programming language implementation, Python, Programming Languages (cs.PL)

File Description: Text

Access URL: https://arxiv.org/pdf/2109.08291
http://arxiv.org/abs/2109.08291
https://arxiv.org/abs/2109.08291
http://arxiv.org/pdf/2109.08291.pdf

Python Tabanlı Bulanık Mantık Modeli ile Rumen Fungal Ksilanaz Enzim Aktivitesinin Tahmini: Mikrobiyal Üretim.

Alternate Title: Prediction of Rumen Fungal Xylanase Enzyme Activity with Python Based Fuzzy Logic Model: Analysis of Microbial Production Conditions.

Authors: YÜCEL, Halit EKİNCİ, Kübra

Source: Journal of Fungus / Mantar Dergisi. nis2025, Vol. 16 Issue 1, p71-80. 10p.

Subject Terms: *FUNGAL enzymes, *MICROBIAL enzymes, *PYTHON programming language, *MEMBERSHIP functions (Fuzzy logic), *FUZZY logic

Anna: an open-source platform for real-time integration of machine learning classifiers with veterinary electronic health records.

Authors: Kong, Chun Yin Vasquez, Picasso Farhoodimoghadam, Makan et al.

Source: BMC Veterinary Research. 10/2/2025, Vol. 21 Issue 1, p1-12. 12p.

Subjects: Machine learning, Electronic health records, Open source software, Patient care, Veterinary medicine, Diagnosis, Classification algorithms, Synchronization

Vehicular Traffic Flow Detection and Monitoring for Implementation of Smart Traffic Light: A Case Study for Road Intersection in Limeira, Brazil.

Authors: dos Santos Ximenes, Talía Simões de Oliveira Silva, Antonio Carlos de Martino, Guilherme Pieretti et al.

Source: Future Transportation; Dec2024, Vol. 4 Issue 4, p1388-1401, 14p

Subject Terms: TRAFFIC flow measurement, TRAFFIC monitoring, TRAFFIC flow, TRAFFIC engineering, LOGIC programming

Application of Artificial Intelligence Technologies in Livestock Management.

Alternate Title: Hayvancılıkta Yapay Zekâ Teknolojilerinin Uygulanması.

Authors: DİLAVER, Hatice DİLAVER, Kamil Fatih

Source: Journal of Animal Science & Economics. Jul2025, Vol. 4 Issue 2, p64-74. 11p.

Subjects: Natural language processing, Artificial neural networks, Supervised learning, Artificial intelligence, Agriculture

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Authors: Tomáš Vojnar Lijun Zhang

Resource Type: eBook.

Subjects: Artificial intelligence, System analysis--Congresses, System design--Congresses, Computer software--Verification--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Logic Design, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms

Integrated Medical and Digital Approaches to Enhance Post-Bariatric Surgery Care: A Prototype-Based Evaluation of the NutriMonitCare System in a Controlled Setting.

Authors: Marin, Ruxandra-Cristina Ianculescu, Marilena Costescu, Mihnea et al.

Source: Nutrients. Aug2025, Vol. 17 Issue 15, p2542. 45p.

Adaptive Personalized Learning System with Generative AI.

Authors: Parakh, Divyansh Lodha, Prerak C. N., Subalalitha

Source: Frontiers in Health Informatics; 2024, Vol. 13 Issue 8, p2612-2637, 26p

Subject Terms: GENERATIVE artificial intelligence, INSTRUCTIONAL systems, LANGUAGE models, DATABASES, INDIVIDUALIZED instruction, VIRTUAL classrooms, PYTHON programming language

Computational Infrastructure for Modern Greek: From Grammar to Ontology.

Authors: Samaridi, Nikoletta E. Karanikolas, Nikitas N. Papakitsos, Evangelos C. et al.

Source: Computation; Nov2025, Vol. 13 Issue 11, p272, 27p

Subject Terms: GRAMMAR, ONTOLOGY, NATURAL language processing, INFORMATION storage & retrieval systems, CONCEPTUAL structures, GREEK language, PHILOSOPHY of language

CoolerSpace: A Language for Physically Correct and Computationally Efficient Color Programming

Authors: Chen, Ethan Chang, Jiwon Zhu, Yuhao

Index Terms: Computer Science - Programming Languages, Computer Science - Graphics, text

URL: http://arxiv.org/abs/2409.02771

GPR: A Python implementation of an extremely simple classifier based on fuzzy logic and gene expression programming

Authors: Anna Czmil Jacek Kluska Sylwester Czmil

Source: SoftwareX, Vol 22, Iss , Pp 101362- (2023)

Subject Terms: Fuzzy rule-based classifier, Gene expression programming, Interpretability, Computer software, QA76.75-76.765

File Description: electronic resource

Relation: http://www.sciencedirect.com/science/article/pii/S2352711023000584; https://doaj.org/toc/2352-7110

Access URL: https://doaj.org/article/a198f11c6eaa46a596d17c89897a7f1c

Open-source, Python-based, hardware and software for controlling behavioural neuroscience experiments.

Authors: Akam, Thomas Lustig, Andy Rowland, James M. et al.

Source: eLife. 1/19/2022, p1-26. 26p.

Subject Terms: *BEHAVIORAL neuroscience, *PYTHON programming language, *GRAPHICAL user interfaces

PyHLS: Intermediate Representation for Versatile High-Level Synthesis.

Authors: Cieszewski, Radoslaw¹ radoslaw.cieszewski@pw.edu.pl

Source: International Journal of Electronics & Telecommunications. 2025, Vol. 71 Issue 4, p1-7. 9p.

Subject Terms: *AUDITING, *VHDL (Computer hardware description language), *ELECTRONIC design automation, *SOFTWARE compatibility, *PYTHON programming language, *FIELD programmable gate arrays

CoolerSpace: A Language for Physically Correct and Computationally Efficient Color Programming

Authors: Ethan Chen Jiwon Chang Yuhao Zhu

Source: Proceedings of the ACM on Programming Languages. 8:846-875

Subject Terms: FOS: Computer and information sciences, Computer Science - Programming Languages, Computer Science - Graphics, Graphics (cs.GR), Programming Languages (cs.PL)

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

Boosting HPC data analysis performance with the ParSoDA-Py library.

Authors: Belcastro, Loris Giampà, Salvatore Marozzo, Fabrizio et al.

Source: Journal of Supercomputing. May2024, Vol. 80 Issue 8, p11741-11761. 21p.

Subject Terms: *DATA analysis, *PYTHON programming language, *DATA mining, *DATA libraries, *LIBRARY technical services, *HIGH performance computing, *BIG data

Transforming Hydrology Python Packages into Web Application Programming Interfaces: A Comprehensive Workflow Using Modern Web Technologies.

Authors: Pulla, Sarva T. Yasarer, Hakan Yarbrough, Lance D.

Source: Water (20734441); Sep2024, Vol. 16 Issue 18, p2609, 22p

Subject Terms: WATER management, HYDROLOGIC models, INTERNET access, WEB-based user interfaces, COMPUTER software development, PYTHON programming language

Continuous reasoning for adaptive container image distribution in the cloud–edge continuum.

Authors: Azzolini, Damiano Forti, Stefano Ielo, Antonio

Source: Cluster Computing; Oct2025, Vol. 28 Issue 7, p1-17, 17p

Subject Terms: EDGE computing, RESOURCE allocation, NETWORK performance

Perspectives of System Informatics : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

Authors: Nikolaj Bjørner Irina Virbitskaite Andrei Voronkov

Resource Type: eBook.

Subjects: Computer science, Computer networks, Computers, Special purpose, Machine theory, Computer programming, Logic programming

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Networking / General, COMPUTERS / Programming / General

Hybrid Optimization Approaches for Impeller Design in Turbomachinery: Methods, Metrics, and Design Strategies.

Authors: Remache, Abel Pérez-Sánchez, Modesto Hidalgo, Víctor Hugo et al.

Source: Water (20734441); Jul2025, Vol. 17 Issue 13, p1976, 35p

Subject Terms: COMPUTATIONAL fluid dynamics, FINITE element method, RESPONSE surfaces (Statistics), MATHEMATICAL programming, CENTRIFUGAL pumps, MACHINE learning, TURBOMACHINES, EVOLUTIONARY algorithms

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

Authors: Pedro Lopez-Garcia John P. Gallagher Roberto Giacobazzi

Resource Type: eBook.

Subjects: Software engineering, Computer science

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Science