1027 search results - page 25 / 206 » Representing and Reasoning with Operational Semantics |
SEMWEB
2007
Springer
14 years 2 months ago
2007
Springer
While the Semantic Web requires a large amount of structured knowledge (triples) to allow machine reasoning, the acquisition of this knowledge still represents an open issue. Indee...
SKG
2005
IEEE
14 years 2 months ago
2005
IEEE
: Fuzzy Cognitive Maps (FCMs) can represent and reason causal knowledge with stronger semantics. And the causal knowledge widely exists in Knowledge Grid. To provide information se...
ACMICEC
2005
ACM
14 years 2 months ago
2005
ACM
In order to capture the full fledge semantic of complicated product data model, the expressive language ALCNHR+ K(D) is introduced. It cannot only be able to represent knowledge a...
ICANN
2009
Springer
14 years 3 months ago
2009
Springer
We propose to model human reasoning tasks using completed logic programs interpreted under the three-valued Lukasiewicz semantics. Given an appropriate immediate consequence operat...
FMCAD
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...