8228 search results - page 233 / 1646 » Structural Logical Relations |
150
click to vote
AICOM
2006
15 years 5 months ago
2006
This paper presents an overview of recent systems for Inductive Logic Programming (ILP). After a short description of the two popular ILP systems FOIL and Progol, we focus on meth...
126
click to vote
CHI
2011
ACM
14 years 8 months ago
2011
ACM
A key feature of relational database applications is managing plural relationships—one-to-many and many-to-many— between entities. However, since it is often infeasible to ado...
172
click to vote
CMSB
2007
Springer
15 years 11 months ago
2007
Springer
For modeling and analyzing regulatory networks based on qualitative information and possibly additional temporal constraints, approaches using hybrid automata can be very helpful. ...
157
click to vote
TPHOL
1998
IEEE
15 years 9 months ago
1998
IEEE
We show how extensible records with structural subtyping can be represented directly in Higher-Order Logic (HOL). Exploiting some specific properties of HOL, this encoding turns o...
122
click to vote
IFIPTCS
2000
15 years 8 months ago
2000
Abstract The sos formats ensuring that bisimilarity is a congruence often fail in the presence of structural axioms on the algebra of states. Dynamic bisimulation, introduced to ch...