1269 search results - page 155 / 254 » Pi-Calculus in Logical Form |
189
click to vote
ELP
1991
15 years 9 months ago
1991
Operational semantics provide a simple, high-level and elegant means of specifying interpreters for programming languages. In natural semantics, a form of operational semantics, p...
136
Voted
DLOG
2007
15 years 7 months ago
2007
In this paper we deal with the problem of providing natural language front-ends to databases upon which an ontology layer has been added. Specifically, we are interested in expres...
155
click to vote
FLAIRS
2007
15 years 7 months ago
2007
We describe an architecture for representing and managing context shifts that supports dynamic data interpretation. This architecture utilizes two layers of learning and three lay...
138
click to vote
COMMA
2008
15 years 7 months ago
2008
Abstract Classical propositional logic is an appealing option for modelling argumentation but the computational viability of generating an argument is an issue. Here we propose ame...
162
click to vote
OWLED
2007
15 years 6 months ago
2007
: The mathematical nature of description logics has meant that domain experts find it hard to understand. This forms a significant impediment to the creation and adoption of ontolo...