ICLP 2011 - PDF Preprint Papers

ICLP 2011 International Conference on Logic Programming

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed ICLP-2011 Paper

click to vote

ICLP
2011
Springer

66views Automated Reasoning» more ICLP 2011»

Implementation of Axiomatic Language

8 months 26 days ago

Download www.axiomaticlanguage.org

This report summarizes a PhD research eﬀort to implement a type of logic programming language called “axiomatic language”. Axiomatic language is intended as a speciﬁcation...

Walter W. Wilson

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status
1	66	Implementation of Axiomatic Language	claim
2	48	Minimizing the overheads of dependent {AND}-parallelism	claim
3	47	Transaction Logic with Defaults and Argumentation Theories	claim
4	46	Constraints in Non-Boolean Contexts	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers