193
click to vote
ICLP
14 years 11 days ago
2011 Springer 
This report summarizes a PhD research effort to implement a type of logic programming language called “axiomatic language”. Axiomatic language is intended as a specification...
117
click to vote
ICLP
14 years 11 days ago
2011 Springer 
Transaction Logic is an extension of classical logic that gracefully integrates both declarative and procedural knowledge and has proved itself as a powerful formalism for many ad...
109
click to vote
ICLP
14 years 11 days ago
2011 Springer 
In high-level constraint modelling languages, constraints can occur in non-Boolean contexts: implicitly, in the form of partial functions, or more explicitly, in the form of const...
104
click to vote
ICLP
14 years 11 days ago
2011 Springer 
Parallel implementations of programming languages need to control synchronization overheads. Synchronization is essential for ensuring the correctness of parallel code, yet it add...
|
Automated Reasoning