4126 search results - page 40 / 826 » Set based logic programming |
138
Voted
ERCIMDL
2007
Springer
15 years 8 months 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...
121
Voted
CLIMA
2004
15 years 3 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...
106
Voted
WILF
2009
Springer
15 years 8 months ago
2009
Springer
137
Voted
ENTCS
2006
15 years 2 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...
135
Voted
JAR
2010
14 years 9 months 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 ...