Sciweavers

4163 search results - page 302 / 833
» A comprehensive combination framework
Sort
View
ICLP
2009
Springer
16 years 7 months ago
Constraint Answer Set Solving
We present a new approach to integrating Constraint Processing (CP) techniques into Answer Set Programming (ASP). Based on an alternative semantic approach, we develop an algorithm...
Martin Gebser, Max Ostrowski, Torsten Schaub
ICSM
2009
IEEE
16 years 1 months ago
Identifying high-level dependence structures using slice-based dependence analysis
This thesis presented a framework of the possible combination of approaches for low-level program slicing-baseddependence analysis and high-level concept assignment. Three combina...
Zheng Li
ROBOCOMM
2007
IEEE
16 years 28 days ago
Cooperative information fusion in a network robot system
—The vision of network robot systems involves robots embedded in smart environments, with which they can collaborate and communicate. In such systems, robots have access to many ...
Kevin LeBlanc, Alessandro Saffiotti
KI
2007
Springer
16 years 23 days ago
Relational Exploration - Reconciling Plato and Aristotle
Abstract. We provide an interactive method for knowledge acquisition combining approaches from description logic and formal concept analysis. Based on present data, hypothetical ru...
Sebastian Rudolph
EPIA
2001
Springer
15 years 11 months ago
On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints
This paper explores the applicability of the new paradigm of Multi-dimensional Dynamic Logic Programming to represent an agent’s view of the combination of societal knowledge dyn...
João Alexandre Leite, José Jú...