Showing 1 - 20 of 4,612

1

Prévention et auto-rééducation de pathologies ostéoarticulaires assistées par intelligence artificielle
Cervoni, Laurent ; Brasseur, Julien ; Roudesli, Med, Mehdi ; et al.
9ème Conférence Nationale sur les Applications Pratiques de l’Intelligence Artificielle APIA@PFIA2023. :118-122

Strasbourg, France Musculoskeletal disorder... Artificial Intelligence Health Logical Programming Consensus rules
Conference
Save to List
2

Formal Verification of Nonfunctional Requirements of Overall Instrumentation and Control Architectures
Polina Ovsiannikova ; Antti Pakonen ; Dmitry Muromsky ; et al.
IEEE Open Journal of the Industrial Electronics Society, Vol 5, Pp 616-631 (2024)

safety-critical systems Function block diagrams... TK7800-8360 Computer Sciences Industrial engineering.... T55.4-60.8
Academic journal
Save to List
3

Automation system of intellectual activity on creating programs in the language of logical programming
Lapenok, M. V. ; Patrusheva, O. M. ; Pokhodzey, G. V. ; et al.
Smart Innovation, Systems and Technologies

USPU ANALYSIS OF FORMAL CONCE... INTELLECTUAL ACTIVITY LOGICAL PROGRAMMING PREDICATE PROLOG
Conference
Save to List
4

Logic-infused knowledge graph QA: Enhancing large language models for specialized domains through Prolog integration
Bashir, Aneesa ; Peng, Rong ; Ding, Yongchang
In Data & Knowledge Engineering May 2025 157

Academic journal
Save to List
5

Polynomial Sequences and Their Applications
Costabile, Francesco Aldo ; Gualtieri, Maria I. ; Napoli, Anna

polyexponential function Fubini polynomials poly-Fubini polynomials unipoly function Stirling numbers formal power series
eBook
Save to List
6

Data Science in the Management of Healthcare Organizations
Pedro Faria ; Victor Alves ; José Neves ; et al.
Algorithms ; Volume 18 ; Issue 3 ; Pages: 173

healthcare organizations data science healthcare workers entropy logical programming knowledge representation...
Academic journal
Save to List
7

Polynomial-Computable Representation of Neural Networks in Semantic Programming
Sergey Goncharov ; Andrey Nechesov
J, Vol 6, Iss 1, Pp 48-57 (2023)
Volume 6
Issue 1
Pages: 48-57

polynomiality machine learning semantic programming AI Science logical programming lang...
Academic journal
Save to List
8

Verification of Java Bytecode using Analysis and Transformation of Logic Programs
Albert, Elvira ; Gómez-Zamalloa, Miguel ; Hubert, Laurent ; et al.
The International Symposium on Practical Aspects of Declarative Languages. :124-139

Nice, France Java bytecode partial evaluation decompilation logical programming [INFO.INFO-PL]Computer S...
Conference
Save to List
9

Escribiendo sistemas expertos con flex
Lezcano Brito, Mateo G. ; Madiedo Méndez, Mercedes J.
Repositorio UCC
Universidad Cooperativa de Colombia
instacron:Universidad Cooperativa de Colombia

Sistemas expertos Logical programming Expert systems Lenguaje Prolog Prolog language Programación lógica
Academic journal
Save to List
10

Implementation of a Graphic Interface Development Tool for Prolog
Ivaniuk, Nazar ; Kucher, Anton ; Yuschenko, Yury
NaUKMA Research Papers. Computer Science; Vol. 4 (2021): NaUKMA Research Papers. Computer Science; 108-112
Наукові записки НаУКМА. Комп'ютерні науки; Том 4 (2021): Наукові записки НаУКМА. Комп’ютерні науки; 108-112

JavaScript asynchronous пролог кросплатформність... клієнт-серверне застосув... маніпулювання запитів...
Academic journal
Save to List
11

Theoretical foundations of the organization of branches and repetitions in programs in the logic programming language Prolog
D. V. Zdor
Advanced Engineering Research, Vol 21, Iss 2, Pp 200-206 (2021)

repetition of predicates 4. Education branching 8. Economic growth TA401-492 0202 electrical engineer...
Academic journal
Save to List
12

Prolog Visualisation
Saparamadu, Rosanne
Wellington Faculty of Engineering Symposium; 2023: Wellington Faculty of Engineering Symposium ; 3021-1220

Software Engineering Logical programming lang... Visualisations
Academic journal
Save to List
13

Characterisation and programming in language theory and in logic of effective complexity classes of cellular automatons
Caractérisation et programmation en théorie des langages et en logique des classes de complexité efficace des automates cellulaires

Grente, Theo ; Equipe AMACC - Laboratoire GREYC - UMR6072 ; Groupe de Recherche en Informatique, Image et Instrumentation de Caen (GREYC) ; et al.
Arithmétique des ordinateurs. Normandie Université, 2020. Français. ⟨NNT : 2020NORMC214⟩

Horn formulas Conjunctive Algebraic grammar Logical programming Existential second order... Descriptive complexity
Dissertation/ Thesis
Save to List
14

Solution of the Problem P = L
Sergey Goncharov ; Andrey Nechesov
Mathematics ; Volume 10 ; Issue 1 ; Pages: 113

polynomiality polynomial function polynomial algorithm Turing machine logical programming lang... semantic programming
Academic journal
Save to List
15

The Oretical Foundations of the Organization of Branches and Repetitions in Programs in the Logical Programming Language Prolog
Приборы и системы. Управление, контроль, диагностика.

логическое программирова... repetition of predicates branching ветвление условие окончания рекурс... повторение предикатов...
Academic journal
Save to List
16

ReLog: A systematic approach for supporting efficient reprogramming in wireless sensor networks
Zhu, Xiaorui ; Tao, Xianping ; Gu, Tao ; et al.
In Journal of Parallel and Distributed Computing April 2017 102:132-148

Academic journal
Save to List
17

Contrasting logical sequences in multi-relational learning
Abreu Ferreira, Carlos ; Gama, João ; Santos Costa, Vítor
Progress in Artificial Intelligence. :1-17

Academic journal
Save to List
18

Using Mutual Information and Answer Set Programming to refine PWM based transcription regulation network
Aravena, Andres ; Guziolowski, Carito ; Siegel, Anne ; et al.
Jobim 2012. :171-171

Rennes, France logical programming Transcriptional regulato... mutual information logical programming. [INFO.INFO-BI]Computer S...
Conference
Save to List
19

ПАРАДИГМЫ ПРОГРАММИРОВАНИЯ: СОВРЕМЕННЫЕ ТЕНДЕНЦИИ И ПЕРСПЕКТИВЫ

парадигмы программирован... логическое программирова... объектно-ориентированное... imperative programming programming paradigms object-oriented programm...
Report
Save to List
20

Formal compiler construction in a logical framework
HICKEY, Jason ; NOGIN, Aleksey
Second ACM SIGPLAN workshop MEchanized Reasoning about Languages with varIable and Names (MERΛIN 2003)Higher-order and symbolic computation. 19(2-3):197-230

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List

Filter