1151 search results - page 114 / 231 » Collaborative Programming: Applications of Logic and Automat... |
127
Voted
JSS
2008
15 years 3 months ago
2008
Service-based systems are distributed computing systems with the major advantage of enabling rapid composition of distributed applications, such as collaborative research and deve...
129
Voted
KR
2004
Springer
15 years 9 months ago
2004
Springer
Simple Conceptual Graphs (SGs) are used to represent entities and relations between these entities: they can be translated into positive, conjunctive, existential first-order log...
107
Voted
BIRTHDAY
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We present a succinct account of dynamic rippling, a technique used to guide the automation of inductive proofs. This simplifies termination proofs for rippling and hence...
146
Voted
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Abstract. Conjunctive query answering plays a prominent role in applications of description logics (DLs) that involve instance data, but its exact complexity was a long-standing op...
167
Voted
MCMASTER
1993
15 years 7 months ago
1993
Abstract. This survey of the theory and applications of rewriting with equations discusses the existence and uniqueness of normal forms, the Knuth-Bendix completion procedure and i...