670 search results - page 68 / 134 » Modeling generalized implicatures using non-monotonic logics |
LPNMR
1997
Springer
15 years 4 months ago
1997
Springer
This paper introduces power default reasoning (PDR), a framework for nonmonotonic reasoning based on the domain-theoretic idea of modeling default rules with partial-information i...
102
click to vote
IEE
2008
14 years 12 months ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
ATAL
2009
Springer
15 years 6 months ago
2009
Springer
The ability to guarantee that a system will continue to operate correctly under degraded conditions is key to the success of adopting multi-agent systems (MAS) as a paradigm for d...
101
click to vote
EUROCAST
2003
Springer
15 years 5 months ago
2003
Springer
This paper explores the computational capacity of a novel local computational model that expands the conventional analogical and logical dynamic neural models, based on the charge ...
DOLAP
2005
ACM
15 years 1 months ago
2005
ACM
Data warehouses and OLAP systems help to interactively analyze huge volume of data. This data, extracted from transactional databases, frequently contains spatial information whic...