Sciweavers

3468 search results - page 453 / 694
» An open logical framework
Sort
View
241
Voted
ECAI
2000
Springer
15 years 8 months ago
An Embedding of ConGolog in 3APL
Several high-level programming languages for programming agents and robots have been proposed in recent years. Each of these languages has its own features and merits. It is still...
Koen V. Hindriks, Yves Lespérance, Hector J...
DATESO
2007
107views Database» more  DATESO 2007»
15 years 5 months ago
Updating Typed XML Documents Using a Functional Data Model
We address a problem of updating XML documents having their XML schema described by a Document Type Definition (DTD) without breaking their validity. We present a way how to expre...
Pavel Loupal
GI
2007
Springer
15 years 10 months ago
Informationsextraktion durch Verwendung Computerlinguistischer Verfahren in Texten mit Makrostruktur
Abstract: In diesem Beitrag wird ein System vorgestellt, mit dem semistrukturierte militärische Aufklärungsmeldungen analysiert werden können, um ontologiegestützt ein automati...
Frank Reinert, Patrick Waldschmitt, Sandro Leuchte...
EKAW
2004
Springer
15 years 9 months ago
Generating and Integrating Evidence for Ontology Mappings
For more than a decade, ontologies have been proposed as a means to enable sharing and reuse of knowledge. While originally relatively narrow information landscapes have been in mi...
Ludger van Elst, Malte Kiesel
ICSOC
2004
Springer
15 years 9 months ago
An OGSA-based accounting system for allocation enforcement across HPC centers
In this paper, we present an Open Grid Services Architecture (OGSA)-based decentralized allocation enforcement system, developed with an emphasis on a consistent data model and ea...
Thomas Sandholm, Peter Gardfjäll, Erik Elmrot...