417 search results - page 36 / 84 » Results on Reasoning about Updates in Transaction Logic |
84
Voted
TCS
2002
15 years 5 days ago
2002
We study proof systems for reasoning about logical consequences and refinement of structured specifications, based on similar systems proposed earlier in the literature [ST 88, Wi...
112
click to vote
AI
2008
Springer
15 years 21 days ago
2008
Springer
Representing and reasoning about time dependent information is a key research issue in many areas of computer science and artificial intelligence. One of the best known and widely...
101
click to vote
CCIA
2007
Springer
15 years 6 months ago
2007
Springer
We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics for Multi-...
97
Voted
AGI
2008
15 years 2 months ago
2008
OSCAR is a fully implemented architecture for a cognitive agent, based largely on the author's work in philosophy concerning epistemology and practical cognition. The seminal ...
109
click to vote
DLOG
2006
15 years 1 months ago
2006
Abstract Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the onto...