11436 search results - page 445 / 2288 » Modeling Real Reasoning |
168
Voted
CSL
2011
Springer
15 years 2 days ago
2011
Springer
This paper proposes a novel user intention simulation method which is data-driven but can integrate diverse user discourse knowledge to simulate various types of user behaviors. A...
146
click to vote
STACS
2010
Springer
16 years 1 days ago
2010
Springer
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...
137
Voted
ICAIL
2009
ACM
15 years 11 months ago
2009
ACM
Legal doctrines provide principles, guidelines and rules for dispute resolution in reasoning with cases. To apply legal doctrines, the context of a contract consisting of differe...
132
Voted
TIME
2003
IEEE
15 years 10 months ago
2003
IEEE
In bitemporal databases, current facts and transaction states are modelled using a special value to represent the current time (such as a minimum or maximum timestamp or NULL). Pr...
144
Voted
KR
2010
Springer
15 years 10 months ago
2010
Springer
We present a decidable class of first-order formulas in the general theory of stable models that can be instantiated even in the presence of function constants. The notion of an ...