28 search results - page 6 / 6 » A Belief-Desire Framework for Goal Revision |
FOMI
2009
13 years 3 months ago
2009
Abstract. The paper presents the preliminary version of Ontobella - a domain ontology of beliefs. The philosophical assumptions of this system are taken from the philosophy of Roma...
COMPSAC
2008
IEEE
14 years 2 days ago
2008
IEEE
Component-Based Development (CBD) of software, with its successes in enterprise computing, has the promise of being a good development model due to its cost effectiveness and pote...
WLP
1997
Springer
13 years 9 months ago
1997
Springer
eduction strategies for logic programs often use an abstraction operator to guarantee the niteness of the set of goals for which partial deductions are . Findingan abstraction ope...