Sciweavers

3634 search results - page 442 / 727
» The Field Representation Language
Sort
View
ICLP
2007
Springer
16 years 22 days ago
Advanced Techniques for Answer Set Programming
Abstract. Theoretical foundations and practical realizations of answer set solving techniques are vital research issues. The challenge lies in combining the elevated modeling capac...
Martin Gebser
ATAL
2005
Springer
16 years 4 days ago
Exploiting a sensed environment to improve human-agent communication
This paper describes an implemented robotic agent architecture in which the environment, as sensed by the agent, is used to guide the recognition of spoken and gestural directives...
Shana Watters, Tim Miller, Praveen Balachandran, W...
FOSSACS
2005
Springer
16 years 3 days ago
Third-Order Idealized Algol with Iteration Is Decidable
The problems of contextual equivalence and approximation are studied for the third-order fragment of Idealized Algol with iteration (IA∗ 3). They are approached via a combination...
Andrzej S. Murawski, Igor Walukiewicz
GPCE
2005
Springer
16 years 3 days ago
Mapping Features to Models: A Template Approach Based on Superimposed Variants
Although a feature model can represent commonalities and variabilities in a very concise taxonomic form, features in a feature model are merely symbols. Mapping features to other m...
Krzysztof Czarnecki, Michal Antkiewicz
RULEML
2005
Springer
16 years 2 days ago
Merging and Aligning Ontologies in dl-Programs
Abstract. The language of dl-programs is a latest effort in developing an expressive representation for Web-based ontologies. It allows to build answer set programming (ASP) on top...
Kewen Wang, Grigoris Antoniou, Rodney W. Topor, Ab...