Search Sciweavers | Sciweavers

3385 search results - page 45 / 677

» Language, Logic, and the Brain

135

click to vote

LPAR
2005
Springer

97views Automated Reasoning» more LPAR 2005»

Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages

15 years 11 months ago

Download www-users.cs.umn.edu

Gopalan Nadathur, Xiaochu Qi

claim paper

Read More »

138

click to vote

ASIAN
2004
Springer

112views Algorithms» more ASIAN 2004»

Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction

15 years 11 months ago

Download www.clip.dia.fi.upm.es

Daniel Cabeza, Manuel V. Hermenegildo, James Lipto...

claim paper

Read More »

123

click to vote

JELIA
2004
Springer

115views Artificial Intelligence» more JELIA 2004»

The DALI Logic Programming Agent-Oriented Language

15 years 11 months ago

Download www.cs.unipr.it

Stefania Costantini, Arianna Tocchio

claim paper

Read More »

134

click to vote

LOPSTR
1998
Springer

91views Automated Reasoning» more LOPSTR 1998»

Attempto Controlled English - Not Just Another Logic Specification Language

15 years 10 months ago

Download attempto.ifi.uzh.ch

Norbert E. Fuchs, Uta Schwertel, Rolf Schwitter

claim paper

Read More »

136

click to vote

PLILP
1998
Springer

148views Programming Languages» more PLILP 1998»

Embedding Multiset Constraints into a Lazy Functional Logic Language

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers