3566 search results - page 280 / 714 » Signed Logic Programs |
116
click to vote
ECRTS
1999
IEEE
15 years 7 months ago
1999
IEEE
We give timed automaton models for a class of Programmable Logic Controller (PLC) applications, that are programmed in a simple fragment of the language Instruction Lists as defin...
130
click to vote
ILP
2000
Springer
15 years 6 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...
148
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...
125
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 17 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...