2638 search results - page 206 / 528 » Frameworks for Reasoning about Agent Based Systems |
182
click to vote
ECBS
2008
IEEE
15 years 8 months ago
2008
IEEE
Large and complex software systems require expressive notations for representing their software architecture. In this context Architecture Description Languages (ADLs) can be used...
183
click to vote
IAT
2009
IEEE
15 years 9 months ago
2009
IEEE
In this paper we introduce a theory of meta-argumentation, by using Dung’s theory of abstract argumentation to reason about itself. Metaarguments are generated from atomic argum...
182
click to vote
AAAI
1997
15 years 8 months ago
1997
CNF-BCP is a well-known propositional reasoner that extends clausal Boolean Constraint Propagation (BCP) to non-clausal theories. Although BCP has efficient linear-time implementa...
239
click to vote
LPNMR
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. Multi-context systems are a formalism to interlink decentralized and heterogeneous knowledge based systems (contexts), which interact via (possibly nonmonotonic) bridge r...
221
click to vote
OAS
2003
15 years 8 months ago
2003
Computing is moving toward a pervasive context-aware environment in which agents with limited resources will require external support to help them become context-aware. In this pa...