Sciweavers

2395 search results - page 23 / 479

» Reasoning in Semantic Wikis

26

ICLP
2010
Springer

112views Automated Reasoning» more ICLP 2010»

Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited

14 years 1 months ago

Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited

Download drops.dagstuhl.de

Tomi Janhunen

claim paper

Read More »

24

KR
2000
Springer

92views Automated Reasoning» more KR 2000»

Ontology-Based Semantics

14 years 1 months ago

Ontology-Based Semantics

Download www.mel.nist.gov

Mihai Ciocoiu, Dana S. Nau

claim paper

Read More »

28

LICS
1995
IEEE

79views Automated Reasoning» more LICS 1995»

A Fully Abstract Semantics for a Concurrent Functional Language with Monadic Types

14 years 1 months ago

A Fully Abstract Semantics for a Concurrent Functional Language with Monadic Types

Download fpl.cs.depaul.edu

Alan Jeffrey

claim paper

Read More »

31

PLILP
1995
Springer

83views Programming Languages» more PLILP 1995»

A Semantic Model of Binding Times for Safe Partial Evaluation

14 years 1 months ago

A Semantic Model of Binding Times for Safe Partial Evaluation

Download repository.readscheme.org

Fritz Henglein, David Sands

claim paper

Read More »

19

CSL
1991
Springer

91views Automated Reasoning» more CSL 1991»

Logical Semantics of Modularisation

14 years 1 months ago

Logical Semantics of Modularisation

Download www.cs.rug.nl

Gerard R. Renardel de Lavalette

claim paper

Read More »

« Prev « First page 23 / 479 Last » Next »