5290 search results - page 383 / 1058 » Knowledge Processing in Intelligent Systems |
158
click to vote
IAT
2009
IEEE
16 years 1 months ago
2009
IEEE
—We propose various logical semantics for change of awareness. The setting is that of multiple agents that may become aware of facts or other agents, or forget about them. We mod...
147
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
We develop a tableau-based decision procedure for the full coalitional multiagent temporal-epistemic logic of linear time CMATEL(CD+LT). It extends LTL with operators of common an...
141
click to vote
ICTAI
2003
IEEE
16 years 12 hour ago
2003
IEEE
We are investigating computational models for humancomputer interaction based on a uniform, declarative, knowledge representation. We describe a new implementation of our work cal...
161
click to vote
EPS
1995
Springer
15 years 10 months ago
1995
Springer
Systems of selection and variation by recombination and/or mutation can be used to evolve images for computer graphics and animation. Interactive evolution can be used to direct t...
197
click to vote
AAAI
2008
15 years 9 months ago
2008
We present a new algorithm for reasoning in the description logic SHIQ, which is the most prominent fragment of the Web Ontology Language OWL. The algorithm is based on ordered bi...