3244 search results - page 225 / 649 » Extensions to Description Logics |
186
click to vote
EPIA
2009
Springer
16 years 1 months ago
2009
Springer
Logic Programming Update Languages were proposed as an extension of logic programming that allows modeling the dynamics of knowledge bases where both extensional (facts) and intent...
167
click to vote
FORMATS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We study the realizability problem for specifications of reactive systems expressed in real-time linear temporal logics. The logics we consider are subsets of MITL (Metr...
156
click to vote
ICAIL
2009
ACM
16 years 1 months ago
2009
ACM
Current argumentation support software often employs graphical representations of logical relationships. Little is known about the extent to which logical structuring helps to inc...
163
click to vote
LFCS
2007
Springer
16 years 19 days ago
2007
Springer
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
171
click to vote
ISPD
1997
ACM
15 years 10 months ago
1997
ACM
The inherent distortion of the structural regularity of VLSI datapaths after logic optimization has until now precluded dense regular layouts of optimized datapaths despite their ...