Search Results - Logic Programming General Terms Algorithms*
-
1
Authors: PAYET, ETIENNE
Source: Theory & Practice of Logic Programming; Jul2025, Vol. 25 Issue 4, p739-755, 17p
-
2
Authors:
Source: Journal of Artificial Intelligence Research 80, 475-516 (2024). doi:10.1613/jair.1.15581
Journal of Artificial Intelligence ResearchSubject Terms: FOS: Computer and information sciences, Computer Science - Artificial Intelligence, Computer Networks and Communications, Artificial Intelligence Planning and Reasoning, Distributed Constraint Optimization Problems and Algorithms, Epistemology, 0102 computer and information sciences, 02 engineering and technology, Polynomial, Mathematical analysis, 01 natural sciences, Bounded function, Artificial Intelligence, Logic Programming and Knowledge Representation, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Scope (computer science), Spatial Reasoning, Domain (mathematical analysis), Discrete Mathematics, Exponential function, Semantics (computer science), Discrete mathematics, Diskret matematik, Computer science, Programming language, FOS: Philosophy, ethics and religion, Philosophy, Artificial Intelligence (cs.AI), Computer Science, Physical Sciences, Simple (philosophy), Tuple, Mathematics
File Description: application/pdf
-
3
Authors: Camps Pascual, Oscar Vicente
Thesis Advisors: Picos Gayà, Rodrigo, Stavrinides, Stavros G.
Source: TDX (Tesis Doctorals en Xarxa)
Subject Terms: Computación estocástica, Memristores, Sistemas no lineales, Computación Estocástica
Time: 621.3
File Description: application/pdf
Access URL: http://hdl.handle.net/10803/688339
-
4
Authors: Majoral Ramoneda, Marc
Contributors: University/Department: Universitat Politècnica de Catalunya. Departament de Teoria del Senyal i Comunicacions
Thesis Advisors: Fernández Prades, Carlos, Arribas Lázaro, Javier, Pérez Neira, Ana Isabel
Source: TDX (Tesis Doctorals en Xarxa)
Subject Terms: Àrees temàtiques de la UPC::Enginyeria de la telecomunicació
Time: 621.3
File Description: application/pdf
-
5
Authors: BEN-ELIYAHU-ZOHARY, RACHEL
Source: Theory & Practice of Logic Programming; Jul2025, Vol. 25 Issue 4, p507-521, 15p
Subject Terms: POLYNOMIAL time algorithms, LOGIC programming, NONMONOTONIC logic, COMPUTER science
-
6
Authors:
Source: Formal Methods in System Design; Nov2025, Vol. 67 Issue 2, p143-160, 18p
-
7
Authors:
Source: Journal of Applied Logics- IfCoLog Journal of Logics & their Applications (FLAP); Mar2025, Vol. 12 Issue 3, p591-660, 70p
Subject Terms: LOGIC programming, SEMANTICS, TERMS & phrases, ARGUMENT
-
8
Authors:
Source: Theory & Practice of Logic Programming; Jul2025, Vol. 25 Issue 4, p703-721, 19p
Subject Terms: LOGIC programming, KNOWLEDGE representation (Information theory), ALGORITHMS
-
9
Authors: et al.
Source: Intelligenza Artificiale; Aug2025, Vol. 19 Issue 2, p85-101, 17p
-
10
Authors:
Source: Theory & Practice of Logic Programming; Jul2025, Vol. 25 Issue 4, p540-557, 18p
-
11
Authors: et al.
Source: Mathematics (2227-7390); Jun2025, Vol. 13 Issue 11, p1877, 23p
Subject Terms: LOGIC programming, INDUCTION (Logic), VALUES (Ethics), ALGORITHMS
-
12
Authors: et al.
Source: Theory & Practice of Logic Programming; May2025, Vol. 25 Issue 3, p281-303, 23p
-
13
Authors:
Source: Theory & Practice of Logic Programming; Jul2025, Vol. 25 Issue 4, p394-401, 8p
Subject Terms: LOGIC programming, CONFERENCES & conventions, SCHOLARLY publishing
-
14
Authors:
Source: Informatics in Education; Sep2023, Vol. 22 Issue 3, p441-462, 22p
-
15
Authors:
Source: Mathematics (2227-7390); Jun2025, Vol. 13 Issue 11, p1707, 42p
Subject Terms: ARTIFICIAL intelligence, LOGIC programming, MATHEMATICAL logic, DEEP learning, BRITTLENESS, SCALABILITY
-
16
Authors: et al.
Source: International Journal of Production Research; Jul2022, Vol. 60 Issue 14, p4487-4507, 21p, 1 Diagram, 9 Charts, 2 Graphs
Subject Terms: ARTIFICIAL intelligence, DECISION making, LOGIC programming, FUZZY algorithms, FUZZY systems
-
17
Authors:
Source: Machine Learning; Oct2024, Vol. 113 Issue 10, p7479-7508, 30p
-
18
Authors:
Source: Theory & Practice of Logic Programming; Jul2025, Vol. 25 Issue 4, p455-472, 18p
-
19
Authors:
Source: Theory & Practice of Logic Programming; Sep2020, Vol. 20 Issue 5, p656-670, 15p
Subject Terms: LOGIC programming, ALGORITHMS, INFORMATION theory, INDUCTION (Logic), SUPPORT vector machines
-
20
Authors: et al.
Source: IEEE Access, Vol 8, Pp 207034-207043 (2020)
207034-207043
IEEE AccessSubject Terms: Artificial intelligence, Decomposition method (queueing theory), Data Stream Management Systems and Techniques, GPU, Distributed Constraint Optimization Problems and Algorithms, 0211 other engineering and technologies, 02 engineering and technology, Constraint satisfaction, Soft Constraints, 0202 electrical engineering, electronic engineering, information engineering, General Materials Science, Canopy clustering algorithm, scalability, Probabilistic logic, Adaptation (eye), Ecology, Physics, General Engineering, Correlation clustering, Discrete mathematics, Programming language, Top-k Query Processing, Algorithm, Physical Sciences, Electrical engineering. Electronics. Nuclear engineering, General Computer Science, Computer Networks and Communications, Constraint satisfaction problem, Trajectory Data Mining and Analysis, Geometry, Set (abstract data type), Local consistency, Query Optimization, Clustering Algorithms, Cluster analysis, Theoretical computer science, CSP, FOS: Mathematics, Constraint (computer-aided design), Biology, Decomposition, Constraint logic programming, decomposition, Optics, Computer science, DBSCAN, TK1-9971, Constraint satisfaction dual problem, FOS: Biological sciences, Computer Science, Signal Processing, Constraint Optimization, Mathematics
File Description: PDF; application/pdf
Access URL: https://doaj.org/article/d67faf3c34de4e0581ca7b29364a0499
https://ieeexplore.ieee.org/document/9260140
https://doi.org/10.1109/ACCESS.2020.3038228
https://hvlopen.brage.unit.no/hvlopen-xmlui/handle/11250/2729390
https://dblp.uni-trier.de/db/journals/access/access8.html#DjenouriDHLMC20
https://hdl.handle.net/11250/3057457
https://hdl.handle.net/11250/2729390
Nájsť tento článok vo Web of Science
Full Text Finder