1321 search results - page 39 / 265 » Subtyping in Logical Form |
ISLPED
1998
ACM
15 years 4 months ago
1998
ACM
Adiabatic logic promises extremely low power consumption for those applications where slower clock rates are acceptable. However, there have been very few adiabatic memory designs...
113
click to vote
LOGCOM
2007
14 years 11 months ago
2007
The paper provides a uniform representation of abductive reasoning in the logical framework of causal inference relations. The representation covers in a single framework not only...
CALCO
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we discuss a uniform method for constructing free modal and distributive modal algebras. This method draws on works by (Abramsky 2005) and (Ghilardi 1995). We revisit...
125
click to vote
EPIA
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We consider the representation and execution of agents specified using temporal logics. Previous work in this area has provided a basis for the direct execution of agent...
AAAI
2006
15 years 1 months ago
2006
Recently, Lakemeyer and Levesque proposed a logic of onlyknowing which precisely captures three forms of nonmonotonic reasoning: Moore's Autoepistemic Logic, Konolige's ...