Sciweavers

813 search results - page 114 / 163
» The Spatial Semantic Hierarchy
Sort
View
NMR
2004
Springer
14 years 1 months ago
On acyclic and head-cycle free nested logic programs
We define the class of head-cycle free nested logic programs, and its proper subclass of acyclic nested programs, generalising similar classes originally defined for disjunctive...
Thomas Linke, Hans Tompits, Stefan Woltran
LPNMR
2001
Springer
14 years 2 days ago
Multi-dimensional Dynamic Knowledge Representation
Abstract. According to Dynamic Logic Programming (DLP), knowledge may be given by a sequence of theories (encoded as logic programs) representing different states of knowledge. Th...
João Alexandre Leite, José Jú...
AGP
1995
IEEE
13 years 11 months ago
Constraint Systems for Pattern Analysis of Constraint Logic-Based Languages
Pattern analysis consists in determining the shape of the set of solutions of the constraint store at some program points. Our basic claim is that pattern analyses can all be desc...
Roberto Bagnara
LREC
2008
132views Education» more  LREC 2008»
13 years 9 months ago
Complete and Consistent Annotation of WordNet using the Top Concept Ontology
This paper presents the complete and consistent ontological annotation of the nominal part of WordNet. The annotation has been carried out using the semantic features defined in t...
Javier Álvez, Jordi Atserias, Jordi Carrera...
ANLP
1992
126views more  ANLP 1992»
13 years 8 months ago
Overview of Natural Language Processing of Captions for Retrieving Multimedia Data
This paper briefly describes the current implementation status of an intelligent information retrieval system, MARIE, that employs natural language processing techniques. Descript...
Eugene J. Guglielmo, Neil C. Rowe