Browse All Reviews
Theory Of Computation (F)
Mathematical Logic And Formal Languages (F.4)
Mathematical Logic (F.4.1)
> Logic And Constraint Programming (F.4.1...)
All Media Types
1-10 of 206 Reviews about "
Logic And Constraint Programming (F.4.1...)
Mathematical logic: on numbers, sets, structures, and symmetry
Kossak R., Springer International Publishing, New York, NY, 2018. 186 pp. Type: Book (978-3-319972-97-8)
The author states his goal in the preface: “to try to explain a certain approach to the theory of mathematical structures.” The book consists of two parts: the first part is about logic, sets, and numbers; and the second part is dedica...
Sep 11 2019
Tableau-based revision for expressive description logics with individuals
Dong T., Le Duc C., Lamolle M. Journal of Web Semantics 45 63-79, 2017. Type: Article
Ontologies are sets of semantic constraints describing application domains; when constraints change, they may become inconsistent. To restore consistency, the whole set of constraints must be changed again, but this may destroy the original ontolo...
Feb 8 2018
Software engineering: specification, implementation, verification
Alagić S., Springer International Publishing, New York, NY, 2017. 178 pp. Type: Book (978-3-319615-17-2)
Many introductions to software engineering focus on the high-level aspects of large-scale software development, for example, requirements analysis, architecture design, configuration management, quality control, software maintenance, documentation...
Feb 1 2018
MRCP-RM: a technique for resource allocation and scheduling of MapReduce jobs with deadlines
Lim N., Majumdar S., Ashwood-Smith P. IEEE Transactions on Parallel and Distributed Systems 28(5): 1375-1389, 2017. Type: Article
In this paper, the authors discuss issues in scheduling (that is, match making) of job streams with end-to-end service-level agreements (SLAs) with agreed-upon quality of service (QoS) and allocation of resources in a distributed cloud environment...
Jun 9 2017
Probability logics: probability-based formalization of uncertain reasoning
Ognjanović Z., Rašković M., Marković Z., Springer International Publishing, New York, NY, 2016. 215 pp. Type: Book (978-3-319470-11-5)
Combinations of probability and logic have been a topic of interest since the seminal work of Boole , and they have always occupied a place of relevance in foundational studies of probability. However, the direction of development has been cons...
Jun 5 2017
Completeness and decidability results for CTL in constructive type theory
Doczkal C., Smolka G. Journal of Automated Reasoning 56(3): 343-365, 2016. Type: Article
The following sentence from the rather demanding introduction to this quite demanding paper reveals common ground between us users of formal methods and the expert authors of this paper: “Given the practical importance of CTL [computation tr...
Jul 15 2016
Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
Caleiro C., Marcos J., Volpe M. Theoretical Computer Science 603(C): 84-110, 2015. Type: Article
More and more computer science applications demand the extension of classical logic with its bivalent (two-valued) semantics to “many-valued” logics that provide larger sets of truth values. Among these, the class of finite-valued logi...
Jan 13 2016
Constraint programming and decision making
Ceberio M., Kreinovich V., Springer Publishing Company, Incorporated, New York, NY, 2014. 200 pp. Type: Book (978-3-319042-79-4)
Constraint programming plays an ever more important role in many real-life applications that require automated decision making. This somewhat poorly edited collection of papers attempts to bridge the gap between researchers working on constraint p...
Nov 5 2014
Constraints meet concurrency
Mauro J., Atlantis Publishing Corporation, Paris, France, 2014. 170 pp. Type: Book (978-9-462390-66-9)
Constraint-based execution and concurrency are valuable allies, but they are not natural ones. This book examines ways in which constraints and concurrency can be brought into harmony. The results reported show how constraints can be trimmed for p...
Oct 1 2014
A framework for testing first-order logic axioms in program verification
Ahn K., Denney E. Software Quality Journal 21(1): 159-200, 2013. Type: Article
As model-driven code generators have increased in capability and in performance, so too has their use in mission-critical software development. One benefit of auto-generated code over handcrafted, individually created source code is that it is sim...
Jun 4 2014
Reproduction in whole or in part without permission is prohibited. Copyright © 2000-2021 ThinkLoud, Inc.