417 search results - page 43 / 84 » Results on Reasoning about Updates in Transaction Logic |
SLOGICA
2002
15 years 6 days ago
2002
A survey is given of results about coherence for categories with finite products and coproducts. For these results, which were published previously by the authors in several places...
111
click to vote
AI
2007
Springer
15 years 21 days ago
2007
Springer
Although reasoning about what is the case has been the historic focus of logic, reasoning about what should be done is an equally important capacity for an intelligent agent. Reas...
137
click to vote
ARGMAS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. One of the most difficult problems in multiagent systems involves representing knowledge and beliefs of agents in dynamic environments. New perceptions modify an agent’...
114
Voted
LOGCOM
2007
15 years 13 days ago
2007
In Artificial Intelligence there is a need for reasoning about continuous processes, where assertions refer to time intervals rather than time points. Taking our lead from van Ben...
97
Voted
ISMIS
2005
Springer
15 years 6 months ago
2005
Springer
Deontic logic is appropriate to model a wide variety of legal arguments, however this logic suffers form certain paradoxes of which the so-called Chisholm is one of the most notor...