16 search results - page 4 / 4 » Automated Procedure Construction for Deductive Synthesis |
122
Voted
ICLP
2011
Springer
14 years 26 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...