3032 search results - page 230 / 607 » Description Logic Rules |
145
click to vote
FMLDO
2000
Springer
15 years 4 months ago
2000
Springer
In this paper a semantic approach for the specification and the management of databases with evolving schemata is introduced. It is shown how a general objectoriented model for sc...
110
click to vote
ECML
1987
Springer
15 years 4 months ago
1987
Springer
This paper examines the induction of classification rules from examples using real-world data. Real-world data is almost always characterized by two features, which are important ...
131
click to vote
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
Agents that must reach agreements with other agents need to reason about how their preferences, judgments, and beliefs might be aggregated with those of others by the social choic...
107
click to vote
CIC
2004
15 years 2 months ago
2004
Abstract--The types of lexicons necessary for Transparent Intensional Logic (TIL) logical analysis will be described. We will show the algorithm for analysing the TIL verbal object...
101
click to vote
CADE
2010
Springer
15 years 2 months ago
2010
Springer
This system description provides an overview of the MUNCH reasoner for sets and multisets. MUNCH takes as the input a formula in a logic that supports expressions about sets, multi...