1966 search results - page 165 / 394 » Description Logics and Planning |
222
click to vote
FMLDO
2000
Springer
15 years 10 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...
175
click to vote
CIC
2004
15 years 7 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...
163
click to vote
CADE
2010
Springer
15 years 7 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...
230
click to vote
HIS
2009
15 years 4 months ago
2009
Recent years have witnessed the wide recognition of the importance of ontology and rule in the AI research. In this paper, we report our implementation and evaluation of a rule-ba...
171
click to vote
PPDP
2010
Springer
15 years 4 months ago
2010
Springer
Transaction Logic is a logic for representing declarative and procedural knowledge in logic programming, databases, and AI. It has been successful in areas as diverse as workflows...