1137 search results - page 139 / 228 » Knowledge Representation with Logic Programs |
JAR
2007
13 years 9 months ago
2007
We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to u...
IROS
2008
IEEE
14 years 3 months ago
2008
IEEE
— We present a probabilistic architecture for solving generically the problem of extracting the task constraints through a Programming by Demonstration (PbD) framework and for ge...
WWW
2004
ACM
14 years 9 months ago
2004
ACM
In the semantic web architecture, Web ontology languages are built on top of RDF(S). However, serious difficulties have arisen when trying to layer expressive ontology languages, ...
CAISE
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. ID-Logic is a knowledge representation language that extends first-order logic with non-monotone inductive definitions. This paper introduces an ID-Logic based framewor...
ACMICEC
2006
ACM
2006
ACM
A semantic-based fully visual application for matchmaking and query refinement in B2C e-marketplaces
14 years 23 days ago
This paper presents a visual application in the framework of semantic-enabled e-marketplaces aimed at fully exploiting semantics of supply/demand descriptions in B2C and C2C e-mar...