180 search results - page 3 / 36 » Knowledge-Based Programs |
ICLP
2007
Springer
15 years 5 months ago
2007
Springer
PODC
1995
ACM
15 years 3 months ago
1995
ACM
We show how solution concepts in games such as Nash equilibrium, correlated equilibrium, rationalizability, and sequential equilibrium can be given a uniform definition in terms ...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...
IJCAI
2007
15 years 1 months ago
2007
In the context of the Semantic Web, several approaches to the combination of ontologies, given in terms of theories of classical first-order logic, and rule bases have been propo...
TARK
1998
Springer
15 years 3 months ago
1998
Springer
