2395 search results - page 398 / 479 » Reasoning in Semantic Wikis |
AGP
2003
IEEE
14 years 3 months ago
2003
IEEE
Disjunctive Logic Programming (DLP) under the consistent answer set semantics is an advanced formalism for knowledge representation and reasoning. It is, under widely believed assu...
MM
2009
ACM
2009
ACM
Distance metric learning from uncertain side information with application to automated photo tagging
14 years 2 months ago
Automated photo tagging is essential to make massive unlabeled photos searchable by text search engines. Conventional image annotation approaches, though working reasonably well o...
KBSE
1999
IEEE
14 years 2 months ago
1999
IEEE
The language AML is used to specify the semantics of architecture description languages, ADLs. It is a very primitive language, having declarations for only three constructs: elem...
ICCS
1999
Springer
14 years 2 months ago
1999
Springer
Conceptual Graphs and Formal Concept Analysis have in common basic concerns: the focus on conceptual structures, the use of diagrams for supporting communication, the orientation b...
ATAL
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. This paper presents an implementation of (a simplified version of) the cognitive agent programming language 3APL in the Maude term rewriting language. Maude is based on t...