2766 search results - page 59 / 554 » Hybridizing a Logical Framework |
ICGI
1994
Springer
14 years 2 months ago
1994
Springer
: This paper deals on defining object-oriented inferences by desining a new unification procedure called ?-unification (which leads to a sound and complete resolution) in DF-logic,...
TIT
2002
13 years 9 months ago
2002
A joint source
IJCNN
2008
IEEE
14 years 4 months ago
2008
IEEE
—The system architecture presented in this paper is designed for helping an aged person to live longer independently in their own home by detecting unusual and potentially hazard...
IFM
2010
Springer
13 years 8 months ago
2010
Springer
We present a logical framework that is able to deal with variability in product family descriptions. The temporal logic MHML is based on the classical Hennessy–Milner logic with ...
LPNMR
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We present a framework for updating logic programs under the answer-set semantics that builds on existing work on preferences in logic programming. The approach is simple...