This volume presents a collection of refereed papers reflecting the state of the art in the area of over-constrained systems. Besides 11 revised full papers, selected from the 24 submissions to the OCS workshop held in conjunction with the First International Conference on Principles and Practice of Constraint Programming, CP '95, held in Marseilles in September 1995, the book includes three comprehensive background papers of central importance for the workshop papers and the whole field. Also included is an (...) introduction by one of the volume editors together with a bibliography listing 243 entries. All in all this is a very useful reference book relevant for all researchers and practitioners interested in hierarchical, partial, and over-constrained systems. (shrink)

This collection of current research on logic programming languages presents results from a three-year, ESPRIT-funded effort to explore the integration of the foundational issues of functional, logic, and object-oriented programming. It offers valuable insights into the fast-developing extensions of logic programming with functions, constraints, concurrency, and objects. Chapters are grouped according to the unifying themes of functional programming, constraint, logic programming, and object-oriented programming.

Constraint programming is the fruit of several decades of research carried out in mathematical logic, automated deduction, operations research and arti?cial intelligence. The tools and programming languages arising from this research?eldhaveenjoyedrealsuccessintheindustrialworldastheycontributetosolving hard combinatorial problems in diverse domains such as production planning, communication networks, robotics and bioinformatics. This volume contains the extended and reviewed versions of a selection of papers presented at the Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, which was (...) held from June 30 to July 2, 2003. The venue chosen for the seventh edition of this annual workshop was the Computer and Automation Research Institute of the Hungarian Academy of Sciences in Budapest, Hungary. This institute is one of the 20 members of the Working Group on Constraints of the European Research Consortium for Informatics and Mathematics. For many participants this workshop provided the?rst opportunity to visit their ERCIM partner in Budapest. CoLogNET is the European-funded network of excellence dedicated to s- porting and enhancing cooperation and research on all areas of computational logic, and continues the work done previously by the Compulog Net. In part- ular, the aim of the logic and constraint logic programming area of CoLogNET is to foster and support all research activities related to logic programming and constraint logic programming. The editors would like to take the opportunity and thank all the authors who submitted papers to this volume, as well as the reviewers for their helpful work. (shrink)

Recent discussions on Fregean and neo-Fregean foundations for arithmetic and real analysis pay much attention to what is called either ‘Application Constraint’ ($AC$) or ‘Frege Constraint’ ($FC$), the requirement that a mathematical theory be so outlined that it immediately allows explaining for its applicability. We distinguish between two constraints, which we, respectively, denote by the latter of these two names, by showing how$AC$generalizes Frege’s views while$FC$comes closer to his original conceptions. Different authors diverge on the interpretation of$FC$and on (...) whether it applies to definitions of both natural and real numbers. Our aim is to trace the origins of$FC$and to explore how different understandings of it can be faithful to Frege’s views about such definitions and to his foundational program. After rehearsing the essential elements of the relevant debate (§1), we appropriately distinguish$AC$from$FC$(§2). We discuss six rationales which may motivate the adoption of different instances of$AC$and$FC$(§3). We turn to the possible interpretations of$FC$(§4), and advance a Semantic$FC$(§4.1), arguing that while it suits Frege’s definition of natural numbers (4.1.1), it cannot reasonably be imposed on definitions of real numbers (§4.1.2), for reasons only partly similar to those offered by Crispin Wright (§4.1.3). We then rehearse a recent exchange between Bob Hale and Vadim Batitzky to shed light on Frege’s conception of real numbers and magnitudes (§4.2). We argue that an Architectonic version of$FC$is indeed faithful to Frege’s definition of real numbers, and compatible with his views on natural ones. Finally, we consider how attributing different instances of$FC$to Frege and appreciating the role of the Architectonic$FC$can provide a more perspicuous understanding of his foundational program, by questioning common pictures of his logicism (§5). (shrink)

This book constitutes the refereed proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2004, held in Fort Lauderdale, Florida, USA in January 2004. The 24 revised full papers presented together with 8 system descriptions were carefully reviewed and selected for presentation. Among the topics addressed are declarative logic programming, nonmonotonic reasoning, knowledge representation, combinatorial search, answer set programming, constraint programming, deduction in ontologies, and planning.

Includes tutorials, invited lectures, and refereed papers on all aspects of logic programming including: Constraints, Concurrency and Parallelism, Deductive Databases, Implementations, Meta and Higher-order Programming, Theory, and Semantic Analysis. September 2-6, 1996, Bonn, Germany Every four years, the two major international scientific conferences on logic programming merge in one joint event. JICSLP'96 is the thirteenth in the two series of annual conferences sponsored by The Association for Logic Programming. It includes tutorials, invited lectures, and refereed papers (...) on all aspects of logic programming including: Constraints, Concurrency and Parallelism, Deductive Databases, Implementations, Meta and Higher-order Programming, Theory, and Semantic Analysis. The contributors are international, with strong contingents from the United States, United Kingdom, France, and Japan. Logic Programming series, Research Reports and Notes. (shrink)

This book constitutes the refereed proceedings of the 20th International Conference on Logic Programming, ICLP 2004, held in Saint-Malo, France in September 2004. The 28 revised full papers and 16 poster papers presented together with 2 invited papers were carefully reviewed and selected from 70 submissions. The papers are organized in topical sections on program analysis, constraints, alternative programming paradigms, answer set programming, and implementation.

Background: The feeding modalities used in school meal programs—such as breakfast, lunch, dinner, snacks, and take-home rations—are influenced by various factors, including supply chain constraints and technical challenges in food distribution. The methods of supply sourcing, whether through domestic or foreign food reserves via in-kind donations or purchases, play a critical role in shaping the feeding options provided. Aim: This study aims to examine the association between supply-sourcing strategies, i.e., domestic and foreign in-kind donations and national-international purchases, with the feeding (...) modalities applied in school meal programs. Methods: The Bayesian Mindsponge Framework, combining the reasoning strengths of Mindsponge Theory and inference advantages of Bayesian analysis, was employed on a dataset of government representatives who manage large-scale school meal programs across 126 countries. Results: The findings revealed that sourcing supplies through in-kind donations from neighboring or distant countries showed a highly reliable negative association with the feeding modalities of school meal programs, while those from the national bodies showed an ambiguous relationship. The purchasing methods—whether domestic or foreign—tended to exhibit positive associations with feeding modalities, though these associations were only weakly reliable. Conclusions: The findings reveal substantial rooms to improve the effectiveness of supply purchasing strategies in enhancing school meal program feeding modalities. Further research is needed to examine the impact of sourcing supplies through domestic in-kind donations on feeding outcomes. Additionally, developing strategic plans to optimize the use of in-kind donations from international organizations is strongly recommended to avoid its negative consequences and further enhance program effectiveness. (shrink)

The aim of the research was to know the perception of high-level volleyball players of the changes produced in the efficiency of the training process, after a match analysis intervention program based on the Constraint-led Approach. The sample consisted of 11 players from a women's volleyball team. The protocol of the intervention program consisted of providing objective, contextualised and systematic information to the coach that would allow understanding the different real game contexts. We used semi-structured interviews to assess players' (...) perceptions. The athletes perceived changes in training, both in their preparation and development, specifically in greater involvement and organisation in preparing the training; in an increase in the specificity and suitability of training tasks according to individual needs; in the representativeness of the restrictions of the game; in a more tactical approach; in the variability of task and in the accountability to achieve the objective proposed. In addition, in the preparation and development for competition, the players detected more game planning; a deeper analysis of the opponents; an objective selection of the most relevant data, an increase in the depth of match analysis and the inclusion of the weekly meeting with the use of video compared to the previous season. These results expose the benefits of coaches incorporate programmes to obtain objective information about the game in their training process. (shrink)

It is argued that “human-centredness” will be an important characteristic of systems that learn tasks from human users, as the difficulties in inductive inference rule out learning without human assistance. The aim of “programming by example” is to create systems that learn how to perform tasks from their human users by being shown examples of what is to be done. Just as the user creates a learning environment for the system, so the system provides a teaching opportunity for the (...) user, and emphasis is placed as much on facilitating successful teaching as on incorporating techniques of machine learning. If systems can “learn” repetitive tasks, their users will have the power to decide for themselves which parts of their jobs should be automated, and teach the system how to do them — reducing their dependence on intermediaries such as system designers and programmers.This paper presents principles for programming by example derived from experience in creating four prototype learners: for technical drawing, text editing, office tasks, and robot assembly. A teaching metaphor (a) enables the user to demonstrate a task by performing it manually, (b) helps to explain the learner's limited capabilities in terms of a persona, and (c) allows users to attribute intentionality. Tasks are represented procedurally, and augmented with constraints. Suitable mechanisms for attention focusing are necessary in order to control inductive search. Hidden features of a task should be made explicit so that the learner need not embark on the huge search entailed by hypothesizing missing steps. (shrink)

Operations research science is defined as the science that is concerned with applying scientific methods to complex problems in managing and directing large systems of people, including resources and tools in various fields, private and governmental work, peace and war, politics, administration, economics, planning and implementation in various domains. It uses scientific methods that take the language of mathematics as a basis for it and uses computer, without which it would not have been possible to achieve numerical solutions to the (...) raised problems, those that need correct solutions, when the solutions abound and the options are multiple, so we need a decision based on correct scientific foundations and takes into account all the circumstances and changes that you can encounter the decision-maker during the course of work, and nothing is left to chance or luck, but rather everything that enters into the account and plays its role in decision-making, and we get that when we use the concepts of neutrosophic science to reformulate what the science of operations research presented in terms of methods and methods to solve many practical problems, so we will present in this research a study aimed at shedding light on the most important methods used to solve nonlinear models, which is the Lagrangian multiplier method for nonlinear models constrained by equality and then reformulated using the concepts of neutrosophic science. (shrink)

Farm to school programs are at the vanguard of efforts to create an alternative agrifood system in the United States. Regionally-based, mid-tier food distributors may play an important role in harnessing the potential of farm to school programs to create viable market opportunities for small- and mid-size family farmers, while bringing more locally grown fresh food to school cafeterias. This paper focuses on the perspectives of food distributors. Our findings suggest that the food distributors profiled have the potential to help (...) institutionalize farm to school programs. Notably, their relationships with farmers may be a critical element in expanding the scale and scope of local school food procurement. Their ability to catalyze local school food procurement however, is limited by the structural context in which farm to school programs operate. Specifically, the oppositional school year and agriculture production cycle, and tight food service budget constraints disembed and limit the potential of farm to school programs to decrease the “marketness” of school food procurement and to shift it from a process based largely on price to one that is more territorially embedded. As farm to school programs continue to gain support, regionally-based food distributors that have the meaningful relationships necessary to re-embed the school food service market back into the larger society may be critical to enabling advocates to achieve their goals. (shrink)

Human services planning for crews who go to Mars is in its earliest phase, but the modalities for service delivery are well worth anticipating because they could involve some of the first innovations that merge physical, biological, and digital capacities on the new planet. This chapter examines the constraints of the planet Mars, itself, on all humans. It anticipates how “exogenous stressors” might affect the psychological, social, and cultural capacities and conflicts of the earliest crews. Several types of service modalities (...) are explored: hibernation; medication management; traditional psychotherapy; long-distance modalities to approximate the “talking cure”; digitized, keyed psychology workbooks; robotics, or service delivery without verbal feedback; AI technologies, or service delivery with verbal feedback; problem-solving at the cultural level; digital bulletin boards to substitute for journaling; and a special section on the issue of privacy. The chapter rounds out with a section, on types of spiritual services that may be beneficial even for those who profess no faith. We focus on “sacred space,” and on death and burial ritual on Mars. Factors explored here reflect the backgrounds of the two authors: one, a cultural anthropologist and biologist, and the other, an astronomer who is also a Catholic priest. (shrink)

It is argued that an instrumentalist notion of proof such as that represented in Hilbert's viewpoint is not obligated to satisfy the conservation condition that is generally regarded as a constraint on Hilbert's Program. A more reasonable soundness condition is then considered and shown not to be counter-exemplified by Godel's First Theorem. Finally, attention is given to the question of what a theory is; whether it should be seen as a "list" or corpus of beliefs, or as a method (...) for selecting beliefs. The significance of this question for assessing "intensional" results like Godel's Second Theorem, and their bearing on Hilbert's Program are discussed. (shrink)

In a recent paper, Ferraris, Lee and Lifschitz conjectured that the concept of a stable model of a first-order formula can be used to treat some answer set programming expressions as abbreviations. We follow up on that suggestion and introduce an answer set programming language that defines the mean- ing of counting and choice by reducing these constructs to first-order formulas. For the new language, the concept of a safe program is defined, and its semantic role is investigated. (...) We compare the new language with the concept of a disjunc- tive program with aggregates introduced by Faber, Leone and Pfeifer, and discuss the possibility of implementing a frag- ment of the language by translating it into the input language of the answer set solver DLV. The language is also compared with cardinality constraint programs defined by Syrjänen. (shrink)

Harmonic Grammar (HG) is a model of linguistic constraint interaction in which well-formedness is calculated as the sum of weighted constraint violations. We show how linear programming algorithms can be used to determine whether there is a weighting for a set of constraints that fits a set of linguistic data. The associated software package OT-Help provides a practical tool for studying large and complex linguistic systems in the HG framework and comparing the results with those of OT. (...) We describe the translation from Harmonic Grammars to systems solvable by linear programming, and we illustrate the usefulness of OT-Help with a set of studies of the predictions HG makes for phonological typology. (shrink)

For Herbert Gintis, the “rational actor,” or “beliefs, preferences, and constraints (BPC),” model is central to his unifying framework for the behavioral sciences. It is not argued here that this model is refuted by evidence. Instead, this model relies ubiquitously on auxiliary assumptions, and is evacuated of much meaning when applied to both human and nonhuman organisms. An alternative perspective of “program-based behavior” is more consistent with evolutionary principles. (Published Online April 27 2007).

Non-pharmaceutical interventions, including social distancing, quarantine, and isolation, are a potentially attractive means to limit the transmission of a pandemic virus. Many of these interventions are directed at children given children’s disproportionate role in amplifying epidemics. The ethics of non-pharmaceutical interventions can be analyzed using Nancy Kass’ ethics framework for public health. Such an analysis highlights the limited data supporting these interventions’ effectiveness. It also suggests the framework itself needs to be expanded to consider harms other than constraints on liberty (...) and to consider affirmative programs to mitigate these broader harms. (shrink)

E-Z Reader achieves an impressive fit of empirical eye movement data by simulating core processes of reading in a computational approach that includes serial word processing, shifts of attention, and temporal overlap in the programming of saccades. However, when common assumptions for the time requirements of these processes are taken into account, severe constraints on the time line within which these elements can be combined become obvious. We argue that it appears difficult to accommodate these processes within a largely (...) sequential modeling framework such as E-Z Reader. (shrink)

This paper discusses an extension of Answer Set Programming called Hybrid Answer Set Programming which allows the user to reason about dynamical systems that exhibit both discrete and continuous aspects. The unique feature of Hybrid ASP is that it allows the use of ASP type rules as controls for when to apply algorithms to advance the system to the next position. That is, if the prerequisites of a rule are satisfied and the constraints of the rule are not (...) violated, then the algorithm associated with the rule is invoked. (shrink)

The papers in this volume are extended versions of presentations at the fourth International Workshop on Extensions of Logic Programming, held at the University of St Andrews, March/April 1993. Among the topics covered in the volume are: defintional reflection and completion, modules in lambda-Prolog, representation of logics as partial inductive definitions, non-procedural logic programming, knowledge representation, contradiction avoidance, disjunctive databases, strong negation, linear logic programming, proof theory and regular search spaces, finite sets and constraint logic (...) class='Hi'>programming, search-space pruning and universal algebra, and implementation on transputer networks. (shrink)

Background Meaningfully evaluating the quality of institutional review boards (IRBs) and human research protection programs (HRPPs) is a long-recognized challenge. To be accredited by the Association for the Accreditation of Human Research Protection Programs (AAHRPP), organizations must demonstrate that they measure and improve HRPP “quality, effectiveness, and efficiency” (QEE). We sought to learn how AAHRPP-accredited organizations interpret and satisfy this standard, in order to assess strengths, weaknesses, and gaps in current approaches and to inform recommendations for improvement.Methods We conducted 3 (...) small-group interviews with a total of 19 participant representatives of accredited organizations at the 2019 AAHRPP annual meeting. Participants were eligible if they had familiarity with their organization’s approach to satisfying the relevant QEE standard.Results Participants reported lacking clear definitions for HRPP quality or effectiveness but described various approaches to assessing QEE, typically focused on turnaround time, compliance, and researcher satisfaction. Evaluation of IRB members was described as relatively superficial and information regarding research subject experience was not reported as central to QEE assessment, although participants described several efforts to improve consideration of patient, subject, and community perspectives in IRB review. Participants also described efforts to educate and build relationships with key stakeholders as important features of a high-quality HRPP. While generally satisfied with their approaches, participants expressed concern about resource and time constraints that pushed them to be reactive and automatic about QEE, rather than proactive and critical.Conclusions The relevant AAHRPP accreditation standard may obscure critical gaps in defining and measuring QEE elements. We recommend that AAHRPP: (1) offer a definition of QEE or require accredited organizations to provide their own, to help clarify the rationale and goals behind assessment and improvement efforts, and (2) require accredited organizations to establish QEE objectives and measures focused on participant outcomes and deliberative quality during protocol review. (shrink)

Web legal information retrieval systems need the capability to reason with the knowledge modeled by legal ontologies. Using this knowledge it is possible to represent and to make inferences about the semantic content of legal documents. In this paper a methodology for applying NLP techniques to automatically create a legal ontology is proposed. The ontology is defined in the OWL semantic web language and it is used in a logic programming framework, EVOLP+ISCO, to allow users to query the semantic (...) content of the documents. ISCO allows an easy and efficient integration of declarative, object-oriented and constraint-based programming techniques with the capability to create connections with external databases. EVOLP is a dynamic logic programming framework allowing the definition of rules for actions and events. An application of the proposed methodology to the legal web information retrieval system of the Portuguese Attorney General’s Office is described. (shrink)

This paper outlines a critique of the use of the genetic variance–covariance matrix (G), one of the central concepts in the modern study of natural selection and evolution. Specifically, I argue that for both conceptual and empirical reasons, studies of G cannot be used to elucidate so-called constraints on natural selection, nor can they be employed to detect or to measure past selection in natural populations – contrary to what assumed by most practicing biologists. I suggest that the search for (...) a general solution to the difficult problem of identifying causal structures given observed correlation’s has led evolutionary quantitative geneticists to substitute statistical modeling for the more difficult, but much more valuable, job of teasing apart the many possible causes underlying the action of natural selection. Hence, the entire evolutionary quantitative genetics research program may be in need of a fundamental reconsideration of its goals and how they correspond to the array of mathematical and experimental techniques normally employed by its practitioners. (shrink)

Many recent studies of dynamics in formal argumentation within AI focus on the well-known formalism of Dung’s argumentation frameworks (AFs). Despite the usefulness of AFs in many areas of argumentation, their abstract notion of arguments creates a barrier for operators that modify a given AF, e.g., in the case that dependencies between arguments have been abstracted away that are important for subsequent modifications. In this paper we aim to support development of dynamic operators on formal models in abstract argumentation by (...) providing constraints imposed on the modification of the structure that can be used to incorporate information that has been abstracted away. Towards a broad reach, we base our results on the general formalism of abstract dialectical frameworks (ADFs) in abstract argumentation. To show applicability, we present two cases studies that adapt an existing extension enforcement operator that modifies AFs: in the first case study, we show how to utilize constraints in order to obtain an enforcement operator on ADFs that is allowed to only add support relations between arguments, and in the second case study we show how an enforcement operator on AFs can be defined that respects dependencies between arguments. We show feasibility of our approach by studying the complexity of the proposed structural constraints and the operators arising from the case studies, and by an experimental evaluation of an answer set programming (ASP) implementation of the enforcement operator based on supports. (shrink)

Laudan's thesis that conceptual problem solving is at least as important as empirical problem solving in scientific research is given support by a study of the relation between the chromosome theory and the Mendelian research program. It will be shown that there existed a conceptual tension between the chromosome theory and the Mendelian program. This tension was to be resolved by changing the constraints of the Mendelian program. The relation between the chromosome theory and the Mendelian program is shown to (...) be a good illustration of the influence of science itself on the rational standards governing scientific development. (shrink)