834 search results - page 14 / 167 » Anaphora and the Logic of Change |
AAAI
2006
13 years 10 months ago
2006
Ontology management and maintenance are considered cornerstone issues in current Semantic Web applications in which semantic integration and ontological reasoning play a fundament...
DKE
2007
13 years 8 months ago
2007
ct 9 The benefits of modular representations are well known from many areas of computer science. While in software engi10 neering modularization is mainly a vehicle for supporting...
AAAI
1994
13 years 10 months ago
1994
The situation calculus is a popular technique for reasoning about action and change. However, its restriction to a firstorder syntax and pure deductive reasoning makes it unsuitab...
SIGDOC
2004
ACM
14 years 2 months ago
2004
ACM
We analyzed texts from years 1800-2004 from the Philosophical Transactions of the Royal Society of London. Two-thousand-word sections from about 20 articles published at 25-year i...
IAT
2009
IEEE
13 years 6 months ago
2009
IEEE
We study an update operator for Coalition Logic to talk about the way players' strategic ability changes because of the moves of their opponents. We show its connection with D...