417 search results - page 76 / 84 » Results on Reasoning about Updates in Transaction Logic |
106
click to vote
AIM
2006
15 years 16 days ago
2006
maintain awareness of its environment for a long period of time. Additionally, knowledge-intensive agents must be engineered such that their knowledge can be easily updated as envi...
117
click to vote
BMCBI
2007
15 years 17 days ago
2007
Background: Experimental studies of gene expression have identified some of the individual molecular components and elementary reactions that comprise and control cellular behavio...
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
A rational agent adopts (or changes) its goals when new information (beliefs) becomes available or its desires (e.g., tasks it is supposed to carry out) change. In conventional ap...
116
click to vote
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...
105
Voted
PPSWR
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We discuss language architecture for the Semantic Web, and in particular different proposals for extending this architecture with a rules component. We argue that an arch...