4382 search results - page 550 / 877 » Query by Semantic Example |
137
click to vote
AAAI
2008
15 years 6 months ago
2008
We formulate loop formulas for logic programs with arbitrary constraint atoms, for the semantics based on conditional satisfaction. This provides a method for answer set computati...
131
click to vote
FLAIRS
2008
15 years 6 months ago
2008
The paper discusses a proposal of a formal description of ARD+ a conceptual design and hierarchical refinement method for knowledge-based systems. Formalization of method syntax i...
168
click to vote
DILS
2008
Springer
15 years 5 months ago
2008
Springer
The open, decentralized nature of the Semantic Web demands fundamental changes in our approach to ontology development and deployment. To maximize the expressiveness and robustnes...
130
click to vote
AGI
2008
15 years 5 months ago
2008
One approach in pursuit of general intelligent agents has been to concentrate on the underlying cognitive architecture, of which Soar is a prime example. In the past, Soar has reli...
117
click to vote
LREC
2010
15 years 5 months ago
2010
The paper presents an innovative approach to extract Slovene definition candidates from domain-specific corpora using morphosyntactic patterns, automatic terminology recognition a...