Sciweavers

5232 search results - page 636 / 1047
» Generative modeling: a symbolic system for geometric modelin...
Sort
View
IJAOSE
2010
126views more  IJAOSE 2010»
15 years 4 months ago
Automated analysis of compositional multi-agent systems
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a se...
Alexei Sharpanskykh, Jan Treur
RR
2009
Springer
15 years 11 months ago
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents
In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework. In t...
Robert A. Kowalski, Fariba Sadri
VISAPP
2007
15 years 8 months ago
Extraction of multi-modal object representations in a robot vision system
We introduce one module in a cognitive system that learns the shape of objects by active exploration. More specifically, we propose a feature tracking scheme that makes use of the...
Nicolas Pugeault, Emre Baseski, Dirk Kraft, Floren...
SOFTCOMP
2010
15 years 5 months ago
Evaluating the Low Quality Measurements in Lighting Control Systems
In real world processes in the industry or in business, where the elements involved generate data full of noise and biases, improving the energy efficiency represents one of the ma...
José Ramón Villar, Enrique A. de la ...
CADE
2007
Springer
16 years 7 months ago
System Description: E-KRHyper
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...
Björn Pelzer, Christoph Wernhard