4126 search results - page 40 / 826 » Set based logic programming |
183
click to vote
ERCIMDL
2007
Springer
16 years 3 days ago
2007
Springer
Annotations are an important part in today’s digital libraries and Web information systems as an instrument for interactive knowledge creation. Annotation-based document retrieva...
163
click to vote
CLIMA
2004
15 years 7 months ago
2004
Communication plays a fundamental role in multi-agents systems. One of the main issues in the design of agent interaction protocols is the verification that a given protocol implem...
179
click to vote
ENTCS
2006
15 years 6 months ago
2006
Parkinson, Bornat, and Calcagno recently introduced a logic for partial correctness in which program variables are treated as resource, generalizing earlier work based on separati...
178
click to vote
JAR
2010
15 years 23 days ago
2010
Nominal logic is a variant of first-order logic with special facilities for reasoning about names and binding based on the underlying concepts of swapping and freshness. It serves ...