Výsledky vyhledávání - mathematical (logic OR login) and formal languages—(logic OR login) and constraint programming

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

Autoři: Guzmán, Michell Perchy, Salim Rueda, Camilo a další

Přispěvatelé: Guzmán, Michell Perchy, Salim Rueda, Camilo a další

Zdroj: Theoretical Computer Science. 744:56-77

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

Popis souboru: application/pdf

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

Observational and behavioural equivalences for soft concurrent constraint programming

Autoři: Fabio Gadducci Luis Fernando Pino Francesco Santini a další

Přispěvatelé: Fabio Gadducci Luis Fernando Pino Francesco Santini a další

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

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

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

Models and emerging trends of concurrent constraint programming

Autoři: Carlos Olarte Camilo Rueda Frank D. Valencia a další

Přispěvatelé: Carlos Olarte Camilo Rueda Frank D. Valencia a další

Zdroj: Constraints. 18:535-578

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

Popis souboru: application/pdf

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

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

Soft Concurrent Constraint Programming.

Autoři: Bistarelli, Stefano Montanari, Ugo Rossi, Francesca

Zdroj: ACM Transactions on Computational Logic; Jul2006, Vol. 7 Issue 3, p563-589, 27p

Témata: MATHEMATICAL logic, FORMAL languages, PROOF theory, LOGIC programming, KNOWLEDGE representation (Information theory), FORMAL language semantics, FORMALIZATION (Linguistics), METATHEORY

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

Large Language Model-Driven Framework for Automated Constraint Model Generation in Configuration Problems.

Autoři: Penco, Roberto Pintar, Damir Vranić, Mihaela a další

Zdroj: Applied Sciences (2076-3417); Jun2025, Vol. 15 Issue 12, p6518, 28p

Témata: LANGUAGE models, CONSTRAINT programming, CONSTRAINT satisfaction, NATURAL languages, FORMAL languages

General Belief Revision.

Autoři: Delgrande, James P. Peppas, Pavlos Woltran, Stefan

Zdroj: Journal of the ACM; Sep2018, Vol. 65 Issue 5, p1-34, 34p

Témata: ARTIFICIAL intelligence, NONCLASSICAL mathematical logic, KNOWLEDGE representation (Information theory), SEMANTICS, FORMAL languages

Logic & Structure: An Art Project.

Autoři: Kossak, Roman Siedlecka, Wanda

Zdroj: Theoria: A Swedish Journal of Philosophy; Aug2021, Vol. 87 Issue 4, p959-970, 12p

Témata: MATHEMATICAL logic, LANGUAGE & languages, SYNTAX in programming languages, ISOMORPHISM (Mathematics), VENN diagrams

Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I

Autoři: André Platzer Kristin Yvonne Rozier Matteo Pradella a další

Resource Type: eBook.

Témata: Formal methods (Computer science)--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Languages / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

An efficient SMT solver for string constraints.

Autoři: Liang, Tianyi Reynolds, Andrew Tsiskaridze, Nestan a další

Zdroj: Formal Methods in System Design; Jun2016, Vol. 48 Issue 3, p206-234, 29p

Témata: SOFTWARE verification, FORMAL languages, MATHEMATICAL logic, PROGRAMMING languages, PROBLEM solving

Mathematical Logic: Exploring new Frontiers of Computer-Science.

Autoři: Singh, Manoranjan Kumar Rakesh, L.

Zdroj: International Journal of Universal Computer Science; Mar2010, Vol. 1 Issue 2, p68-72, 5p, 3 Diagrams

Querying Graphs with Data.

Autoři: LIBKIN, LEONID MARTENS, WIM VRGOČ, DOMAGOJ

Zdroj: Journal of the ACM; Mar2016, Vol. 63 Issue 2, p14-14:53, 53p

Témata: DATABASE management, QUERY languages (Computer science), MATHEMATICAL logic, FORMAL languages, XPATH (Computer program language)

Social Rationality and Human Reasoning: Logical Expressivism and the Flat Mind.

Autoři: Oaksford M; Department of Psychological Sciences, Birkbeck College, University of London.

Zdroj: Topics in cognitive science [Top Cogn Sci] 2025 Jul; Vol. 17 (3), pp. 636-661. Date of Electronic Publication: 2024 Oct 16.

Způsob vydávání: Journal Article

Informace o časopise: Publisher: Cognitive Science Society, Inc Country of Publication: United States NLM ID: 101506764 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1756-8765 (Electronic) Linking ISSN: 17568757 NLM ISO Abbreviation: Top Cogn Sci Subsets: MEDLINE

Výrazy ze slovníku MeSH: Thinking*/physiology , Logic*, Humans

Statistical Model Checking for Product Lines

Autoři: ter Beek, Maurice H Legay, Axel Lluch Lafuente, Alberto a další

Přispěvatelé: ter Beek, Maurice H Legay, Axel Lluch Lafuente, Alberto a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783319471655
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp. 114–133, Corfu, Greece, 10-14 October 2016
info:cnr-pdr/source/autori:Ter Beek M. H.; Legay A.; Lluch Lafuente A.; Vandin A./congresso_nome:7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation/congresso_luogo:Corfu, Greece/congresso_data:10-14 October 2016/anno:2016/pagina_da:114/pagina_a:133/intervallo_pagine:114–133
ter Beek, M H, Legay, A, Lluch Lafuente, A & Vandin, A 2016, Statistical Model Checking for Product Lines . in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I . vol. 9952, Springer, Lecture Notes in Computer Science, pp. 114-33, 7 th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Corfu, Greece, 10/10/2016 . https://doi.org/10.1007/978-3-319-47166-2_8

Témata: F.3.2 LOGICS AND MEANINGS OF PROGRAMS. Algebraic approaches to semantics, Statistical model checking, Markov processes, Software Product Lines, G.3 PROBABILITY AND STATISTICS, Programming languages, compilers, interpreters, Software engineering techniques, Quantitative Constraints, D.2.4 SOFTWARE ENGINEERING. Software/Program Verification. Formal methods, Statistical Model Checking, D.2.13 SOFTWARE ENGINEERING. Reusable Software. Domain engineering, 02 engineering and technology, [INFO] Computer Science [cs], Artificial intelligence (incl. robotics), F.3.2 LOGICS AND MEANINGS OF PROGRAMS. Process models, F.3.2 LOGICS AND MEANINGS OF PROGRAMS. Semantics of Programming Languages, D.2.4 SOFTWARE ENGINEERING. Software/Program Verification. Model checking, D.2.4 SOFTWARE ENGINEERING. Software/Program Verification. Statistical methods, Logics and meanings of programs, 0202 electrical engineering, electronic engineering, information engineering, Computation by abstract devices, Mathematical logic and formal languages, Probabilistic Models

Popis souboru: application/pdf

Přístupová URL adresa: https://backend.orbit.dtu.dk/ws/files/127270862/Statistical_Model_Checking_for_Product_Lines_postprint.pdf
https://inria.hal.science/hal-01406531v1
https://link.springer.com/10.1007/978-3-319-47166-2_8
https://hal.inria.fr/hal-01406531
https://dblp.uni-trier.de/db/conf/isola/isola2016-1.html#BeekLLV16
https://hal.inria.fr/hal-01406531/document
https://link.springer.com/chapter/10.1007/978-3-319-47166-2_8/fulltext.html
https://orbit.dtu.dk/files/127270862/Statistical_Model_Checking_for_Product_Lines_postprint.pdf
https://hdl.handle.net/20.500.14243/321030
https://doi.org/10.1007/978-3-319-47166-2_8
http://link.springer.com/chapter/10.1007/978-3-319-47166-2_8
https://orbit.dtu.dk/en/publications/d09e64ef-2992-4962-9fab-b03a87e3986c
https://hdl.handle.net/11382/534305
https://doi.org/10.1007/978-3-319-47166-2_8
http://link.springer.com/chapter/10.1007/978-3-319-47166-2_8

Multi-Objective Constraint Optimization with Tradeoffs

Autoři: Marinescu, Radu Razak, Abdul Wilson, Nic a další

Přispěvatelé: Marinescu, Radu Razak, Abdul Wilson, Nic a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783642406263

Témata: Discrete mathematics in computer science, Algorithm analysis and problem complexity, Logics and meanings of programs, Programming languages, compilers, interpreters, 0211 other engineering and technologies, 0202 electrical engineering, electronic engineering, information engineering, Multi-objective Constraint Optimization (MOCOP), 02 engineering and technology, Numeric computing, Computer science, Mathematical logic and formal languages

Popis souboru: application/pdf

Přístupová URL adresa: https://link.springer.com/10.1007/978-3-642-40627-0_38
https://core.ac.uk/display/143921610
https://doi.org/10.1007/978-3-642-40627-0_38
https://rd.springer.com/chapter/10.1007/978-3-642-40627-0_38
https://cora.ucc.ie/bitstream/10468/1402/1/cp2013-moopt.pdf
http://dblp.uni-trier.de/db/conf/cp/cp2013.html#MarinescuRW13
http://hdl.handle.net/10468/1402

Branch-and-prune search strategies for numerical constraint solving

Autoři: Xuan-ha Vu Marius-călin Silaghi Djamila Sam-haroud a další

Přispěvatelé: Xuan-ha Vu Marius-călin Silaghi Djamila Sam-haroud a další

Zdroj: http://arxiv.org/pdf/cs/0512045v2.pdf.

Témata: Categories and Subject Descriptors, F.4.1 [Theory of Computation, Mathematical Logic and Formal Languages—Logic and Constraint Programming, I.2.8 [Computing Methodologies, Artificial Intelligence—Problem Solving, Control Methods, and Search General Terms, Algorithms, Theory, Computation Additional Key Words and Phrases, Constraint Progr

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.341.7392; http://arxiv.org/pdf/cs/0512045v2.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.341.7392
http://arxiv.org/pdf/cs/0512045v2.pdf

Live Programming for Finite Model Finders

Autoři: Sullivan, Allison

Zdroj: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE). :1747-1752

Témata: FOS: Computer and information sciences, Formal Languages and Automata Theory (cs.FL), 0202 electrical engineering, electronic engineering, information engineering, Computer Science - Formal Languages and Automata Theory, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Přístupová URL adresa: http://arxiv.org/abs/2305.17317

State-Constraint Transition: A Language for the Formal Specification of Dynamic Cyber-System Requirements.

Autoři: Salinesi, Camille Achtaich, Asmaa Souissi, Nissrine a další

Zdroj: Journal of Integrated Design & Process Science; 2021, Vol. 25 Issue 2, p80-99, 20p

Témata: FORMAL languages, CONSTRAINT programming, REQUIREMENTS engineering, SELF-adaptive software, CYBER physical systems, SCALABILITY

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