3446 search results - page 278 / 690 » A Reasoning Algorithm for pD* |
218
click to vote
LPAR
2007
Springer
16 years 21 days ago
2007
Springer
Proof nets are a parallel syntax for sequential proofs of linear logic, firstly introduced by Girard in 1987. Here we present and intrinsic (geometrical) characterization of proof...
171
click to vote
WECWIS
2006
IEEE
16 years 17 days ago
2006
IEEE
This paper describes a software solution for the WSChallenge 2006. We introduce the MOVE framework that has been applied to this challenge. Also, the architecture, algorithms, and...
204
click to vote
ASP
2005
Springer
16 years 3 days ago
2005
Springer
This paper outlines a novel approach to the computation of answer sets in an evolving and interactive environment. Instead of recomputing the semantics of the entire program, our a...
137
click to vote
ECSQARU
2005
Springer
16 years 2 days ago
2005
Springer
We describe an algorithm to build a graphical model—more precisely: a join tree representation of a Markov network—for a steady state analog electrical circuit. This model can ...
139
click to vote
EUROCAST
2005
Springer
16 years 2 days ago
2005
Springer
The Fuzzy Constraint Networks model, a generalization of the Disjunctive Temporal Fuzzy Constraint Networks, is a framework that allows representing and reasoning with fuzzy qualit...