1027 search results - page 58 / 206 » Representing and Reasoning with Operational Semantics |
113
Voted
ILP
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. We present a logical approach to graph theoretical learning that is based on using alphabetic substitutions for modelling graph morphisms. A classi ed graph is represente...
102
Voted
AAAI
2008
15 years 1 months ago
2008
We design a representation based on the situation calculus to facilitate development, maintenance and elaboration of very large taxonomies of actions. This representation leads to...
123
Voted
WS
2008
ACM
15 years 15 days 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...
SCAM
2006
IEEE
15 years 6 months ago
2006
IEEE
Transformations of numerical source code may require the augmentation of the original variables with new data to represent additional data the transformed program operates on. Aut...
92
Voted
CALCO
2009
Springer
15 years 7 months ago
2009
Springer
The operational semantics of interactive systems is usually described by labeled transition systems. Abstract semantics (that is defined in terms of bisimilarity) is characterized...