2395 search results - page 170 / 479 » Reasoning in Semantic Wikis |
182
click to vote
JELIA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Many logics for AI applications that are defined by denotational semantics are trivialized in the presence of inconsistency. It is therefore often desirable, and practic...
199
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
RDF(S) and OWL 2 currently support only static ontologies. In practice, however, the truth of statements often changes with time, and Semantic Web applications often need to repres...
191
click to vote
CCIA
2010
Springer
15 years 1 months ago
2010
Springer
Extension-based argumentation semantics have shown to be a suitable approach for performing practical reasoning. An important concern in extensionbased-argumentation semantics is t...
164
click to vote
TPHOL
2009
IEEE
16 years 27 days ago
2009
IEEE
Abstract. We present a Coq formalization of constructive ω-cpos (extending earlier work by Paulin-Mohring) up to and including the inverselimit construction of solutions to mixed-...
134
click to vote
LICS
2006
IEEE
16 years 8 days ago
2006
IEEE
We give a semantic characterization of bounded complexity proofs. We introduce the notion of obsessional clique in the relational model of linear logic and show that restricting t...