3358 search results - page 243 / 672 » Dynamic Description Logics |
133
click to vote
LOGCOM
2000
15 years 6 months ago
2000
Several calculi of objects have been studied in the recent literature, that support the central features of object-based languages: messages, inheritance, dynamic dispatch, object...
220
click to vote
AAAI
2011
14 years 7 months ago
2011
In this paper we examine the general problem of generating preferred explanations for observed behavior with respect to a model of the behavior of a dynamical system. This problem...
186
click to vote
DAC
2003
ACM
16 years 8 months ago
2003
ACM
While Boolean logic minimization is typically used in logic synthesis, logic minimization can be useful in numerous other applications. However, many of those applications, such a...
167
click to vote
ISCAS
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper fuzzy controllers are designed for FACTS devices in interconnected power systems. Two typical FACTS devices, STATCOM and UPFC, are used as examples to show that FACT...
206
click to vote
ICLP
1998
Springer
15 years 11 months ago
1998
Springer
There have been several proposals for logic programming language based on linear logic: Lolli [6], Lygon [5], LO [3], LinLog [2], Forum [8]. In addition, BinProlog allows the use ...