3573 search results - page 83 / 715 » Reasoning about Codata |
166
click to vote
LOGCOM
1998
15 years 2 months ago
1998
Planning algorithms have traditionally been geared toward achievement goals in single-agent environments. Such algorithms essentially produce plans to reach one of a specified se...
155
click to vote
COMPSAC
2010
IEEE
15 years 1 months ago
2010
IEEE
The advent of emerging technologies such as Web services, service-oriented architecture, and cloud computing has enabled us to perform business services more efficiently and effect...
136
click to vote
CORR
2002
Springer
15 years 2 months ago
2002
Springer
Sound and complete axiomatizations are provided for a number of different logics involving modalities for knowledge and time. These logics arise from different choices for various ...
IJIS
2000
15 years 2 months ago
2000
JANCL
2000
15 years 2 months ago
2000
