Search Results - Logic and constraint programming General Terms Algorithms*
-
1
Authors: et al.
Source: Computation; Jan2025, Vol. 13 Issue 1, p10, 27p
Subject Terms: CONSTRAINT programming, UNIVERSITIES & colleges, BLENDED learning, HIGHER education, DEEP diving
-
2
Authors: 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
HTML Full Text PDF Full Text -
3
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.2.7 [ Distribution, Maintenance, and Enhancement, Extensibility, D.2.13 [Reusable Software, Reusable li- braries, F.4.1 [Mathematical Logic, Logic and constraint programming General Terms Algorithms, Design, Experimentation Keywords OSGi
File Description: application/pdf
-
4
Alternate Title: Hayvancılıkta Yapay Zekâ Teknolojilerinin Uygulanması.
Authors:
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
PDF Full Text -
5
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, I.2.4 [Artificial Intelligence, Knowledge Representation Formalisms and Methods—Predicate Logic, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—Logic and Constraint Programming General Terms, Algorithms, Theory Additional Key Words and Phrases, Aggregates, constraint propagation, first-order logic, inductive definitions ACM Reference Format
File Description: application/pdf
-
6
Authors: et al.
Source: Frontiers in Veterinary Science. 2025, p1-19. 19p.
HTML Full Text PDF Full Text -
7
-
8
Authors: et al.
Source: Nutrients. Aug2025, Vol. 17 Issue 15, p2542. 45p.
HTML Full Text PDF Full Text -
9
Contributors: Burke, J [Univ. of Washington, Seattle, WA (United States). Dept. of Mathematics]
Source: SIAM Journal on Numerical Analysis (Society for Industrial and Applied Mathematics); (United States); 27:4
File Description: Medium: X; Size: Pages: 1081-1102
Access URL: http://www.osti.gov/scitech/biblio/6969493
-
10
Authors: et al.
Source: Nutrients. Nov2025, Vol. 17 Issue 22, p3515. 45p.
HTML Full Text PDF Full Text -
11
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—Logic and constraint programming General Terms, Algorithms, Reliability, Uncertainty Additional Key Words and Phrases, Incomplete and erroneous data, uncertain constraint satisfac- tion problem, closure, reliable solutions ACM Reference Format
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.503.3912; http://www.ai.sri.com/pubs/files/1710.pdf
-
12
Authors:
Source: Expert Systems with Applications. Nov2023:Part A, Vol. 229, pN.PAG-N.PAG. 1p.
Subject Terms: *LINEAR programming, *LOGIC programming, *FUZZY logic, *EXPERT systems, *FUZZY expert systems, *CONSTRAINT programming, *CRYPTOSYSTEMS, *PUBLIC key cryptography
-
13
Authors:
Source: Microprocessors & Microsystems. Nov2024, Vol. 111, pN.PAG-N.PAG. 1p.
-
14
-
15
Authors:
Resource Type: eBook.
Subjects: Compilers (Computer programs), Computer programming, Algorithms, Artificial intelligence—Data processing
Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Database Administration & Management, COMPUTERS / Programming / General, COMPUTERS / Programming / Algorithms
PDF Full Text ePub Full Text -
16
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, F4.1 [Mathematical Logic and Formal Languages, Logic and Constraint Programming General Terms, Algorithms Additional Key Words and Phrases, Constraint Satisfaction, Quantified Constraints, Quantified
File Description: application/pdf
-
17
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, F4.1 [Mathematical Logic and Formal Languages, Logic and Constraint Programming General Terms, Algorithms Additional Key Words and Phrases, Constraint Satisfaction, Quantified Constraints, Quantified
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.219.5422; http://www.acm.org/tocl/accepted/351bordeaux.pdf
-
18
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, F.4.1 [Theory of Computation, Mathematical Logic and Formal Languages—Logic and Constraint Programming, I.2.8 [Computing Methodologies, Artificial Intelligence—Problem Solving, Control Methods, and Search General Terms, Algorithms, Theory, Computation Additional Key Words and Phrases, Constraint Progr
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.341.7392; http://arxiv.org/pdf/cs/0512045v2.pdf
-
19
Authors: et al.
Contributors: et al.
Subject Terms: General Terms, Theory, Algorithms Additional Key Words and Phrases, Membership and Equality Constraints, Lists, Multisets, Compact Lists, Sets
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.104.9699; http://tocl.acm.org/accepted/273piazza.pdf
-
20
Authors:
Contributors:
Subject Terms: General Terms, Algorithms, Design Additional Key Words and Phrases, Rule-Based Constraint Programming, Generation of Solvers, Finite Domains
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.423.6584; http://liris.cnrs.fr/~crigotti/_downloads/tocl04.pdf
Full Text Finder 
Nájsť tento článok vo Web of Science