5451 search results - page 198 / 1091 » Typed Operational Semantics |
128
click to vote
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper presents the syntax and semantics of a simplified version of a logic-based agent-oriented programming language to implement agents with emotions. Four types of...
135
click to vote
LOPSTR
2009
Springer
15 years 10 months ago
2009
Springer
We propose a new grouping operator for logic programs based on the group_by operator of SQL. The novelty of our proposal lies in the use of modes, which allows us to relax some rat...
120
click to vote
IAT
2009
IEEE
15 years 10 months ago
2009
IEEE
—The paper extends the traditional browser concept with a Semantic Web tailored faceted browser thus providing integrated end-user grade support for both legacy Web and Semantic ...
109
Voted
LREC
2008
15 years 5 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)...
135
click to vote
CORR
2010
Springer
15 years 4 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...