92 search results - page 11 / 19 » A Practical Integration of First-Order Reasoning and Decisio... |
151
click to vote
OOPSLA
2004
Springer
15 years 11 months ago
2004
Springer
Predicate dispatch is an object-oriented (OO) language mechanism for determining the method implementation to be invoked upon a message send. With predicate dispatch, each method ...
149
click to vote
CADE
2006
Springer
15 years 9 months ago
2006
Springer
We present a tool for checking the sufficient completeness of linear, order-sorted equational specifications modulo associativity, commutativity, and identity. Our tool treats this...
164
click to vote
ICLP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract Description Logics (DLs) are a family of class (concept) based knowledge representation formalisms. They are characterised by the use of various constructors to build comp...
178
click to vote
JSS
2007
15 years 5 months ago
2007
Research into design rationale in the past has focused on argumentation-based design deliberations. These approaches cannot be used to support change impact analysis effectively ...
135
click to vote
CLIMA
2004
15 years 7 months ago
2004
Abstract. This paper deals with the issue of learning in multi-agent systems (MAS). Particularly, we are interested in BDI (Belief, Desire, Intention) agents. Despite the relevance...