1137 search results - page 88 / 228 » Knowledge Representation with Logic Programs |
108
click to vote
SEMWEB
2009
Springer
15 years 9 months ago
2009
Springer
Traditional object-oriented programming languages can be difficult to use when working with ontologies, leading to the creation of domain-specific languages designed specifically...
154
Voted
OPODIS
2003
15 years 3 months ago
2003
Detecting whether a finite execution trace (or a computation) of a distributed program satisfies a given predicate, called predicate detection, is a fundamental problem in distr...
120
click to vote
DLOG
1997
15 years 3 months ago
1997
Our project aims at the automatic generation of multilingual text for product maintenance and documentation from a structured knowledge representation formalized by means of plans...
163
click to vote
IADIS
2004
15 years 3 months ago
2004
OWL DL, being established by W3C, is a Knowledge Representation Markup Language for the Semantic Web. OWL DL is a new synthesis of research on KRML for the Semantic Web, which nee...
129
click to vote
WLP
2000
Springer
15 years 6 months ago
2000
Springer
Attempto Controlled English (ACE) is a controlled natural language, i.e. a precisely defined subset of English that can automatically and unambiguously be translated into first-ord...