5198 search results - page 39 / 1040 » A Logic of Agent Programs |
105
click to vote
EPIA
2003
Springer
15 years 4 months ago
2003
Springer
The Semantic Web is a “living organism”, which combines autonomously evolving data sources/knowledge repositories. This dynamic character of the Semantic Web requires (declarat...
70
Voted
NGITS
1997
Springer
15 years 3 months ago
1997
Springer
With the proliferation of the World Wide Web, it has become very important to provide advanced tools for maintaining referential integrity of information resources. The growing te...
AAAI
2004
15 years 16 days ago
2004
The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance boo...
ATAL
2007
Springer
15 years 5 months ago
2007
Springer
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...
134
Voted
EASSS
2001
Springer
15 years 3 months ago
2001
Springer
This paper presents some of the key techniques for reaching agreements in multi-agent environments. It discusses game-theory and economics based techniques: strategic negotiation, ...