1941 search results - page 139 / 389 » Reasoning about Computations Using Two-Levels of Logic |
139
click to vote
MICAI
2005
Springer
15 years 9 months ago
2005
Springer
A powerful and useful approach for modeling knowledge and qualitative reasoning is the Cognitive Map. The background of Cognitive Maps is the research about learning environments c...
LICS
2007
IEEE
15 years 9 months ago
2007
IEEE
Typing of lambda-terms in Elementary and Light Affine Logic (EAL , LAL resp.) has been studied for two different reasons: on the one hand the evaluation of typed terms using LAL ...
163
click to vote
JFP
2007
15 years 3 months ago
2007
Software engineering courses offer one of many opportunities for providing students with a significant experience in declarative programming. This report discusses some results fr...
169
Voted
CSFW
2003
IEEE
15 years 8 months ago
2003
IEEE
We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal l...
157
click to vote
SEMWEB
2005
Springer
15 years 9 months ago
2005
Springer
Information retrieval systems have to deal with uncertain knowledge and query results should reflect this uncertainty in some manner. However, Semantic Web ontologies are based on...