233
click to vote
NMR
15 years 11 months ago
2004 Springer 
Until now, AI argumentation-based systems have been mainly developed for handling inconsistency. In that explanation-oriented perspective, only one type of argument has been consi...
201
click to vote
NMR
15 years 11 months ago
2004 Springer 
Recommender systems have evolved in the last years as specialized tools to assist users in a plethora of computermediated tasks by providing guidelines or hints. Most recommender ...
187
click to vote
NMR
15 years 11 months ago
2004 Springer 
The BDI model provides what it is possibly one of the most promising architectures for the development of intelligent agents, and has become one of the most studied and well known...
185
click to vote
NMR
15 years 11 months ago
2004 Springer
The development of Logic Programming and Defeasible Argumentation lead to Defeasible Logic Programming. Its core resides in the characterization of the warrant procedure. Defeasib...
185
Voted
NMR
15 years 11 months ago
2004 Springer
The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance bo...
|
Automated Reasoning