Sciweavers

352 search results - page 42 / 71
» The Structure of First-Order Causality
Sort
View
LICS
2005
IEEE
14 years 1 months ago
Relations in Concurrency
The theme of this paper is profunctors, and their centrality and ubiquity in understanding concurrent computation. Profunctors (a.k.a. distributors, or bimodules) are a generalisa...
Glynn Winskel
ISMDA
2001
Springer
14 years 3 days ago
Learning Bayesian-Network Topologies in Realistic Medical Domains
In recent years, a number of algorithms have been developed for learning the structure of Bayesian networks from data. In this paper we apply some of these algorithms to a realist...
Xiaofeng Wu, Peter J. F. Lucas, Susan Kerr, Roelf ...
NIPS
1997
13 years 9 months ago
Nonlinear Markov Networks for Continuous Variables
We address the problem of learning structure in nonlinear Markov networks with continuous variables. This can be viewed as non-Gaussian multidimensional density estimation exploit...
Reimar Hofmann, Volker Tresp
AIIA
2007
Springer
13 years 9 months ago
Similarity-Guided Clause Generalization
Few works are available in the literature to define similarity criteria between First-Order Logic formulæ, where the presence of relations causes various portions of one descript...
Stefano Ferilli, Teresa Maria Altomare Basile, Nic...
AAAI
2008
13 years 10 months ago
Fast Planning by Search in Domain Transition Graph
Recent advances in classical planning have used the SAS+ formalism, and several effective heuristics have been developed based on the SAS+ formalism. Comparing to the traditional ...
Yixin Chen, Ruoyun Huang, Weixiong Zhang