Abstract The notion of grounding is usually conceived as an objective and explanatory relation. It connects two relata if one—the ground—determines or explains the other—the consequence. In contemporary literature on grounding, much effort has been devoted to logically characterize formal aspects but a major hard problem remains: defining suitable principles for universal existential formulae. ...

In this chapter, I provide a descriptive overview of quantification in Warlpiri, a Pama-Nyungan language spoken by approximately 3,000 people in central Australia. Warlpiri’s quantificational system is of particular interest due to the fact that a number of Warlpiri A-quantifiers are interpreted as taking nominal scope; that is, as Dquantifiers. Conversely, a number of Warlpiri D-quantifiers ar...

The systems and software development industry is characterized by a paradigm of project failure. One of the known contributing causes of these project failures is poor requirements engineering and management, which has been repeatedly and widely discussed and documented. But there are other factors also like poor project management practices, poor design strategy and inefficient testing princip...

Search problems occur widely in AI, and a number of generalpurpose constraint-based methods for solving them have been developed. Convenient modelling of many problems is enabled by use of quantifiers of various sorts, but the most prominent approaches support only limited use of quantifiers. A recently proposed constraint programming framework, based on classical logic and the notion of expans...