2911 search results - page 84 / 583 » A Logic of Graph Constraints |
104
click to vote
MLG
2007
Springer
15 years 6 months ago
2007
Springer
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...
101
click to vote
ETAI
2000
15 years 11 days ago
2000
Stochastic logic programs combine ideas from probabilistic grammars with the expressive power of definite clause logic; as such they can be considered as an extension of probabili...
109
click to vote
VLSID
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract— This paper introduces a fuzzy logic based guidance architecture to a graph grammar framework for automated design of analog circuits. The grammar generates circuit topo...
115
Voted
CADE
2010
Springer
15 years 1 months ago
2010
Springer
We consider security properties of cryptographic protocols, that are either trace properties (such as confidentiality or authenticity) or equivalence properties (such as anonymity ...
137
Voted
LICS
2012
IEEE
13 years 3 months ago
2012
IEEE
Abstract—We investigate some basic questions about the interaction of regular and rational relations on words. The primary motivation comes from the study of logics for querying ...