3776 search results - page 117 / 756 » Partition-Based Logical Reasoning |
110
Voted
CADE
2002
Springer
16 years 2 months ago
2002
Springer
110
Voted
TIME
2009
IEEE
15 years 9 months ago
2009
IEEE
129
Voted
PERCOM
2007
ACM
15 years 9 months ago
2007
ACM
The CARE middleware aims at supporting contextaware adaptation of Internet services in a mobile computing environment. The CARE hybrid reasoning mechanism is based on a loose inte...
115
click to vote
IGPL
2010
14 years 9 months ago
2010
This paper presents a Ramsey account of conditionals within the framework of an implemented reason maintenance system. The reason maintenance system is built on top of a deductive...
134
Voted
ICAIL
2003
ACM
15 years 8 months ago
2003
ACM
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...