Results 241 to 250 of about 1,522 (259)
Some of the next articles are maybe not open access.
Weighted graphs : A tool for logic programming
1986Unfoldings of oriented graphs generate infinite trees that we generalize by weighting arrows of these graphs. Indexes along a branch are added during unfoldings and the result indexes variables. We study formal properties of these graphs (substitution, equivalence, unification, ...).
Philippe Devienne, Patrick Lebègue
openaire +1 more source
Weighted Automata and Logics on Infinite Graphs
2016We show a Buchi-like connection between graph automata and logics for infinite graphs. Using valuation monoids, a very general weight structure able to model computations like average or discounting, we extend this result to the quantitative setting.
openaire +1 more source
Weighted Multi Dimensional Logic Programs
2004In a previous work we introduced a logical framework suitable to formalize structures of epistemic agents. Such a framework is based on the notion of weighted directed acyclic graphs (WDAGs) that allow one to assign a measure of strength to the knowledge relationships represented by the edges.
openaire +1 more source
WEIGHTED AUTOMATA AND QUANTITATIVE LOGICS
Quantitative Logic and Soft Computing, 2012openaire +1 more source
Definable transductions and weighted logics for texts
Theoretical Computer Science, 2010Christian Mathissen
exaly
A fuzzy reasoning approach for rule-based systems based on fuzzy logics
IEEE Transactions on Systems, Man, and Cybernetics, 1996Shyi-Ming Chen
exaly
Weighted automata and weighted logics with discounting
Theoretical Computer Science, 2009George Rahonis
exaly
Weighted automata and multi-valued logics over arbitrary bounded lattices
Theoretical Computer Science, 2012Heiko Vogler
exaly