2766 search results - page 387 / 554 » Hybridizing a Logical Framework |
126
click to vote
KI
2004
Springer
15 years 10 months 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...
152
Voted
RSCTC
2004
Springer
15 years 10 months 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...
152
click to vote
ASP
2003
Springer
15 years 9 months 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...
171
Voted
EPIA
2003
Springer
15 years 9 months 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...
117
click to vote
ESSLLI
1999
Springer
15 years 8 months ago
1999
Springer
In this paper I take a dynamic view in the spirit of the update semantics by Veltman (1996) on the first–order model construction procedure presented by Manthey and Bry (1988)....