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

A Hybrid Fuzzy Mathematical Programming Approach for Manufacturing Inventory Models with Partial Trade Credit Policy and Reliability.

Autoři: Dhandapani, Prasantha Bharathi Kalaichelvan, Kalaiarasi Leiva, Víctor a další

Zdroj: Axioms (2075-1680). Nov2024, Vol. 13 Issue 11, p743. 36p.

Témata: *MATHEMATICAL programming, *PRODUCTION management (Manufacturing), *MATHEMATICAL logic, *LOGIC programming, *NONLINEAR programming, *BACK orders, *INVENTORY control

ANTHEM 2.0: Automated Reasoning for Answer Set Programming.

Autoři: FANDINNO, JORGE HANSEN, ZACHARY LIERLER, YULIYA a další

Zdroj: Theory & Practice of Logic Programming; Jul2025, Vol. 25 Issue 4, p668-684, 17p

Témata: LOGIC programming, SOFTWARE verification, MATHEMATICAL logic, NONMONOTONIC logic

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

AI Reasoning in Deep Learning Era: From Symbolic AI to Neural–Symbolic AI.

Autoři: Liang, Baoyu Wang, Yuchen Tong, Chao

Zdroj: Mathematics (2227-7390); Jun2025, Vol. 13 Issue 11, p1707, 42p

Témata: ARTIFICIAL intelligence, LOGIC programming, MATHEMATICAL logic, DEEP learning, BRITTLENESS, SCALABILITY

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

STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies.

Autoři: Zhao, Yiqi Yu, Xinyi Hoxha, Bardh a další

Zdroj: ACM Transactions on Embedded Computing Systems; 2025 Suppl 5, Vol. 24, p1-23, 23p

Témata: MULTIAGENT systems, DISTRIBUTED computing, ROBOTICS, MATHEMATICAL logic, TOPOLOGICAL graph theory, INTERNET of things, GRAPH algorithms, SMART cities

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

Model-Checking of Concurrent Real-Time Software Using High-Level Colored Time Petri Nets with Stopwatches.

Autoři: Haur, Imane Béchennec, Jean-Luc Roux, Olivier H.

Zdroj: Cybernetics & Systems; 2025, Vol. 56 Issue 6, p886-916, 31p

Témata: MULTICORE processors, PETRI nets, SOFTWARE verification, SYNCHRONIZATION, DECIDABILITY (Mathematical logic), SCHEDULING, AUTOMATIC timers, REAL-time programming

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

A glimpse of some common concepts in algebras of logic and uncertain environments.

Autoři: DĂNCIULESCU, DANIELA PICIU, DANA DINU, CRISTIAN a další

Zdroj: Carpathian Journal of Mathematics; 2025, Vol. 41 Issue 4, p1061-1077, 17p

Témata: RESIDUATED lattices, FUZZY numbers, FUZZY sets, EQUIVALENCE classes (Set theory), MATHEMATICAL logic, EQUIVALENCE relations (Set theory)

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

Research on a General State Formalization Method from the Perspective of Logic.

Autoři: Qiu, Siyuan Xu, Jianfeng

Zdroj: Mathematics (2227-7390); Oct2025, Vol. 13 Issue 20, p3324, 36p

Témata: MODEL theory, INFORMATION theory, SEMANTICS, MATHEMATICAL logic

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

Logics of Statements in Context—First-Order Logic Files.

Autoři: Wolter, Uwe

Zdroj: Logics; Sep2025, Vol. 3 Issue 3, p8, 40p

Témata: FIRST-order logic, LOGIC, MATHEMATIC morphism, MATHEMATICAL logic, MATHEMATICAL formulas, PREDICATE (Logic), GROTHENDIECK groups