4573 search results - page 238 / 915 » Automated Reasoning |
151
click to vote
ASP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Answer Set Programming (ASP) is a formalism widely used for knowl
143
click to vote
CSL
1995
Springer
15 years 10 months ago
1995
Springer
In this paper we propose to extend the current capabilities of automated reasoning systems by making use of techniques from integer programming. We describe the architecture of an ...
188
click to vote
JSW
2008
15 years 6 months ago
2008
Automated negotiation is an important applying field of agent theory and technology. For the current agent theoretical models have some troubles in explaining the agent's nego...