1317 search results - page 56 / 264 » Fusions of Description Logics and Abstract Description Syste... |
AI
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. In the GRAAD project we are developing a knowledgebased system able of determine routes in a simulated urban environment and to generate natural language descriptions whi...
ECSQARU
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The problem of merging multiple sources information is central in several domains of computer science. In knowledge representation for artificial intelligence, several a...
118
Voted
VISUAL
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. The present work is focused on a global image characterization based on a description of the 2D displacements of the different shapes present in the image, which can be e...
119
click to vote
ICCAD
2000
IEEE
15 years 6 months ago
2000
IEEE
Most hardware description frameworks, whether schematic or textual, use cooperating finite state machines (CFSM) as the underlying abstraction. In the CFSM framework, a designer ...
140
click to vote
ASP
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. We integrate an expressive class of description logics (DLs) and answer set programming by extending the latter to support inverted predicates and infinite domains, feat...