Search Sciweavers | Sciweavers

4257 search results - page 256 / 852

» The Logical Modularity of Programs

140

click to vote

LPAR
1991
Springer

127views Automated Reasoning» more LPAR 1991»

Abstract Syntax and Logic Programming

15 years 10 months ago

Download www.lix.polytechnique.fr

Dale Miller

claim paper

Read More »

137

click to vote

SAS
1994
Springer

86views Formal Methods» more SAS 1994»

Directional Type Checking of Logic Programs

15 years 10 months ago

Download www.eecs.berkeley.edu

Alexander Aiken, T. K. Lakshman

claim paper

Read More »

click to vote

AAAI
2007

75views Intelligent Agents» more AAAI 2007»

A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints

15 years 9 months ago

Download www.aaai.org

Yi-Dong Shen, Jia-Huai You

claim paper

Read More »

152

Voted

DLOG
2007

120views Automated Reasoning» more DLOG 2007»

Actions and Programs over Description Logic Ontologies

15 years 9 months ago

Download www.dis.uniroma1.it

Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...

claim paper

Read More »

171

click to vote

ICLP
2010
Springer

107views Automated Reasoning» more ICLP 2010»

Introduction to the Technical Communications of the 26th International Conference on Logic Programming

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers