3090 search results - page 21 / 618 » On Testing Answer-Set Programs |
DALT
2008
Springer
13 years 11 months ago
2008
Springer
This paper provides a logical framework of negotiating agents who have capabilities of evaluating and building proposals. Given a proposal, an agent decides whether it is acceptabl...
AAAI
2010
13 years 11 months ago
2010
We introduce a new method to find semantic inconsistencies (i.e., concepts with erroneous synonymity) in the Unified Medical Language System (UMLS). The idea is to identify the in...
JELIA
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Nonmonotonic causal logic became a basis for the semantics of several expressive action languages. Norman McCain and Paolo Ferraris showed how to embed propositional caus...
ICLP
2007
Springer
14 years 4 months ago
2007
Springer
ICLP
2003
Springer
14 years 3 months ago
2003
Springer