Search Sciweavers | Sciweavers

1671 search results - page 6 / 335

» Language Constructs for Multi-agent Programming

163

Voted

IAT
2008
IEEE

135views Intelligent Agents» more IAT 2008»

Evolving Logic Programming Based Agents with Temporal Operators

16 years 16 days 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 »

252

click to vote

POPL
2003
ACM

109views Programming Languages» more POPL 2003»

Coercive subtyping for the calculus of constructions

16 years 6 months ago

Download www.church-project.org

Gang Chen

claim paper

Read More »

126

click to vote

POPL
1993
ACM

141views Programming Languages» more POPL 1993»

Constructing Call Multigraphs Using Dependence Graphs

15 years 10 months ago

Download www.cacs.louisiana.edu

Arun Lakhotia

claim paper

Read More »

120

click to vote

PPDP
2000
Springer

71views Programming Languages» more PPDP 2000»

Proof construction and non-commutativity: a cluster calculus

15 years 9 months ago

Download www.pps.jussieu.fr

Claudia Faggian

claim paper

Read More »

130

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

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers