2308 search results - page 74 / 462 » Representing Symbolic Reasoning |
122
Voted
ESOP
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. We describe a symbolic heap abstraction that unifies reasoning about arrays, pointers, and scalars, and we define a fluid update operation on this symbolic heap that rela...
135
click to vote
PERCOM
2006
ACM
16 years 5 months ago
2006
ACM
This paper reports our experience with representing and reasoning with context information within the CARE middleware. CARE was developed to support context-aware service adaptati...
134
click to vote
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
We introduce a uniform approach of representing a variety of paraconsistent non-monotonic formalisms by quantified Boolean formulae (QBFs) in the context of four-valued semantics. ...
165
click to vote
AI
2008
Springer
15 years 5 months ago
2008
Springer
Representing and reasoning about time dependent information is a key research issue in many areas of computer science and artificial intelligence. One of the best known and widely...
143
click to vote
ICPR
2010
IEEE
15 years 5 months ago
2010
IEEE
Probabilistic language models are critical to applications in natural language processing that include speech recognition, optical character recognition, and interfaces for text e...