Sciweavers

713 search results - page 70 / 143
» Syntax and Semantics of Babel-17
Sort
View
107
Voted
COOPIS
2003
IEEE
15 years 6 months ago
Ontology Translation on the Semantic Web
Ontologies as means for formally specifying the vocabulary and relationship of concepts are seen playing a key role on the Semantic Web. However, the Web’s distributed nature mak...
Dejing Dou, Drew V. McDermott, Peishen Qi
JELIA
2004
Springer
15 years 6 months ago
Logic Programs with Functions and Default Values
In this work we reconsider the replacement of predicate-like notation by functional terms, using a similar syntax to Functional Logic Programming, but under a completely different...
Pedro Cabalar, David Lorenzo
IEE
2008
116views more  IEE 2008»
15 years 22 days ago
Evaluating formal properties of feature diagram languages
: Feature diagrams (FDs) are a family of popular modelling languages, mainly used for managing variability in software product lines. FDs were first introduced by Kang et al. as pa...
Patrick Heymans, Pierre-Yves Schobbens, Jean-Chris...
CORR
1998
Springer
126views Education» more  CORR 1998»
15 years 11 days ago
Stable models and an alternative logic programming paradigm
In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least Herbrand model approach to Horn programs. We demonstrate ...
Victor W. Marek, Miroslaw Truszczynski
98
Voted
COLING
2010
14 years 7 months ago
Chinese Frame Identification using T-CRF Model
As one of the important tasks of SemEval Evaluation, Frame Semantic Structure Extraction based on the FrameNet has received much more attention in NLP field. This task is often di...
Ru Li, Haijing Liu, Shuanghong Li