3970 search results - page 563 / 794 » A Logic For Causal Reasoning |
205
click to vote
ILP
2007
Springer
16 years 23 days ago
2007
Springer
We describe an application of inductive logic programming to transfer learning. Transfer learning is the use of knowledge learned in a source task to improve learning in a related ...
168
click to vote
LICS
2005
IEEE
16 years 6 days ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemā...
198
click to vote
TPHOL
2005
IEEE
16 years 6 days ago
2005
IEEE
The nominal approach to abstract syntax deals with the issues of bound names and Ī±-equivalence by considering constructions and properties that are invariant with respect to permu...
183
click to vote
LPAR
2004
Springer
15 years 12 months ago
2004
Springer
Resolution-based calculi are among the most widely used calculi for theorem proving in ļ¬rst-order logic. Numerous reļ¬nements of resolution are nowadays available, such as e.g. ...
162
click to vote
SEMWEB
2004
Springer
15 years 12 months ago
2004
Springer
Both OWL-DL and function-free Horn rules3 are decidable logics with interesting, yet orthogonal expressive power: from the rules perspective, OWL-DL is restricted to tree-like rule...