Search Results - mathematical (logic OR login)—(logic OR login) and constraint programming general terms
-
1
Authors:
Source: Software & Systems Modeling; Dec2025, Vol. 24 Issue 6, p1847-1868, 22p
-
2
Authors: et al.
Contributors: et al.
Source: http://arxiv.org/pdf/0704.1783v2.pdf.
Subject Terms: Categories and Subject Descriptors, D.3.2 [Programming Languages, Language Classifications—Constraint and logic languages, D.3.3 [Programming Languages, Language Constructs and Features—Constraints, C.2.3 [Computer-Communication Networks, Network Operations—Network management, F.4.1 [Mathematical Logic And Formal Languages, Mathematical Logic—Logic and constraint programming General Terms, Languages, Measurement, Theory Additional Key Words and Phrases, Quality of service, network routing, soft constraint logic programming
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.313.3831; http://arxiv.org/pdf/0704.1783v2.pdf
-
3
Authors: et al.
Contributors: et al.
Source: http://arxiv.org/pdf/0704.1783v3.pdf.
Subject Terms: Categories and Subject Descriptors, D.3.2 [Programming Languages, Language Classifications—Constraint and logic languages, D.3.3 [Programming Languages, Language Constructs and Features—Constraints, C.2.3 [Computer-Communication Networks, Network Operations—Network management, F.4.1 [Mathematical Logic And Formal Languages, Mathematical Logic—Logic and constraint programming General Terms, Languages, Measurement, Theory
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.312.5570; http://arxiv.org/pdf/0704.1783v3.pdf
-
4
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, D.4.6 [Operating Systems, Security and protection – Access controls, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic – Logic and constraint programming General Terms, Security, Logic Additional Key Words and Phrases, Authorization, Access control, Policy, Hoare logic
File Description: application/pdf
-
5
Authors:
Contributors:
Source: ftp://ftp.cs.uky.edu/cs/manuscripts/toclEastTruszczynski04.ps
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, Predicate logic, Search problems, Constraints Additional Key Words and Phrases, Satisfiability, pseudo-boolean constraints
File Description: application/postscript
-
6
Authors: Kis, Tamás1 kis.tamas@sztaki.mta.hu
Source: Discrete Optimization. May2014, Vol. 12, p98-114. 17p.
-
7
Authors:
Contributors:
Subject Terms: Mathematical Logic—Logic and constraint programming General Terms, Predicate logic, Search problems, Constraints Additional Key Words and Phrases, Satisfiability, pseudo-boolean constraints
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.151.5591; http://www.cs.uky.edu/ai/papers.dir/toclEastTruszczynski04.pdf
-
8
Authors: et al.
Source: Frontiers in Veterinary Science. 2025, p1-19. 19p.
HTML Full Text PDF Full Text -
9
Authors:
Source: Theory & Practice of Logic Programming; Mar2009, Vol. 9 Issue 2, p145-164, 20p
-
10
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 -
11
Authors:
Resource Type: eBook.
-
12
Authors: et al.
Source: Computation; Jan2025, Vol. 13 Issue 1, p10, 27p
Subject Terms: CONSTRAINT programming, UNIVERSITIES & colleges, BLENDED learning, HIGHER education, DEEP diving
-
13
Authors:
Source: Mathematical Programming. May2025, p1-31.
-
14
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
-
15
Authors: et al.
Resource Type: eBook.
Subjects: Natural language processing (Computer science), Mathematical logic, Logic programming, Computer programming, Computer systems
Categories: COMPUTERS / Speech & Audio Processing, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Programming / General, COMPUTERS / Hardware / General, MATHEMATICS / Logic
-
16
Authors:
Source: Fundamenta Informaticae; 2009, Vol. 96 Issue 3, p373-393, 21p, 1 Chart
-
17
Authors: et al.
Source: Fundamenta Informaticae. 2018, Vol. 161 Issue 1-2, p75-111. 37p.
Subject Terms: *BUSINESS process management, *PROGRAMMING languages, *COMPUTER programming, *MATHEMATICAL models, *COMPUTER systems, *COMPUTER simulation
-
18
-
19
Authors: et al.
Source: Proceedings of the Sixth NASA Langley Formal Methods Workshop.
Subject Terms: Mathematical And Computer Sciences (General)
Relation: Proceedings of the Sixth NASA Langley Formal Methods (LFM) Workshop
Access URL: https://ntrs.nasa.gov/citations/20080022204
-
20
Authors: et al.
Source: 人工知能 / Journal of the Japanese Society for Artificial Intelligence. 1992, 7(3):487
Full Text Finder 
Nájsť tento článok vo Web of Science