Sciweavers

2501 search results - page 19 / 501
» Logics with Rank Operators
Sort
View
154
Voted
ILP
2004
Springer
15 years 8 months ago
Macro-Operators Revisited in Inductive Logic Programming
For the last ten years a lot of work has been devoted to propositionalization techniques in relational learning. These techniques change the representation of relational problems t...
Érick Alphonse
LICS
1999
IEEE
15 years 7 months ago
Logics with Aggregate Operators
Lauri Hella, Leonid Libkin, Juha Nurmonen, Limsoon...
107
Voted
ENTCS
2007
95views more  ENTCS 2007»
15 years 2 months ago
A Rewriting Logic Approach to Operational Semantics (Extended Abstract)
Traian-Florin Serbanuta, Grigore Rosu, José...