Suchergebnisse - Mathematical Logic— logic AND constraint programming*

Computing Process-Specific Constraints.

Autoren: Jardine, Adam Oakden, Christopher

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

Schlagwörter: PHONOLOGY, MATHEMATICAL logic, RULE-based programming, CONSTRAINT programming

Mutation testing for temporal alloy models (extended version).

Autoren: Jovanovic, Ana Sullivan, Allison

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

Schlagwörter: 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.

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

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

Schlagwörter: 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.

Autoren: Dhandapani, Prasantha Bharathi Kalaichelvan, Kalaiarasi Leiva, Víctor et al.

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

Schlagwörter: *MATHEMATICAL programming, *PRODUCTION management (Manufacturing), *MATHEMATICAL logic, *LOGIC programming, *NONLINEAR programming, *BACK orders, *INVENTORY control

ANTHEM 2.0: Automated Reasoning for Answer Set Programming.

Autoren: FANDINNO, JORGE HANSEN, ZACHARY LIERLER, YULIYA et al.

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

Schlagwörter: LOGIC programming, SOFTWARE verification, MATHEMATICAL logic, NONMONOTONIC logic

Mathematical Aspects of Logic Programming Semantics

Autoren: Pascal Hitzler Anthony Seda

Resource Type: eBook.

Schlagworte: 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.

Autoren: Liang, Baoyu Wang, Yuchen Tong, Chao

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

Schlagwörter: ARTIFICIAL intelligence, LOGIC programming, MATHEMATICAL logic, DEEP learning, BRITTLENESS, SCALABILITY

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

Autoren: Senni, Valerio Pettorossi, Alberto Proietti, Maurizio

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

Schlagwörter: *MATHEMATICAL logic, *CONSTRAINT programming, *LOGIC programming, *PROGRAM transformation, *LANGUAGE & logic

Note from the Editor.

Autoren: Smith, Alice E.

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

Schlagwörter: ARTIFICIAL intelligence, MATHEMATICAL logic, CONSTRAINT programming

Using semantic information for processing negation and disjunction in logic programs

Weitere Verfasser: Lobo, J [Univ. of Illinois, Chicago, IL (US). Dept. of Electrical Engineering and Computer Science]

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

Dateibeschreibung: Medium: ED; Size: 12 p.

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

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

Autoren: Zhao, Yiqi Yu, Xinyi Hoxha, Bardh et al.

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

Schlagwörter: 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

Weitere Verfasser: Lobo, J [Univ. of Illinois, Chicago (United States)]

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

Dateibeschreibung: Medium: ED; Size: Pages: (12 p)

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

Unicast and multicast QoS routing with soft-constraint logic programming

Autoren: Stefano Bistarelli Ugo Montanari Francesca Rossi et al.

Weitere Verfasser: Stefano Bistarelli Ugo Montanari Francesca Rossi et al.

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

Verfügbarkeit: 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.

Autoren: Haur, Imane Béchennec, Jean-Luc Roux, Olivier H.

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

Schlagwörter: MULTICORE processors, PETRI nets, SOFTWARE verification, SYNCHRONIZATION, DECIDABILITY (Mathematical logic), SCHEDULING, AUTOMATIC timers, REAL-time programming

Constraint logic programming languages

Weitere Verfasser: Cohen, J [Michtom School of Computer Science, Brandeis Univ., MA (US)]

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

Dateibeschreibung: Medium: X; Size: Pages: 52-68

Zugangs-URL: http://www.osti.gov/scitech/biblio/6597394

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

Autoren: DĂNCIULESCU, DANIELA PICIU, DANA DINU, CRISTIAN et al.

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

Schlagwörter: 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

Autoren: Stefano Bistarelli Ugo Montanari Francesca Rossi et al.

Weitere Verfasser: Stefano Bistarelli Ugo Montanari Francesca Rossi et al.

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

Verfügbarkeit: 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.

Autoren: Qiu, Siyuan Xu, Jianfeng

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

Schlagwörter: MODEL theory, INFORMATION theory, SEMANTICS, MATHEMATICAL logic

Relational and Allegorical Semantics for Constraint Logic Programming

Autoren: Gallego Arias, Emilio Jesús

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

Schlagwörter: Informática

Zugangs-URL: http://hdl.handle.net/10803/452285

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

Autoren: Wolter, Uwe

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

Schlagwörter: FIRST-order logic, LOGIC, MATHEMATIC morphism, MATHEMATICAL logic, MATHEMATICAL formulas, PREDICATE (Logic), GROTHENDIECK groups