Sciweavers

3831 search results - page 551 / 767
» Dynamic Context Logic
Sort
View
IROS
2009
IEEE
145views Robotics» more  IROS 2009»
15 years 11 months ago
KNOWROB - knowledge processing for autonomous personal robots
— Knowledge processing is an essential technique for enabling autonomous robots to do the right thing to the right object in the right way. Using knowledge processing the robots ...
Moritz Tenorth, Michael Beetz
BPM
2009
Springer
143views Business» more  BPM 2009»
15 years 11 months ago
Integrating Users in Object-Aware Process Management Systems: Issues and Challenges
Despite the increasing maturity of contemporary Workflow Management Systems (WfMS), there still exist numerous process-aware application systems with more or less hard-coded proce...
Vera Künzle, Manfred Reichert
ATAL
2009
Springer
15 years 11 months ago
Pragmatic-strategic reputation-based decisions in BDI agents
Computational trust and reputation models have been recognized as one of the key technologies required to design and implement agent systems. These models manage and aggregate the...
Isaac Pinyol, Jordi Sabater-Mir
LPNMR
2009
Springer
15 years 11 months ago
Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection
Abstract. In answer-set programming (ASP), many notions of program equivalence have been introduced and formally analysed. A particular line of research in this direction aims at s...
Jörg Pührer, Hans Tompits
AI
2008
Springer
15 years 11 months ago
Use of Fuzzy Histograms to Model the Spatial Distribution of Objects in Case-Based Reasoning
Abstract. In the context of the RoboCup Simulation League, we describe a new representation of a software agent’s visual perception (“scene”), well suited for case-based reas...
Alan Davoust, Michael W. Floyd, Babak Esfandiari