Search Results - mathematical (logic OR login)-(logic OR login) and constraint programming

Comparing Constraint Programming and Mathematical Programming Approaches to Discrete Optimisation-The Change Problem

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

Computing Process-Specific Constraints.

Authors: Jardine, Adam Oakden, Christopher

Source: Linguistic Inquiry; Fall225, Vol. 56 Issue 4, p807-816, 10p

Subject Terms: PHONOLOGY, MATHEMATICAL logic, RULE-based programming, CONSTRAINT programming

Mutation testing for temporal alloy models (extended version).

Authors: Jovanovic, Ana Sullivan, Allison

Source: Software & Systems Modeling; Dec2025, Vol. 24 Issue 6, p1847-1868, 22p

Subject Terms: COMPUTER software testing, MODEL validation, CONSTRAINT programming, MODELING languages (Computer science), MATHEMATICAL logic, FAULT diagnosis, DYNAMIC testing

On Guaranteeing Trustworthiness and Better Outcomes in Internet of Things Environments.

Authors: Hellal, Yassmine Gara Hamel, Lazhar Graiet, Mohamed

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

Mathematical Aspects of Logic Programming Semantics

Authors: Pascal Hitzler Anthony Seda

Resource Type: eBook.

Subjects: Logic programming, Programming languages (Electronic computers)--Semantics

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

Relational and Allegorical Semantics for Constraint Logic Programming

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

Characterizing right inverses for spatial constraint systems with applications to modal logic

Authors: Guzmán, Michell Perchy, Salim Rueda, Camilo et al.

Contributors: Guzmán, Michell Perchy, Salim Rueda, Camilo et al.

Source: Theoretical Computer Science. 744:56-77

Subject Terms: ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, inverse operators, [INFO.INFO-DC]Computer Science [cs]/Distributed, constraint systems, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-GT]Computer Science [cs]/Computer Science and Game Theory [cs.GT], concurrent constraint programming, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 0102 computer and information sciences, 02 engineering and technology, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic, 16. Peace & justice, ACM: F.: Theory of Computation, Parallel, concurrency theory, 01 natural sciences, and Cluster Computing [cs.DC], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], Modal algebra, [INFO.INFO-GT] Computer Science [cs]/Computer Science and Game Theory [cs.GT], [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], 0202 electrical engineering, electronic engineering, information engineering, modal logic, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

File Description: application/pdf

Access URL: https://hal.inria.fr/hal-01675010/file/final-tcs.pdf
https://inria.hal.science/hal-01675010v2
https://hal.inria.fr/hal-01675010
https://hal.inria.fr/hal-01675010/document
https://dblp.uni-trier.de/db/journals/tcs/tcs744.html#GuzmanPRV18
https://www.sciencedirect.com/science/article/pii/S0304397518303426
https://hal.archives-ouvertes.fr/hal-01675010v1

Note from the Editor.

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

Integrated nesting and scheduling in additive manufacturing: models, methods, and scalable optimization

Empacotamento e escalonamento integrados em fabrico aditivo: modelos, métodos, e otimização escalável

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

Using semantic information for processing negation and disjunction in logic programs

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.

Access URL: http://www.osti.gov/scitech/servlets/purl/10173101

Using semantic information for processing negation and disjunction in logic programs

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)

Access URL: http://www.osti.gov/scitech/servlets/purl/6321717

Observational and behavioural equivalences for soft concurrent constraint programming

Authors: Fabio Gadducci Luis Fernando Pino Francesco Santini et al.

Contributors: Fabio Gadducci Luis Fernando Pino Francesco Santini et al.

Source: Journal of Logical and Algebraic Methods in Programming. 92:45-63

Subject Terms: ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, [INFO.INFO-DC]Computer Science [cs]/Distributed, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Semantics of Programming Langages, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 0102 computer and information sciences, 16. Peace & justice, ACM: F.: Theory of Computation, Parallel, 01 natural sciences, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, Soft Constraints, and Cluster Computing [cs.DC], Soft Concurrent Constraint Programming, Bisimulation, 13. Climate action, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Concurrent Constraint Programming, 0101 mathematics

Access URL: https://inria.hal.science/hal-01675060v1
https://doi.org/10.1016/j.jlamp.2017.06.001
https://www.sciencedirect.com/science/article/pii/S2352220817301165
https://core.ac.uk/display/87081999
https://hal.inria.fr/hal-01675060
https://research.unipg.it/handle/11391/1417231
https://dblp.uni-trier.de/db/journals/jlp/jlp92.html#GadducciSPV17
https://hdl.handle.net/11568/872080
https://doi.org/10.1016/j.jlamp.2017.06.001
http://www.sciencedirect.com/science/journal/23522208
https://doi.org/10.1016/j.jlamp.2017.06.001
https://hdl.handle.net/11391/1417231

Multiplicative Linear Logic from Logic Programs and Tilings

Authors: Eng, Boris Seiller, Thomas Laboratoire d'Informatique de Paris-Nord (LIPN) et al.

Contributors: Eng, Boris Seiller, Thomas Laboratoire d'Informatique de Paris-Nord (LIPN) et al.

Source: https://hal.science/hal-02895111 ; 2021.

Subject Terms: Models of Computation, Linear Logic, Semantics, Geometry of Interaction, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.1: Denotational semantics, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.0: Computability theory, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.7: Proof theory, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.3: Logic and constraint programming, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.2: Lambda calculus and related systems, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2007.16077; ARXIV: 2007.16077

Availability: https://hal.science/hal-02895111
https://hal.science/hal-02895111v3/document
https://hal.science/hal-02895111v3/file/main.pdf

Foundations of Fuzzy Logic and Semantic Web Languages

Authors: Umberto Straccia

Resource Type: eBook.

Subjects: Semantic Web, Programming languages (Electronic computers), Fuzzy logic

Categories: COMPUTERS / General, COMPUTERS / Programming / Games, COMPUTERS / Data Science / Data Analytics, COMPUTERS / Software Development & Engineering / Systems Analysis & Design, COMPUTERS / Internet / General

Computer Aided Verification : 30th International Conference, CAV 2018, Held As Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Authors: Hana Chockler Georg Weissenbacher

Resource Type: eBook.

Subjects: Artificial intelligence, Logic, Symbolic and mathematical, Electronic data processing, Computer simulation, Software engineering, Computer science, Computer logic, Algorithms, Digital computer simulation, Computer algorithms

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms, COMPUTERS / Computer Simulation

A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs.

Authors: Senni, Valerio Pettorossi, Alberto Proietti, Maurizio

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

Unicast and multicast QoS routing with soft-constraint logic programming

Authors: Stefano Bistarelli Ugo Montanari Francesca Rossi et al.

Contributors: Stefano Bistarelli Ugo Montanari Francesca Rossi 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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.313.3831
http://arxiv.org/pdf/0704.1783v2.pdf

Unicast and multicast QoS routing with soft constraint logic programming

Authors: Stefano Bistarelli Ugo Montanari Francesca Rossi et al.

Contributors: Stefano Bistarelli Ugo Montanari Francesca Rossi 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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.312.5570
http://arxiv.org/pdf/0704.1783v3.pdf

Constraint logic programming languages

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

Models and emerging trends of concurrent constraint programming

Authors: Carlos Olarte Camilo Rueda Frank D. Valencia et al.

Contributors: Carlos Olarte Camilo Rueda Frank D. Valencia et al.

Source: Constraints. 18:535-578

Subject Terms: ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, Artificial intelligence, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Computer Networks and Communications, Variety (cybernetics), Distributed Constraint Optimization Problems and Algorithms, Stochastic programming, Geometry, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Data science, Soft Constraints, Theoretical computer science, Logic Programming and Knowledge Representation, Artificial Intelligence, Concurrent engineering, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Cloud computing, Constraint programming, Constraint (computer-aided design), [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], Mathematical optimization, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Computer science, Distributed computing, Operating system, Constraint Logic Programming, Computer Science, Physical Sciences, Constraint Optimization, Concurrent Constraint Programming, Program Analysis and Verification Techniques, Scheduling (production processes), Mathematics

File Description: application/pdf

Access URL: http://hal.archives-ouvertes.fr/docs/00/86/91/92/PDF/ccp-survey-article.pdf
https://inria.hal.science/hal-00869192v2/document
https://inria.hal.science/hal-00869192v2
https://doi.org/10.1007/s10601-013-9145-3
https://hal.inria.fr/hal-00869192v2
https://core.ac.uk/display/23707991
https://hal.inria.fr/hal-00869192/document
https://link.springer.com/article/10.1007%2Fs10601-013-9145-3