Sciweavers

808 search results - page 70 / 162
» What Is Answer Set Programming
Sort
View
GLOBE
2009
Springer
15 years 6 months ago
Designing, Specifying and Querying Metadata for Virtual Data Integration Systems
Abstract. We show how to specify and use the metadata for a virtual and relational data integration system under the local-as-view (LAV) approach. We use XML and RuleML for represe...
Leopoldo E. Bertossi, Gayathri Jayaraman
110
Voted
AMAI
2006
Springer
15 years 2 months ago
Strong order equivalence
Abstract. Recently, notions of equivalence for Answer Set Programming have been studied intensively and were shown to be beneficial for modular programming and automated optimizati...
Wolfgang Faber, Kathrin Konczak
110
Voted
ESEC
1997
Springer
15 years 6 months ago
A Framework for Classifying and Comparing Architecture Description Languages
Software architectures shift developers’ focus from lines-of-code to coarser-grained architectural elements and their interconnection structure. Architecture description language...
Nenad Medvidovic, Richard N. Taylor
106
Voted
SIGUCCS
2000
ACM
15 years 6 months ago
There is No Such Thing as Free Support
Every campus department needs computer support, from ordering and setting up new computers to installing software and answering software questions. This is in addition to training...
Dianne Brotherson
LPE
1997
15 years 3 months ago
Visualizing Solutions with Viewers
Visualization can be a powerful aid for learning a programming language. It may be used to reinforce central language concepts. In the context of Prolog and CLP-languages, however...
Ulrich Neumerkel, Christoph Rettig, Christian Scha...