3394 search results - page 7 / 679 » A Modal Model of Memory |
119
Voted
ECAI
1990
Springer
15 years 7 months ago
1990
Springer
Modal logics based on Kripke style semantics are the prominent formalismin AI for modeling beliefs. Kripke semantics involve a collection of possible worlds and a relation among t...
101
click to vote
ER
2009
Springer
15 years 10 months ago
2009
Springer
Assessing the quality of conceptual models is key to ensure that conceptual models can be used effectively as a basis for understanding, agreement and construction of information ...
140
Voted
IJIS
2011
14 years 6 months ago
2011
In this paper, we propose a method for modeling concepts in full computation-tree logic with sequence modal operators. An extended full computation-tree logic, CTLS∗ , is introdu...
117
click to vote
KR
1994
Springer
15 years 7 months ago
1994
Springer
This paper analyzes a language for actions and the deontic modalities over actions -- i.e., the modalities permitted, forbidden and obligatory. The work is based on: (1) an action...
144
Voted
BCS
2008
15 years 4 months ago
2008
Parity games underlie the model checking problem for the modal