Search Sciweavers | Sciweavers

1671 search results - page 6 / 335

» Language Constructs for Multi-agent Programming

click to vote

IAT
2008
IEEE

135views Intelligent Agents» more IAT 2008»

Evolving Logic Programming Based Agents with Temporal Operators

14 years 5 months ago

Download www.cs.toronto.edu

Logic Programming Update Languages were proposed as an extension of logic programming, which allow for modelling the dynamics of knowledge bases where both extensional knowledge (...

José Júlio Alferes, Alfredo Gabaldon...

claim paper

Read More »

click to vote

POPL
2003
ACM

109views Programming Languages» more POPL 2003»

Coercive subtyping for the calculus of constructions

14 years 11 months ago

Download www.church-project.org

Gang Chen

claim paper

Read More »

click to vote

POPL
1993
ACM

141views Programming Languages» more POPL 1993»

Constructing Call Multigraphs Using Dependence Graphs

14 years 2 months ago

Download www.cacs.louisiana.edu

Arun Lakhotia

claim paper

Read More »

click to vote

PPDP
2000
Springer

71views Programming Languages» more PPDP 2000»

Proof construction and non-commutativity: a cluster calculus

14 years 2 months ago

Download www.pps.jussieu.fr

Claudia Faggian

claim paper

Read More »

click to vote

HASKELL
2008
ACM

128views Programming Languages» more HASKELL 2008»

Haskell, do you read me?: constructing and composing efficient top-down parsers at runtime

13 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers