Search Results - Mathematical Logic— logic AND constraint programming~
-
1
Authors:
Source: Linguistic Inquiry; Fall225, Vol. 56 Issue 4, p807-816, 10p
Subject Terms: PHONOLOGY, MATHEMATICAL logic, RULE-based programming, CONSTRAINT programming
-
2
Authors:
Source: Software & Systems Modeling; Dec2025, Vol. 24 Issue 6, p1847-1868, 22p
-
3
Authors:
Source: Concurrency & Computation: Practice & Experience; 11/30/2025, Vol. 37 Issue 25/26, p1-18, 18p
Subject Terms: INTERNET of things, TRUST, MATHEMATICAL logic, AUTOMATION, BLOCKCHAINS, CONSTRAINT programming
-
4
Authors: Heipcke, S.
Source: The Journal of the Operational Research Society, 1999 Jun 01. 50(6), 581-595.
Access URL: https://www.jstor.org/stable/3010615
-
5
Authors:
Resource Type: eBook.
Categories: COMPUTERS / Programming / Games, COMPUTERS / Information Theory, COMPUTERS / Machine Theory, COMPUTERS / Software Development & Engineering / Systems Analysis & Design, MATHEMATICS / General, MATHEMATICS / Algebra / General, MATHEMATICS / History & Philosophy
PDF Full Text ePub Full Text -
6
Authors:
Source: Fundamenta Informaticae. 2009, Vol. 96 Issue 3, p373-393. 21p. 1 Chart.
Subject Terms: *MATHEMATICAL logic, *CONSTRAINT programming, *LOGIC programming, *PROGRAM transformation, *LANGUAGE & logic
-
7
Authors: Smith, Alice E.
Source: INFORMS Journal on Computing; May/Jun2024, Vol. 36 Issue 3, p705-707, 3p
Subject Terms: ARTIFICIAL intelligence, MATHEMATICAL logic, CONSTRAINT programming
-
8
Contributors: Lobo, J [Univ. of Illinois, Chicago, IL (US). Dept. of Electrical Engineering and Computer Science]
Source: Conference: 7. international symposium on methodologies for intelligent systems,Trondheim (Norway),15-18 Jun 1993; Other Information: PBD: [1993]
File Description: Medium: ED; Size: 12 p.
-
9
Contributors: Lobo, J [Univ. of Illinois, Chicago (United States)]
Source: Conference: 7. international symposium on methodologies for intelligent systems, Trondheim (Norway), 15-18 Jun 1993
File Description: Medium: ED; Size: Pages: (12 p)
-
10
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
-
11
Contributors: Cohen, J [Michtom School of Computer Science, Brandeis Univ., MA (US)]
Source: Communications of the ACM (Association of Computing Machinery); (USA); 33:7
File Description: Medium: X; Size: Pages: 52-68
Access URL: http://www.osti.gov/scitech/biblio/6597394
-
12
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
-
13
Authors: Gallego Arias, Emilio Jesús
Thesis Advisors: Mariño y Carballo, Julio, Lipton, James B.
Subject Terms: Informática
Access URL: http://hdl.handle.net/10803/452285
-
14
Authors: Nascimento, Paulo Jorge Rodrigues
Subject Terms: Scheduling, Nesting, Additive Manufacturing, Logic-based Benders decomposition, Constraint programming, Escalonamento, Empacotamento, Fabrico aditivo, Decomposição lógica de Benders, Programação por restrições, Ciências da engenharia e tecnologias::Engenharia mecânica
Availability: https://hdl.handle.net/10316/118701
-
15
Source: ACM Transactions on Computational Logic; Oct2010, Vol. 12 Issue 1, p5-5:48, 48p, 1 Black and White Photograph, 17 Diagrams, 8 Charts
-
16
Authors:
Source: Theory & Practice of Logic Programming; Mar2009, Vol. 9 Issue 2, p145-164, 20p
-
17
Authors: et al.
Contributors: et al.
Source: ACM Transactions on Computational Logic
Subject Terms: [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], FOS: Computer and information sciences, ω-categoricity, Discrete Mathematics (cs.DM), Mathematics - Logic, 0102 computer and information sciences, [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], Computational Complexity (cs.CC), semi-lattice operations, 01 natural sciences, Computational complexity, [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], Computer Science - Computational Complexity, Mathematical Logic—Logic and constraint programming, FOS: Mathematics, F.4.1, Model theory, Theory, 0101 mathematics, constraint satisfaction problems, Logic (math.LO), Algorithms, Computer Science - Discrete Mathematics
Access URL: http://arxiv.org/pdf/1111.6616
http://arxiv.org/abs/1111.6616
https://arxiv.org/abs/1111.6616
https://dl.acm.org/doi/10.1145/2528933
https://core.ac.uk/display/23555794
https://hal.archives-ouvertes.fr/hal-00756929/document
https://hal.archives-ouvertes.fr/hal-00756929
https://arxiv.org/pdf/1111.6616v1 -
18
Authors:
Source: Transportation Science, 2009 Feb 01. 43(1), 98-116.
Access URL: https://www.jstor.org/stable/25769435
-
19
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
-
20
Authors: Straccia U
Source: Lecture Notes in Computer Science ISBN: 9783540273264
8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, pp. 687–700, Barcellona, Spain, July 2005
info:cnr-pdr/source/autori:Straccia U./congresso_nome:8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty/congresso_luogo:Barcellona, Spain/congresso_data:July 2005/anno:2005/pagina_da:687/pagina_a:700/intervallo_pagine:687–700Subject Terms: Bilattices, Non-monotonic, F.4.1 Mathematical Logic: Logic and constraint programming, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Multi-valued logics, Logic programming, 01 natural sciences, Semantics
File Description: application/pdf
Nájsť tento článok vo Web of Science 
Full Text Finder