348 search results - page 34 / 70 » Justification logics and hybrid logics |
PERCOM
2007
ACM
14 years 1 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...
DLOG
2003
13 years 9 months ago
2003
In this paper we formalise compilation of the conjunctive bodies of a restricted class of Horn rules into updates on terminologies. This involves a pre-processing of the graphs re...
CIA
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. W3C's OWL has gained wide acceptance in the agent community and it has already been used in many agent applications which we think syntactically. By taking advantage...
CADE
2007
Springer
14 years 7 months ago
2007
Springer
Abstract. Inductive definitions and rule inductions are two fundamental reasoning tools in logic and computer science. When inductive definitions involve binders, then Barendregt&#...
ICCAD
2001
IEEE
14 years 4 months ago
2001
IEEE
Given a test set for stuck-at faults, some of primary input values may be changed to opposite logic values without losing fault coverage. We can regard such input values as don’...