4370 search results - page 748 / 874 » Algebra of Logic Programming |
141
Voted
FBIT
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper describes a decision tree model and 3dimensional representation of information retrieved from various weblogs in relation to argumentative logics. The weblogs are consi...
94
Voted
FUZZIEEE
2007
IEEE
15 years 9 months ago
2007
IEEE
—This paper describes a Java-based graphical user interface to a large number of data analysis programs the first author has written in C over the years. In addition, this toolb...
125
Voted
CONCUR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
119
click to vote
CP
2007
Springer
15 years 8 months ago
2007
Springer
Finite domain propagation solvers effectively represent the possible values of variables by a set of choices which can be naturally modelled as Boolean variables. In this paper we...
162
Voted
ILP
2007
Springer
15 years 8 months ago
2007
Springer
Statistical Relational Learning (SRL) combines the benefits of probabilistic machine learning approaches with complex, structured domains from Inductive Logic Programming (ILP). W...