Sciweavers

2501 search results - page 19 / 501
» Logics with Rank Operators
Sort
View
ILP
2004
Springer
15 years 4 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
65
Voted
LICS
1999
IEEE
15 years 3 months ago
Logics with Aggregate Operators
Lauri Hella, Leonid Libkin, Juha Nurmonen, Limsoon...
70
Voted
ENTCS
2007
95views more  ENTCS 2007»
14 years 11 months ago
A Rewriting Logic Approach to Operational Semantics (Extended Abstract)
Traian-Florin Serbanuta, Grigore Rosu, José...