364 search results - page 20 / 73 » A Map of Common Knowledge Logics |
157
click to vote
LFCS
2009
Springer
15 years 8 months ago
2009
Springer
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...
124
click to vote
MTSR
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we describe the development of an ontology of molecular and phenotypic cereals data, realized by integrating existing public web databases with the database developed...
111
click to vote
IJVR
2006
15 years 1 months ago
2006
This paper introduces SCIVE, a Simulation Core for Intelligent Virtual Environments. SCIVE provides a Knowledge Representation Layer (KRL) as a central organizing struc...
118
click to vote
FPL
1997
Springer
15 years 6 months ago
1997
Springer
Technology mapping can be viewed as the optimization problem of finding a minimum cost cover of the given Boolean network by choosing from given library of logic cells. The core of...
119
click to vote
RWEB
2009
Springer
15 years 8 months ago
2009
Springer
In this chapter we will introduce description logics, a family of logic-based knowledge representation languages that can be used to represent the terminological knowledge of an a...