1027 search results - page 77 / 206 » Representing and Reasoning with Operational Semantics |
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. This paper presents an implementation of (a simplified version of) the cognitive agent programming language 3APL in the Maude term rewriting language. Maude is based on t...
82
Voted
CADE
2008
Springer
16 years 1 months ago
2008
Springer
Bit vectors and bit operations are proposed for efficient propositional inference. Bit arithmetic has efficient software and hardware implementations, which can be put to advantage...
105
Voted
TIME
2008
IEEE
15 years 7 months ago
2008
IEEE
We tackle the issue of representing infinite sets of realvalued vectors. This paper introduces an operator for combining integer and real sets. Using this operator, we decompose ...
112
Voted
IAT
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper we introduce a theory of meta-argumentation, by using Dung’s theory of abstract argumentation to reason about itself. Metaarguments are generated from atomic argum...
123
click to vote
IS
2006
15 years 24 days ago
2006
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...