1056 search results - page 68 / 212 » ijcai 2007 |
IJCAI
2003
14 years 11 months ago
2003
The benefits of modular representations arc well known from many areas of computer science. In this paper, we concentrate on the benefits of modular ontologies with respect to loc...
IJCAI
2003
14 years 11 months ago
2003
Automated verification is one of the most success ful applications of automated reasoning in com puter science. In automated verification one uses algorithmic techniques to es...
IJCAI
2003
14 years 11 months ago
2003
This paper studies the dynamics of agent mediated combinatorial trading at the macroscopic level. The combinatorial marketplace consists of a retailer who wishes to sell bundles o...
64
Voted
IJCAI
1997
14 years 11 months ago
1997
New methods and new systems are needed to lter or to selectively distribute the increasing volume of electronic informationbeing produced nowadays. An e ective information ltering...
IJCAI
1997
14 years 11 months ago
1997
The paper describes a transition logic, TL, and a deductive formalism for it. It shows how various important aspects (such as ramification, qualification, specificity, simultaneit...