1966 search results - page 140 / 394 » Description Logics and Planning |
168
click to vote
JAPLL
2006
15 years 6 months ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first const...
161
click to vote
ICSR
2009
Springer
15 years 11 months ago
2009
Springer
Large scale Open Systems are built from reusable components in such a way that enhanced system functionality can be deployed, quickly and effectively, simply by plugging in a few n...
168
click to vote
IAT
2006
IEEE
16 years 13 days ago
2006
IEEE
In this paper, we tackle learning in distributed systems and the fact that learning does not necessarily involve the participation of agents directly in the inductive process itse...
159
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Diagrammatic logics were introduced in 2002, with emphasis on the notions of specifications and models. In this paper we improve the description of the inference process, which i...
189
click to vote
JELIA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Nonmonotonic causal logic became a basis for the semantics of several expressive action languages. Norman McCain and Paolo Ferraris showed how to embed propositional caus...