Sciweavers

484 search results - page 64 / 97
» Structured Hypertext with Domain Semantics
Sort
View
IJCAI
2007
13 years 9 months ago
A Fully Connectionist Model Generator for Covered First-Order Logic Programs
We present a fully connectionist system for the learning of first-order logic programs and the generation of corresponding models: Given a program and a set of training examples,...
Sebastian Bader, Pascal Hitzler, Steffen Höll...
POPL
2012
ACM
12 years 3 months ago
Algebraic foundations for effect-dependent optimisations
We present a general theory of Gifford-style type and effect annotations, where effect annotations are sets of effects. Generality is achieved by recourse to the theory of algebra...
Ohad Kammar, Gordon D. Plotkin
ISOLA
2007
Springer
14 years 1 months ago
Using Analogy to Promote Conceptual Modeling Reuse
Abstract. This paper argues in favor of a database conceptual schema and Semantic Web ontology design discipline that explores analogy mappings to reuse the structure and integrity...
Karin Koogan Breitman, Simone Diniz Junqueira Barb...
IJCAT
2010
93views more  IJCAT 2010»
13 years 6 months ago
FAETON: Form Analysis and Extraction Tool for ONtology construction
Abstract: This paper presents a method for semi-automatically building tailored application ontologies from a set of data acquisition forms. Such ontologies are intended to facilit...
Rafael Berlanga Llavori, Ernesto Jiménez-Ru...
ACL
1990
13 years 8 months ago
Licensing and Tree Adjoining Grammar in Government Binding Parsing
This paper presents an implemented, psychologicallyplausible parsing model for Government Binding theory grammars. I make use of two main ideas: (1) a generalization of the licens...
Robert Frank