Sciweavers

2920 search results - page 188 / 584
» Finite information logic
Sort
View
BIBE
2007
IEEE
113views Bioinformatics» more  BIBE 2007»
16 years 29 days ago
Quantitative and Probabilistic Modeling in Pathway Logic
—This paper presents a study of possible extensions of Pathway Logic to represent and reason about semiquantitative and probabilistic aspects of biological processes. The underly...
Alessandro Abate, Yu Bai, Nathalie Sznajder, Carol...
MLG
2007
Springer
16 years 22 days ago
Graphs, Hypergraphs, and Inductive Logic Programming
Abstract. There are many connections between graph mining and inductive logic programming (ILP), or more generally relational learning. Up till now these connections have mostly be...
Hendrik Blockeel, Tijn Witsenburg, Joost N. Kok
XSYM
2005
Springer
107views Database» more  XSYM 2005»
16 years 2 days ago
Logic Wrappers and XSLT Transformations for Tuples Extraction from HTML
Abstract. Recently it was shown that existing general-purpose inductive logic programming systems are useful for learning wrappers (known as L-wrappers) to extract data from HTML d...
Costin Badica, Amelia Badica
MKM
2004
Springer
15 years 12 months ago
Predicate Logic with Sequence Variables and Sequence Function Symbols
We describe an extension of first-order logic with sequence variables and sequence functions. We define syntax, semantics and inference system for the extension so that Completen...
Temur Kutsia, Bruno Buchberger
LOPSTR
1994
Springer
15 years 10 months ago
Using Call/Exit Analysis for Logic Program Transformation
A technique for transformation of definite logic programs is presented. A first phase performs an analysis of the extended call/exit patterns of the source program. It is shown tha...
Dmitri Boulanger, Maurice Bruynooghe