1027 search results - page 25 / 206 » Representing and Reasoning with Operational Semantics |
138
click to vote
SEMWEB
2007
Springer
15 years 10 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...
162
click to vote
SKG
2005
IEEE
15 years 9 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...
152
click to vote
ACMICEC
2005
ACM
15 years 9 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...
124
click to vote
ICANN
2009
Springer
15 years 10 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...
150
click to vote
FMCAD
2004
Springer
15 years 9 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...