1027 search results - page 33 / 206 » Representing and Reasoning with Operational Semantics |
115
click to vote
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
- Ontology engineering has been proposed as a formal mechanism for both reducing the complexity of managing the information needed in network management and autonomic systems and f...
117
click to vote
ASP
2001
Springer
15 years 5 months ago
2001
Springer
Default Logic and Logic Programming with stable model semantics are recognized as powerful frameworks for incomplete information representation. Their expressive power are suitabl...
128
Voted
ICEIS
2010
IEEE
14 years 10 months ago
2010
IEEE
This paper presents a graph-based knowledge representation and reasoning language. This language benefits from an important syntactic operation, which is called a graph homomorphi...
97
Voted
PPSWR
2004
Springer
15 years 6 months ago
2004
Springer
To make use of data represented on the Semantic Web, it is necessary to provide languages for Web data retrieval and evolution. This article introduces into the (conventional and S...
142
Voted
JLP
2010
14 years 7 months ago
2010
The aim of the paper is to give a formal compositional semantics for Spiking Neural P systems (SNP systems) by following the Structural Operational Semantics (SOS) approach. A pro...