2138 search results - page 143 / 428 » Logics for the Relational Syllogistic |
ILP
1998
Springer
14 years 11 days 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...
ICCAD
1997
IEEE
14 years 11 days ago
1997
IEEE
We present a novel method for state minimization of incompletely-specified finite state machines. Where classic methods simply minimize the number of states, ours directly addre...
TARK
1998
Springer
14 years 11 days ago
1998
Springer
We study the dynamics of information change, using modal logic as a vehicle. Our semantic perspective is that of a supermodel in which a state represents some agent's informa...
CSL
1997
Springer
14 years 9 days ago
1997
Springer
Abstract. Milner introduced action calculi as a framework for investigating models of interactive behaviour. We present a type-theoretic account of action calculi using the proposi...
EUSFLAT
2007
13 years 9 months ago
2007
We investigate interpretations ψ D of formulas ψ in a first order fuzzy logic in models D which are based on Ω-sets, i.e. sets with similarity relations with values in a comp...