10666 search results - page 1385 / 2134 » Quantum programming languages |
172
click to vote
AUSAI
2005
Springer
16 years 1 months ago
2005
Springer
We are interested in programming languages for cognitive agents with preferences. We define rule-based agent theories and inference procedures in defeasible logic, and in this set...
218
click to vote
CCS
2005
ACM
16 years 29 days ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
183
click to vote
CP
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. This article presents a database of about 200 graph invariants for deriving systematically necessary conditions from the graph properties based representation of global c...
210
click to vote
CP
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. This report presents a basic scheme for deriving systematically a filtering algorithm from the graph properties based representation of global constraints. This scheme i...
138
click to vote
CP
2005
Springer
16 years 29 days ago
2005
Springer
We present a new and more efficient heuristic by restricting lookahead saturation (LAS) with NVO (neighbourhood variable ordering) and DEW (dynamic equality weighting). We report o...