70 search results - page 4 / 14 » On Generalizations of Semi-terms of Particularly Simple Form |
CADE
2006
Springer
14 years 7 months ago
2006
Springer
We investigate whether identification constraints such as keys and functional dependencies can be granted full status as a concept constructor in a Boolean-complete description log...
AI
2008
Springer
13 years 7 months ago
2008
Springer
Classical work on eliciting and representing preferences over multi-attribute alternatives has attempted to recognize conditions under which value functions take on particularly s...
CLIMA
2004
13 years 8 months ago
2004
We discuss some features of the new logic programming language DALI for agents and multi-agent systems. In particular, we aim at illustrating the treatment of proactivity, which is...
OOPSLA
2005
Springer
14 years 27 days ago
2005
Springer
As a value flows across the boundary between interoperating languages, it must be checked and converted to fit the types and representations of the target language. For simple f...
ICRE
1998
IEEE
13 years 11 months ago
1998
IEEE
Systems requirements errors are numerous, persistent, and expensive. To detect such errors, and focus on critical ones during the development of a requirements document, we have d...