Sciweavers

2776 search results - page 311 / 556
» System-Level Abstraction Semantics
Sort
View
LPNMR
2004
Springer
15 years 12 months ago
Planning with Preferences Using Logic Programming
Abstract. We present a declarative language, PP, for the specification of preferences between possible solutions (or trajectories) of a planning problem. This novel language allow...
Tran Cao Son, Enrico Pontelli
RULEML
2004
Springer
15 years 12 months ago
SweetProlog: A System to Integrate Ontologies and Rules
Abstract. This paper describes the design and implementation of SweetProlog, a system for translating Web rules into Prolog. It enables the integration of ontologies and rules on t...
Loredana Laera, Valentina A. M. Tamma, Trevor J. M...
SEMWEB
2004
Springer
15 years 12 months ago
A Method for Converting Thesauri to RDF/OWL
Abstract. This paper describes a method for converting existing thesauri and related resources from their native format to RDF(S) and OWL. The method identifies four steps in the ...
Mark van Assem, Maarten R. Menken, Guus Schreiber,...
SEMWEB
2004
Springer
15 years 12 months ago
Information Retrieval Support for Ontology Construction and Use
Abstract. Information retrieval can contribute towards the construction of ontologies and the effective usage of ontologies. We use collocation-based keyword extraction to suggest ...
Willem Robert van Hage, Maarten de Rijke, Maarten ...
DALT
2003
Springer
15 years 12 months ago
A Social Approach to Communication in Multiagent Systems
Abstract. This paper aims at defining the semantics of Agent Communication Languages (ACLs) in terms of changes in the social relationships between agents, represented in terms of...
Marco Colombetti, Nicoletta Fornara, Mario Verdicc...