12459 search results - page 199 / 2492 » cans 2006 |
113
Voted
CSL
2006
Springer
15 years 8 months ago
2006
Springer
We introduce a new class of multiplicative proof nets, J-proof nets, which are a typed version of Faggian and Maurel's multiplicative L-nets. In J-proof nets, we can character...
149
click to vote
DALT
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. This paper presents two approaches for generating and executing the plans of cognitive agents. They can be used to define the semantics of programming languages for cogni...
124
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
Minimally unsatisfiable subformulas (in short, MUSes) represent the smallest explanations for the inconsistency of SAT instances in terms of the number of involved clauses. Extract...
143
click to vote
ESWS
2006
Springer
15 years 8 months ago
2006
Springer
In this paper we present a MOF compliant metamodel and UML profile for the Semantic Web Rule Language (SWRL) that integrates with our previous work on a metamodel and UML profile f...
137
click to vote
EUROCRYPT
2006
Springer
15 years 8 months ago
2006
Springer
We show that oblivious transfer of bits from A to B can be obtained from a single instance of the same primitive from B to A. Our reduction is perfect and shows that oblivious tran...