740 search results - page 74 / 148 » Open Answer Set Programming with Guarded Programs |
116
click to vote
CP
2003
Springer
15 years 7 months ago
2003
Springer
Constraint satisfaction has been applied with great success in closed-world scenarios, where all options and constraints are known from the beginning and fixed. With the internet,...
122
click to vote
ITS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Intelligent tutoring systems are quite difficult and time intensive to develop. In this paper, we describe a method and set of software tools that ease the process of cog...
99
Voted
AGILEDC
2003
IEEE
15 years 7 months ago
2003
IEEE
YP is an agile programming methodology that has evolved over the past 15 years. Many of its features are common to other agile methodologies; its novel features include using a hi...
VMCAI
2007
Springer
15 years 8 months ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...
112
click to vote
GLOBE
2009
Springer
15 years 6 months ago
2009
Springer
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...