Sciweavers

2139 search results - page 72 / 428
» Connecting language to the world
Sort
View
DEXAW
2003
IEEE
113views Database» more  DEXAW 2003»
15 years 11 months ago
Integrating Ontology Languages and Answer Set Programming
We integrate ontology languages and logic programming (LP) by extending disjunctive logic programs (DLPs) and their semantics in order to support inverses and an infinite univers...
Stijn Heymans, Dirk Vermeir
EKAW
1994
Springer
15 years 10 months ago
Evaluating a Formal Modelling Language
Formal knowledge modelling languages have a number of advantages over informal languages, such as their precise meaning and the possibility to derive propertiesthrough formal proof...
Fidel Ruiz, Frank van Harmelen, Manfred Aben, Joke...
CORR
2006
Springer
112views Education» more  CORR 2006»
15 years 6 months ago
Perspective alignment in spatial language
It is well known that perspective alignment plays a major role in the planning and interpretation of spatial language. In order to understand the role of perspective alignment and...
Luc Steels, Martin Loetzsch
CP
2000
Springer
15 years 10 months ago
A Language for Audiovisual Template Specification and Recognition
We address the issue of detecting automatically occurrences of high level patterns in audiovisual documents. These patterns correspond to recurring sequences of shots, which are co...
Jean Carrive, Pierre Roy, François Pachet, ...
ICSE
1994
IEEE-ACM
15 years 10 months ago
On Formal Requirements Modeling Languages: RML Revisited
act Research issues related to requirements modeling are introduced and discussed through a review of the requirements modeling language RML, its peers and its successors from the ...
Sol J. Greenspan, John Mylopoulos, Alexander Borgi...