Search Sciweavers | Sciweavers

3691 search results - page 31 / 739

» Bayesian Logic Programs

139

click to vote

ICALP
1991
Springer

99views Programming Languages» more ICALP 1991»

Logical and Computational Aspects of Programming with Sets/Bags/Lists

15 years 10 months ago

Download www.ircs.upenn.edu

Val Tannen, Ramesh Subrahmanyam

claim paper

Read More »

192

Voted

PADL
2007
Springer

180views Programming Languages» more PADL 2007»

Aspect-Oriented Programming in Higher-Order and Linear Logic

16 years 17 days ago

Download www.cs.hofstra.edu

Essential elements of aspect-oriented programming can be formulated as forms of logic programming. Extensions of Horn Clause rovide richer abstraction and control mechanisms. Deﬁ...

Chuck C. Liang

claim paper

Read More »

164

Voted

NGC
2000
Springer

124views Communications» more NGC 2000»

Temporal Disjunctive Logic Programming

15 years 6 months ago

Download www.ionio.gr

In this paper we introduce the logic programminglanguage Disjunctive Chronolog which combines the programming paradigms of temporal and disjunctive logic programming. Disjunctive C...

Manolis Gergatsoulis, Panos Rondogiannis, Themis P...

claim paper

Read More »

273

click to vote

POPL
2009
ACM

113views Programming Languages» more POPL 2009»

Classical BI: a logic for reasoning about dualising resources

16 years 7 months ago