3468 search results - page 428 / 694 » An open logical framework |
211
click to vote
CONCUR
2004
Springer
16 years 22 days ago
2004
Springer
We propose a framework where behavioural properties of finite-state systems modelled as graph transformation systems can be expressed and verified. The technique is based on the ...
188
click to vote
KI
2004
Springer
16 years 21 days ago
2004
Springer
Abstract. The Unification-based Temporal Grammar is a temporal extension of static unification-based grammars. It defines a hierarchical temporal rule language to express comple...
217
click to vote
RSCTC
2004
Springer
16 years 21 days ago
2004
Springer
We address the problem of rough applicability of rules within the framework of approximation spaces. The graded applicability of a rule for an object of an approximation space, int...
196
click to vote
ASP
2003
Springer
16 years 17 days ago
2003
Springer
We investigate rule dependency graphs and their colorings for characterizing the computation of answer sets of logic programs. To this end, we develop a series of operational chara...
244
click to vote
EPIA
2003
Springer
16 years 17 days ago
2003
Springer
Modern information retrieval systems need the capability to reason about the knowledge conveyed by text bases. In this paper a methodology to automatically create ontologies and cl...