5198 search results - page 94 / 1040 » A Logic of Agent Programs |
PPDP
2000
Springer
15 years 2 months ago
2000
Springer
ICALP
1991
Springer
15 years 2 months ago
1991
Springer
HICSS
1998
IEEE
15 years 3 months ago
1998
IEEE
We utilize the situation calculus to develop a logical model of hypertext systems. The work builds upon the earlier work of Bieber and Kimbrough in the logical modeling of hyperte...
IADIS
2004
15 years 20 days ago
2004
Fuzzy Semantic Web agents are reactive software agents whose coordinated behavior is defined in terms of fuzzy action rules, inspired by fuzzy logic. We introduce a simple approac...
TABLEAUX
2007
Springer
15 years 5 months ago
2007
Springer
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agen...