381 search results - page 25 / 77 » Two-Variable Logic with Two Order Relations - (Extended Abst... |
106
click to vote
ILP
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. Inductive Logic Programming (ILP) has been applied to discover rules governing the three-dimensional topology of protein structure. The data-set unifies two sources of in...
105
click to vote
CONCUR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
110
click to vote
CLIMA
2004
15 years 2 months ago
2004
Abstract. Multidimensional dynamic logic programs (MDLPs) are suitable to represent knowledge dynamic in time, or more generally, information coming from various sources, partially...
122
click to vote
JANCL
2007
15 years 1 months ago
2007
ABSTRACT. Statements not only update our current knowledge, but also have other dynamic effects. In particular, suggestions or commands ‘upgrade’ our preferences by changing th...
102
click to vote
EJC
2010
15 years 1 months ago
2010
Abstract. In this paper we study dualities of graphs and, more generally, relational structures with respect to full homomorphisms, that is, mappings that are both edge- and non-ed...