Sciweavers

2797 search results - page 339 / 560
» Control Structures
Sort
View
ATAL
2005
Springer
15 years 10 months ago
Towards a functional ontology of reputation
This paper proposes a functional ontology of reputation for agents. The goal of this ontology is twofold. First, to put together the broad knowledge about reputation produced in s...
Sara J. Casare, Jaime Simão Sichman
BIRTHDAY
2005
Springer
15 years 10 months ago
Main Concepts of Networks of Transformation Units with Interlinking Semantics
The aim of this paper is to introduce a modelling concept and structuring principle for rule-based systems the semantics of which is not restricted to a sequential behavior, but ca...
Dirk Janssens, Hans-Jörg Kreowski, Grzegorz R...
FROCOS
2005
Springer
15 years 10 months ago
Connecting a Logical Framework to a First-Order Logic Prover
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...
Andreas Abel, Thierry Coquand, Ulf Norell
MIS
2005
Springer
158views Multimedia» more  MIS 2005»
15 years 9 months ago
Context-Based Management of Multimedia Documents in 3D Navigational Environments
Abstract. This work proposes an approach for managing multimedia information associated to 3D environments navigated by the user. The influence of context (location, user profile, ...
Fabio Pittarello
ECAI
2004
Springer
15 years 9 months ago
Indirect and Conditional Sensing in the Event Calculus
Controlling the sensing of an environment by an agent has been accepted as necessary for effective operation within most practical domains. Usually, however, agents operate in par...
Jeremy Forth, Murray Shanahan