Výsledky vyhľadávania - "logical programming language"

Methods of organizing and using recursion on the 'Prolog' logical programming language

Autori: T.N. Gornostaeva E.V. Savelyeva D.V. Zdor

Zdroj: Automation, Telemechanization and Communication in Oil Industry. :50-54

The Oretical Foundations of the Organization of Branches and Repetitions in Programs in the Logical Programming Language Prolog

Zdroj: Приборы и системы. Управление, контроль, диагностика.

Predmety: логическое программирование, repetition of predicates, branching, ветвление, условие окончания рекурсии, повторение предикатов, recursive rule, рекурсивное правило, logical programming, recursion termination condition

Theoretical Foundations of the Organization of Banches and Repetitions in Programs in the Logical Programming Language Prolog

Zdroj: Приборы и системы. Управление, контроль, диагностика.

Predmety: list, динамическая структура данных, dynamic data structure, условие окончания рекурсии, список, recursive rule, рекурсивное правило, recursion termination condition

A Logical Programming Language as an Instrument for Specifying and Verifying Dynamic Memory

Autori: Haberland, Ren��

Predmety: Software Engineering (cs.SE), FOS: Computer and information sciences, Formal Languages and Automata Theory (cs.FL), Symbolic Computation (cs.SC), Logic in Computer Science (cs.LO), Programming Languages (cs.PL)

A Logical Programming Language as an Instrument for Specifying and Verifying Dynamic Memory

Autori: Haberland, René

Témy: Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory, Computer Science - Programming Languages, Computer Science - Symbolic Computation, Computer Science - Software Engineering, text

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

Basic Algorithm for Automated Inference of Stratigraphic Sequence by Symbolic Logical Operation: Use of Logical Programming Language “Prolog”

Autori: Masanori Sakamoto Kiyoji Shiono

Zdroj: Geoinformatics. 1:211-217

Predmety: 01 natural sciences, 0105 earth and related environmental sciences

Prístupová URL adresa: https://www.jstage.jst.go.jp/article/geoinformatics1990/1/2/1_2_211/_article/-char/ja/

Polynomial-Computable Representation of Neural Networks in Semantic Programming

Autori: Sergey Goncharov Andrey Nechesov

Zdroj: J, Vol 6, Iss 1, Pp 48-57 (2023)
Volume 6
Issue 1
Pages: 48-57

Predmety: polynomiality, machine learning, semantic programming, AI, Science, logical programming language, polynomial algorithm, neural networks

Popis súboru: application/pdf

Prístupová URL adresa: https://doaj.org/article/a1a34c2bf92f4ef9b4d228bc0af62f25

Database Accessing by Constraint Logical Programming Language / 制約言語を用いたデータベースの論理処理システムの実装

Autori: Kazuaki Tanaka Yuichi Kaku 加来 佑一 a ďalší

Zdroj: Record of Joint Conference of Electrical and Electronics Engineers in Kyushu. 2010, :322

The Use of the Logical Programming Language PROLOG as a Classification Method

Autori: Roberto Buzzi

Zdroj: Conceptual and Numerical Analysis of Data ISBN: 9783540516415

Predmety: 4. Education

Prístupová URL adresa: https://rd.springer.com/chapter/10.1007/978-3-642-75040-3_29
https://link.springer.com/chapter/10.1007/978-3-642-75040-3_29
https://link.springer.com/content/pdf/10.1007%2F978-3-642-75040-3_29.pdf

Solution of the Problem P = L

Autori: Sergey Goncharov Andrey Nechesov

Zdroj: Mathematics ; Volume 10 ; Issue 1 ; Pages: 113

Predmety: polynomiality, polynomial function, polynomial algorithm, Turing machine, logical programming language, semantic programming, smart contract, blockchain, AI

Popis súboru: application/pdf

Relation: E: Applied Mathematics; https://dx.doi.org/10.3390/math10010113

Dostupnosť: https://doi.org/10.3390/math10010113

Translation of EXPRESS to a Logical Programming Language

Autori: Georg Lehrenfeld Wolfgang Mueller Wolfgang Mueller Cadlab a ďalší

Prispievatelia: Georg Lehrenfeld Wolfgang Mueller Wolfgang Mueller Cadlab a ďalší

Zdroj: http://www.c-lab.de/~wolfgang/ecip013.ps.Z.

Popis súboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.523

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.523
http://www.c-lab.de/~wolfgang/ecip013.ps.Z

Polynomial-Computable Representation of Neural Networks in Semantic Programming.

Autori: Goncharov, Sergey Nechesov, Andrey

Zdroj: J: Multidisciplinary Scientific Journal; Mar2023, Vol. 6 Issue 1, p48-57, 10p

Predmety: PROGRAMMING languages, FEEDFORWARD neural networks, MATHEMATICAL logic, PYTHON programming language, ARTIFICIAL intelligence, MATHEMATICAL formulas, ARTIFICIAL languages

ReLog: A systematic approach for supporting efficient reprogramming in wireless sensor networks

Autori: Xiaorui Zhu Xianping Tao Tao Gu a ďalší

Predmety: Networking and communications, Pervasive computing, Compiler, Logical programming language, Reprogramming efficiency, Virtual machine, Wireless sensor network

Relation: 10779/rmit.27503229.v1; https://figshare.com/articles/journal_contribution/ReLog_A_systematic_approach_for_supporting_efficient_reprogramming_in_wireless_sensor_networks/27503229

Dostupnosť: https://figshare.com/articles/journal_contribution/ReLog_A_systematic_approach_for_supporting_efficient_reprogramming_in_wireless_sensor_networks/27503229

ReLog: A systematic approach for supporting efficient reprogramming in wireless sensor networks.

Autori: Zhu, Xiaorui Tao, Xianping Gu, Tao a ďalší

Zdroj: Journal of Parallel & Distributed Computing. Apr2017, Vol. 102, p132-148. 17p.

Predmety: *WIRELESS sensor networks, *PROGRAMMING languages, *VIRTUAL machine systems, *CODING theory, *COMPILING (Electronic computers)

Topological design of distributed control systems using the Prolog programming language

Autori: Kozhevnikov, G. K.

Predmety: distributed control systems, logical programming language, Formal languages and automata, Logic programming

Popis súboru: application/xml

Prístupová URL adresa: https://zbmath.org/220133

Implementation of a Plausible Reasoning in the Prolog Programming Language.

Autori: Efimova, E. A.

Zdroj: Automatic Documentation & Mathematical Linguistics; Jun2023, Vol. 57 Issue 3, p166-171, 6p

ExAIS: executable AI semantics.

Autori: Schumi, Richard Sun, Jun

Zdroj: ICSE: International Conference on Software Engineering; 2022, p859-870, 12p

Predmety: NEURAL circuitry, ARTIFICIAL intelligence, SEMANTICS, PROGRAMMING languages, LIBRARIES

Blockchain-based access control and privacy preservation in healthcare: a comprehensive survey.

Autori: Tawfik, Ahmed M. Al-Ahwal, Ayman Eldien, Adly S. Tag a ďalší

Zdroj: Cluster Computing; 2025, Vol. 28 Issue 8, p1-45, 45p

Developed an expert system for analysis of covid-19 affected

Autori: Mishra, Shashank Yadav, Shivam Aggarwal, Mukul a ďalší

Zdroj: Journal of Soft Computing Exploration; Vol. 4 No. 1 (2023): March 2023; 59-68; 2746-0991; 2746-7686; 10.52465/joscex.v4i1

Témy: Prolog, Expert System, Diagnosis, Knowledge Base, Covid -19, Automated System, Computer Science, info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion

URL: https://shmpublisher.com/index.php/joscex/article/view/113
https://shmpublisher.com/index.php/joscex/article/view/113/101
https://shmpublisher.com/index.php/joscex/article/view/113/101

Empirical Reordering of Horn Clauses in Logic Programs; Style as Property: Protecting Creative Expression from Generative AI

Predmety: LLM, Logic Programming, Generative AI, Data Privacy, Symbolic Logic