1700 search results - page 152 / 340 » Specifying and implementing refactorings |
155
click to vote
CLIMA
2004
15 years 6 months ago
2004
In this paper we propose a formal specification of a persuasion protocol between autonomous agents using an approach based on social commitments and arguments. In order to be flexi...
146
click to vote
COMMA
2006
15 years 6 months ago
2006
This paper demonstrates the potential of the Semantic Web as a platform for representing, navigating and processing arguments on a global scale. We use the RDF Schema (RDFS) ontolo...
142
Voted
FIMI
2004
15 years 6 months ago
2004
: For a transaction database, a frequent itemset is an itemset included in at least a specified number of transactions. A frequent itemset P is maximal if P is included in no other...
137
click to vote
FLAIRS
2001
15 years 6 months ago
2001
A knowledge base is maintained by modifying its conceptual model and by using those modifications to specify changes to its implementation. The maintenance problem is to determine...
140
click to vote
IJCAI
2001
15 years 6 months ago
2001
In a rational programming language, a program specifies a situation faced by an agent; evaluating the program amounts to computing what a rational agent would believe or do in the...