498 search results - page 43 / 100 » Constraint Answer Set Programming Systems |
ATAL
2007
Springer
14 years 26 days ago
2007
Springer
This paper studies a logical framework for automated negotiation between two agents. We suppose an agent who has a knowledge base represented by a logic program. Then, we introduc...
CSL
2007
Springer
14 years 3 months ago
2007
Springer
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ļ...
SIGMOD
2012
ACM
11 years 11 months ago
2012
ACM
How-To queries answer fundamental data analysis questions of the form: āHow should the input change in order to achieve the desired outputā. As a Reverse Data Management probl...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
ā The task in control allocation is to determine how to generate a speciļ¬ed generalized force from a redundant set of control effectors where the associated actuator control in...
SIGMOD
2012
ACM
11 years 11 months ago
2012
ACM
We present BloomUnit, a testing framework for distributed programs written in the Bloom language. BloomUnit allows developers to write declarative test speciļ¬cations that descri...