Sciweavers

2638 search results - page 294 / 528
» Frameworks for Reasoning about Agent Based Systems
Sort
View
162
Voted
AAAI
2008
15 years 9 months ago
Credulous Resolution for Answer Set Programming
The paper presents a calculus based on resolution for credulous reasoning in Answer Set Programming. The new approach allows a top-down and goal directed resolution, in the same s...
Piero A. Bonatti, Enrico Pontelli, Tran Cao Son
JCIT
2010
113views more  JCIT 2010»
15 years 1 months ago
Dynamic Integrated Algorithm for Production Scheduling Based on Iterative Search
It is quite difficult to adapt to the changing production scheduling problem for an algorithm of a certain question. According to this, a strategy of dynamic integrated iterative ...
Cunli Song, Xiaobing Liu, Wei Wang, Ming Huang
ATAL
2005
Springer
16 years 4 days ago
What kind of argument are we going to have today?
This paper is concerned with argumentation-based dialogues between agents. Much work in this area has been based upon an influential taxonomy of dialogue types developed by Walto...
Eva Cogan, Simon Parsons, Peter McBurney
ECSQARU
2009
Springer
16 years 1 months ago
On Revising Argumentation-Based Decision Systems
Decision making amounts to define a preorder (usually a complete one) on a set of options. Argumentation has been introduced in decision making analysis. In particular, an argumen...
Leila Amgoud, Srdjan Vesic
GIS
2007
ACM
16 years 7 months ago
An interactive framework for raster data spatial joins
Many Geographic Information System (GIS) applications must handle large geospatial datasets stored in raster representation. Spatial joins over raster data are important queries i...
Wan D. Bae, Petr Vojtechovský, Shayma Alkob...