Sciweavers

2272 search results - page 169 / 455

» A Calculus for

90

LOGCOM
2002

68views more LOGCOM 2002»

µ-Calculus with Explicit Points and Approximations

15 years 4 months ago

µ-Calculus with Explicit Points and Approximations

Download www.csc.kth.se

Mads Dam, Dilian Gurov

claim paper

Read More »

92

MICRO
2002
IEEE

111views Hardware» more MICRO 2002»

Learning Hardware Using Multiple-Valued Logic, Part 2: Cube Calculus and Architecture

15 years 4 months ago

Learning Hardware Using Multiple-Valued Logic, Part 2: Cube Calculus and Architecture

Download web.cecs.pdx.edu

Marek A. Perkowski, David Foote, Qihong Chen, Anas...

claim paper

Read More »

90

JSC
1998

53views more JSC 1998»

A Deterministic Lazy Narrowing Calculus

15 years 4 months ago

A Deterministic Lazy Narrowing Calculus

Download www.tulips.tsukuba.ac.jp

Aart Middeldorp, Satoshi Okui

claim paper

Read More »

179

LOGCOM
1998

178views more LOGCOM 1998»

Applying the Mu-Calculus in Planning and Reasoning about Action

15 years 4 months ago

Applying the Mu-Calculus in Planning and Reasoning about Action

Download www.csc.ncsu.edu

Planning algorithms have traditionally been geared toward achievement goals in single-agent environments. Such algorithms essentially produce plans to reach one of a speciﬁed se...

Munindar P. Singh

claim paper

Read More »

101

SLOGICA
2002

61views more SLOGICA 2002»

Proof Nets for the Multimodal Lambek Calculus

15 years 4 months ago

Proof Nets for the Multimodal Lambek Calculus

Download igitur-archive.library.uu.nl

Richard Moot, Quintijn Puite

claim paper

Read More »

« Prev « First page 169 / 455 Last » Next »