Sciweavers

219 search results - page 28 / 44
» A framework for reasoning about rational agents
Sort
View
STOC
2005
ACM
112views Algorithms» more  STOC 2005»
15 years 9 months ago
The complexity of agreement
A celebrated 1976 theorem of Aumann asserts that honest, rational Bayesian agents with common priors will never "agree to disagree": if their opinions about any topic ar...
Scott Aaronson
AAAI
2008
14 years 11 months ago
Metalevel Information in Ontology-Based Applications
Applications of Semantic Web technologies often require the management of metalevel information--that is, information that provides additional detail about domain-level informatio...
Thanh Tran, Peter Haase, Boris Motik, Bernardo Cue...
81
Voted
DEON
2006
Springer
15 years 1 months ago
A Question of Trust: Assessing the Fulfillment of Commitments in Terms of Strategies
We aim at an adequate formal description of the dynamics of commitments and trust by transferring insights about actual human practices to a formal setting. Our framework is based ...
Thomas Müller
LPNMR
2011
Springer
14 years 10 days ago
Communicating ASP and the Polynomial Hierarchy
Communicating answer set programming is a framework to represent and reason about the combined knowledge of multiple agents using the idea of stable models. The semantics and expre...
Kim Bauters, Steven Schockaert, Dirk Vermeir, Mart...
ATAL
2007
Springer
15 years 1 months ago
Temporal linear logic as a basis for flexible agent interactions
Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion o...
Duc Quang Pham, James Harland