TPLP 2016 | Sciweavers

2

TPLP
2016

50views more TPLP 2016»

All about Proofs, Proofs for All, Bruno Woltzenlogel Paleo and David Delahaye, Eds., College Publications, Series Mathematical L

8 years 20 days ago

Download www.cs.uky.edu

this article: http://journals.cambridge.org/abstract_S1471068415000125 How to cite this article: Victor W. Marek Theory and Practice of Logic Programming, Available on CJO 2015 doi...

Victor W. Marek

claim paper

Read More »

4

click to vote

TPLP
2016

52views more TPLP 2016»

Modular action language

8 years 20 days ago

Download www.depts.ttu.edu

The paper introduces a new modular action language, ALM, and illustrates the methodology of its use. It is based on the approach of Gelfond and Lifschitz (1993; 1998) in which a h...

Daniela Inclezan, Michael Gelfond

claim paper

Read More »

12

click to vote

TPLP
2016

60views more TPLP 2016»

Description and Optimization of Abstract Machines in a Dialect of Prolog

8 years 20 days ago

Download clip.dia.fi.upm.es

ion and Optimization of Abstract Machines in a Dialect of Prolog∗ October 2009 facultad de inform´atica universidad polit´ecnica de madrid J. F. Morales M. Carro M. Hermenegild...

José F. Morales, Manuel Carro, Manuel V. He...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers