1912 search results - page 38 / 383 » On the evaluation of argumentation formalisms |
101
click to vote
COMMA
2010
14 years 6 months ago
2010
Evidence-based decision making is becoming increasingly important in many diverse domains, including healthcare, environmental management, and government. This has raised the need ...
103
click to vote
AI
2007
Springer
14 years 12 months ago
2007
Springer
Although reasoning about what is the case has been the historic focus of logic, reasoning about what should be done is an equally important capacity for an intelligent agent. Reas...
102
click to vote
FAC
2006
14 years 11 months ago
2006
A formal relationship between program slicing and partial evaluation is established. It is proved that for terminating programs, a residual program produced by partial evaluation i...
143
click to vote
ICLP
2011
Springer
14 years 3 months ago
2011
Springer
Transaction Logic is an extension of classical logic that gracefully integrates both declarative and procedural knowledge and has proved itself as a powerful formalism for many ad...
DCW
2000
Springer
15 years 4 months ago
2000
Springer
The diversity of negotiation types in e-commerce calls for a clear description of the rules that govern them. The participant has to know the rules before engaging in a negotiation...