2395 search results - page 148 / 479 » Reasoning in Semantic Wikis |
120
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
This paper proposes dynamic semantics for agent communication languages (ACLs) as a method for tackling some of the fundamental problems associated with agent communication in ope...
134
Voted
AAAI
1998
15 years 6 months ago
1998
Unit resolution is arguably the most useful known algorithm for tractable reasoning in propositional logic. Intuitively, if one knows a, b, and a b c, then c should be an obviou...
156
click to vote
WS
2008
ACM
15 years 4 months ago
2008
ACM
Ontologies play a crucial role in the development of the Semantic Web as a means for defining shared terms in web resources. They are formulated in web ontology languages, which a...
152
click to vote
ACL
2009
15 years 2 months ago
2009
In Semantic Role Labeling (SRL), it is reasonable to globally assign semantic roles due to strong dependencies among arguments. Some relations between arguments significantly char...
124
click to vote
CSL
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capt...