316 search results - page 18 / 64 » Extraction of Logical Structure from Articles in Mathematics |
268
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
An object diagram makes explicit the object structures that are only implicit in a class diagram. An object diagram may be missing and must extracted from the code. Alternatively,...
231
click to vote
TOCL
2012
13 years 9 months ago
2012
racting these leads us to introduce the notion of a path object category. This is a relatively simple axiomatic framework, which is nonetheless sufficiently strong to allow the con...
208
click to vote
JACM
2010
15 years 5 months ago
2010
Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge representation: whereas DLs are focused on specifying and reasoning about conceptual...
149
click to vote
DIS
2001
Springer
15 years 11 months ago
2001
Springer
We propose a preprocessing method for Web mining which, given semi-structured documents with the same structure and style, distinguishes useless parts and non-useless parts in each...
175
click to vote
SAINT
2005
IEEE
16 years 5 days ago
2005
IEEE
Inductive Logic Programming (ILP) is a combination of inductive learning and first-order logic aiming to learn first-order hypotheses from training examples. ILP has a serious b...