3719 search results - page 166 / 744 » RACER System Description |
141
click to vote
ICTAI
2007
IEEE
16 years 23 days ago
2007
IEEE
This paper introduces ELEON, an editor that allows the enrichment of OWL ontologies with linguistic and user-related annotations. The enriched ontologies are used by natural langu...
156
click to vote
KSEM
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Description logics (DLs) are a well-known family of knowledge representation (KR) languages. The notation of DLs has the style of a variable-free first order predicate l...
169
click to vote
DELTA
2002
IEEE
15 years 11 months ago
2002
IEEE
A new method for hierarchical fault simulation based on multi-level Decision Diagrams (DD) is proposed. We suppose that a register transfer (RT) level information along with gate-...
238
click to vote
ARES
1998
Springer
15 years 10 months ago
1998
Springer
Distributed programming environments commonly restrict programmers to one form of intercomponent interaction. This forces programmers to emulate other interaction styles in terms o...
157
click to vote
OFAI
1997
Springer
15 years 10 months ago
1997
Springer
This paper outlines a design-based methodology for the study of mind as a part of thebroaddisciplineofArtificial Intelligence. Withinthat frameworksome architectural requirements...