4370 search results - page 401 / 874 » Algebra of Logic Programming |
133
click to vote
ILP
2000
Springer
15 years 7 months ago
2000
Springer
A method for learning multivariate time series classifiers by inductive logic programming is presented. Two types of background predicate that are suited for this task are introduc...
149
click to vote
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The deployment of KR formalisms to the Web has created the need for formalisms that combine heterogeneous knowledge bases. Nonmonotonic dl-programs provide a loose integr...
129
click to vote
TACAS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Intermediate languages are a paradigm to separate concerns in software verification systems when bridging the gap between programming languages and the logics understood ...
141
click to vote
FUIN
2010
15 years 22 days ago
2010
In this paper we present the IDUM system, a successful application of logic programming to e-tourism. IDUM exploits two technologies that are based on the state-of-the-art ASP syst...
121
Voted
ICLP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes a static region analysis...