17054 search results - page 121 / 3411 » Logics of Dynamical Systems |
145
click to vote
LOGCOM
2006
15 years 4 months ago
2006
Seeing To It That (STIT) logic is a logic of agency, proposed in the 1990s in the domain of philosophy of action. It is the logic of constructions of the form `agent a sees to it ...
139
click to vote
LORI
2009
Springer
15 years 9 months ago
2009
Springer
We present in this work a sound and complete modal logic called EDLA (Epistemic Dynamic Logic of Agency) integrating the concepts of joint action, preference and knowledge and ena...
190
click to vote
WCFLP
2005
ACM
15 years 10 months ago
2005
ACM
Program slicing is a well-known technique that extracts from a program those statements which are relevant to a particular criterion. While static slicing does not consider any in...
160
click to vote
DLOG
2007
15 years 7 months ago
2007
In spite of the increasing effort spent on building ontologies for the Semantic Web, little attention has been paid to the impact of these ontologies on knowledge-based intelligen...