3691 search results - page 84 / 739 » Bayesian Logic Programs |
107
click to vote
ICLP
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present an integration of answer set programming and constraint processing as an interesting approach to constraint logic programming. Although our research is in a ve...
133
Voted
WILF
2005
Springer
15 years 6 months ago
2005
Springer
Computing methods that allow the efficient and accurate processing of experimentally gathered data play a crucial role in biological research. The aim of this paper is to present a...
117
click to vote
LICS
2003
IEEE
15 years 5 months ago
2003
IEEE
Access control is central to security in computer systems. Over the years, there have been many efforts to explain and to improve access control, sometimes with logical ideas and ...
214
click to vote
POPL
2007
ACM
16 years 28 days ago
2007
ACM
Separation Logic, Ambient Logic and Context Logic are based on a similar style of reasoning about structured data. They each consist of a structural (separating) composition for r...
112
Voted
AI
1999
Springer
15 years 9 days ago
1999
Springer
Forthcoming in the Journal of Aritificial Intelligence We introduce mathematical programming and atomic decomposition as the basic modal (T-Box) inference techniques for a large c...