CL 2000 - PDF Preprint Papers

CL 2000 International Conference on Computational Logic

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed CL-2000 Paper

click to vote

CL
2000
Springer

180views Automated Reasoning» more CL 2000»

Logic Program Synthesis in a Higher-Order Setting

14 years 3 months ago

Download dream.inf.ed.ac.uk

We describe a system for the synthesis of logic programs from speciﬁcations based on higher-order logical descriptions of appropriate reﬁnement operations. The system has been ...

David Lacey, Julian Richardson, Alan Smaill

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	180	Logic Program Synthesis in a Higher-Order Setting	claim
2	176	Multi-dimensional Dynamic Logic Programming	claim
3	167	Associative definition of programming languages	claim
4	162	Certification of Compiler Optimizations Using Kleene Algebra with Tests	claim
5	156	Logic, Knowledge Representation, and Bayesian Decision Theory	claim
6	148	Applications of Annotated Predicate Calculus to Querying Inconsistent Databases	claim
7	142	A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases	claim
8	141	Better Communication for Tighter Cooperation	claim
9	139	Promoting Constraints to First-Class Status	claim
10	136	Design and Implementation of the Physical Layer in WebBases: The XRover Experience	claim
11	130	FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine	claim
12	130	Towards an Efficient Tableau Method for Boolean Circuit Satisfiability Checking	claim
13	129	A Plan Fusion Algorithm for Multi-Agent Systems	claim
14	128	A Logic Programming Application for the Analysis of Spanish Verse	claim
15	127	Proving Failure in Functional Logic Programs	claim
16	119	Concurrent Constraint Programming with Process Mobility	claim
17	118	Modelling Digital Circuits Problems with Set Constraints	claim
18	115	Abstract Syntax for Variable Binders: An Overview	claim
19	114	Reasoning about Duplicate Elimination with Description Logic	claim
20	112	Dominance Constraints with Set Operators	claim
21	111	Computational Logic: Memories of the Past and Challenges for the Future	claim
22	111	Representing Trees with Constraints	claim
23	106	AVAL: An Enumerative Method for SAT	claim
24	104	The Taming of the (X)OR	claim
25	104	Perfect Model Checking via Unfold/Fold Transformations	claim
26	104	Smallest Equivalent Sets for Finite Propositional Formula Circumscription	claim
27	103	Proof Planning with Multiple Strategies	claim
28	98	Linearly Bounded Reformulations of Conjunctive Databases	claim
29	97	Querying Inconsistent Databases: Algorithms and Implementation	claim
30	97	Databases and Higher Types	claim
31	94	A Formal Model for an Expressive Fragment of XSLT	claim
32	90	A New Equational Foundation for the Fluent Calculus	claim
33	87	Semantics of well-moded input-consuming logic programs	claim
34	85	Partial Models of Extended Generalized Logic Programs	claim
35	82	Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers