846 search results - page 83 / 170 » On the Computational Complexity of Spatio-Temporal Logics |
125
Voted
TPLP
2002
15 years 11 days ago
2002
In this paper, we consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under the answer set semantics. In this approach, new informat...
102
Voted
DLOG
2007
15 years 3 months ago
2007
We develop a formal framework for modular ontologies by analysing four notions of conservative extensions and their applications in refining, re-using, merging, and segmenting ont...
SEKE
2004
Springer
15 years 6 months ago
2004
Springer
As application semantics becomes more complex and dynamic in IT systems, it is necessary to engineer the application semantics in its own lifecycle of development parallel to syste...
112
click to vote
SBCCI
2004
ACM
15 years 6 months ago
2004
ACM
Digital Control System in the industry has been used in most of the applications based on expensive Programmable Logical Controllers (PLC). These Systems are, in general, highly c...
94
Voted
CONCUR
1999
Springer
15 years 5 months ago
1999
Springer
In order to check whether an open system satisfies a desired property, we need to check the behavior of the system with respect to an arbitrary environment. In the most general se...