1636 search results - page 6 / 328 » Reasoning About Quantum Systems |
81
Voted
NIPS
2003
14 years 11 months ago
2003
We show that temporal logic and combinations of temporal logics and modal logics of knowledge can be effectively represented in artificial neural networks. We present a Translat...
90
Voted
TABLEAUX
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The management of qualitative spatial information is an important research area in computer science and AI. Modal logic provides a natural framework for the formalization...
WWW
2004
ACM
15 years 10 months ago
2004
ACM
The paper describes some innovations related to the ongoing work on the GSA prototype, an integrated information retrieval agent. In order to improve the original system effective...
79
Voted
ICTAI
2008
IEEE
15 years 4 months ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
106
click to vote
AI
2005
Springer
14 years 9 months ago
2005
Springer
In this paper, we propose a practical framework for characterizing, evaluating and selecting reformulation techniques for reasoning about physical systems, with the long-term goal...