3845 search results - page 644 / 769 » Belief Logic Programming |
172
Voted
ECBS
2007
IEEE
16 years 14 days ago
2007
IEEE
Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based systems....
179
click to vote
FBIT
2007
IEEE
16 years 14 days 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...
135
Voted
FUZZIEEE
2007
IEEE
16 years 14 days 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...
162
Voted
CONCUR
2007
Springer
16 years 9 days 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...
155
click to vote
CP
2007
Springer
16 years 9 days 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...