Výsledky vyhledávání - Mathematical Logic— logic and constraint programming~

Computing Process-Specific Constraints.

Autoři: Jardine, Adam Oakden, Christopher

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

Témata: PHONOLOGY, MATHEMATICAL logic, RULE-based programming, CONSTRAINT programming

Mutation testing for temporal alloy models (extended version).

Autoři: Jovanovic, Ana Sullivan, Allison

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

Témata: 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.

Autoři: Hellal, Yassmine Gara Hamel, Lazhar Graiet, Mohamed

Zdroj: Concurrency & Computation: Practice & Experience; 11/30/2025, Vol. 37 Issue 25/26, p1-18, 18p

Témata: INTERNET of things, TRUST, MATHEMATICAL logic, AUTOMATION, BLOCKCHAINS, CONSTRAINT programming

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

Autoři: Heipcke, S.

Zdroj: The Journal of the Operational Research Society, 1999 Jun 01. 50(6), 581-595.

Přístupová URL adresa: https://www.jstor.org/stable/3010615

Mathematical Aspects of Logic Programming Semantics

Autoři: Pascal Hitzler Anthony Seda

Resource Type: eBook.

Témata: 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

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

Autoři: Senni, Valerio Pettorossi, Alberto Proietti, Maurizio

Zdroj: Fundamenta Informaticae. 2009, Vol. 96 Issue 3, p373-393. 21p. 1 Chart.

Témata: *MATHEMATICAL logic, *CONSTRAINT programming, *LOGIC programming, *PROGRAM transformation, *LANGUAGE & logic

Note from the Editor.

Autoři: Smith, Alice E.

Zdroj: INFORMS Journal on Computing; May/Jun2024, Vol. 36 Issue 3, p705-707, 3p

Témata: ARTIFICIAL intelligence, MATHEMATICAL logic, CONSTRAINT programming

Using semantic information for processing negation and disjunction in logic programs

Přispěvatelé: Lobo, J [Univ. of Illinois, Chicago, IL (US). Dept. of Electrical Engineering and Computer Science]

Zdroj: Conference: 7. international symposium on methodologies for intelligent systems,Trondheim (Norway),15-18 Jun 1993; Other Information: PBD: [1993]

Popis souboru: Medium: ED; Size: 12 p.

Přístupová URL adresa: http://www.osti.gov/scitech/servlets/purl/10173101

Using semantic information for processing negation and disjunction in logic programs

Přispěvatelé: Lobo, J [Univ. of Illinois, Chicago (United States)]

Zdroj: Conference: 7. international symposium on methodologies for intelligent systems, Trondheim (Norway), 15-18 Jun 1993

Popis souboru: Medium: ED; Size: Pages: (12 p)

Přístupová URL adresa: http://www.osti.gov/scitech/servlets/purl/6321717

Unicast and multicast QoS routing with soft-constraint logic programming

Autoři: Stefano Bistarelli Ugo Montanari Francesca Rossi a další

Přispěvatelé: Stefano Bistarelli Ugo Montanari Francesca Rossi a další

Zdroj: http://arxiv.org/pdf/0704.1783v2.pdf.

Témata: 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

Popis souboru: application/pdf

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

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

Constraint logic programming languages

Přispěvatelé: Cohen, J [Michtom School of Computer Science, Brandeis Univ., MA (US)]

Zdroj: Communications of the ACM (Association of Computing Machinery); (USA); 33:7

Popis souboru: Medium: X; Size: Pages: 52-68

Přístupová URL adresa: http://www.osti.gov/scitech/biblio/6597394

Unicast and multicast QoS routing with soft constraint logic programming

Autoři: Stefano Bistarelli Ugo Montanari Francesca Rossi a další

Přispěvatelé: Stefano Bistarelli Ugo Montanari Francesca Rossi a další

Zdroj: http://arxiv.org/pdf/0704.1783v3.pdf.

Témata: 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

Popis souboru: application/pdf

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

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

Relational and Allegorical Semantics for Constraint Logic Programming

Autoři: Gallego Arias, Emilio Jesús

Thesis Advisors: Mariño y Carballo, Julio, Lipton, James B.

Témata: Informática

Přístupová URL adresa: http://hdl.handle.net/10803/452285

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

Autoři: Nascimento, Paulo Jorge Rodrigues

Témata: 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

Dostupnost: https://hdl.handle.net/10316/118701

Unicast and Multicast QoS Routing with Soft-Constraint Logic Programming.

Zdroj: ACM Transactions on Computational Logic; Oct2010, Vol. 12 Issue 1, p5-5:48, 48p, 1 Black and White Photograph, 17 Diagrams, 8 Charts

Témata: QUALITY of service, MATHEMATICAL logic, FORMAL languages, PROGRAMMING languages, LOGIC programming, DATA mining, SEMIRINGS (Mathematics), COMPUTER networks, CONSTRAINT programming

A non-termination criterion for binary constraint logic programs.

Autoři: ?TIENNE PAYET FRED MESNARD

Zdroj: Theory & Practice of Logic Programming; Mar2009, Vol. 9 Issue 2, p145-164, 20p

Témata: LOGIC programming, CONSTRAINT programming, LOGIC design software, MATHEMATICAL logic, BINARY number system, FORM (Logic), OPERATIONAL definitions

Constraint satisfaction tractability from semi-lattice operations on infinite sets

Autoři: Bodirsky, Manuel Macpherson, Dugald Thapper, Johan a další

Přispěvatelé: Bodirsky, Manuel Macpherson, Dugald Thapper, Johan a další

Zdroj: ACM Transactions on Computational Logic

Témata: [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

Přístupová URL adresa: 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

A Mathematical Logic Approach for the Transformation of the Linear Conditional Piecewise Functions of Dispersion-and-Store and Cell Transmission Traffic Flow Models into Linear Mixed-Integer Form

Autoři: Pavlis, Yannis Recker, Will

Zdroj: Transportation Science, 2009 Feb 01. 43(1), 98-116.

Přístupová URL adresa: https://www.jstor.org/stable/25769435

A logic for state-modifying authorization policies

Autoři: Moritz Y. Becker Mathematical Modelling The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Moritz Y. Becker Mathematical Modelling The Pennsylvania State University CiteSeerX Archives

Zdroj: http://se.inf.ethz.ch/people/nanz/publications/becker-nanz_tissec10.pdf.

Témata: 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

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.420.7280

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.420.7280
http://se.inf.ethz.ch/people/nanz/publications/becker-nanz_tissec10.pdf

Query Answering in Normal Logic Programs Under Uncertainty

Autoři: Straccia U

Zdroj: 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–700

Témata: 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

Popis souboru: application/pdf