2106 search results - page 35 / 422 » Operational Semantics for DyLPs |
107
click to vote
ECAI
1990
Springer
15 years 6 months ago
1990
Springer
Modal logics based on Kripke style semantics are the prominent formalismin AI for modeling beliefs. Kripke semantics involve a collection of possible worlds and a relation among t...
138
click to vote
UML
2000
Springer
15 years 5 months ago
2000
Springer
The UML's Object Constraint Language provides the modeller of object-oriented systems with ways to express the semantics of a model in a precise and declarative manner. The co...
ISCA
1991
IEEE
15 years 5 months ago
1991
IEEE
This paper describes a parallel associative processor, IXM2, developed mainly for semantic network processing. IXM2 consists of 64 associative processors and 9 network processors,...
LREC
2008
15 years 3 months ago
2008
The paper describes the project held within Russian National Corpus (http://www.ruscorpora.ru). Beside such obligatory constituents of a linguistic corpus as POS (parts of speech)...
113
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...