Search Sciweavers | Sciweavers

3319 search results - page 58 / 664

» Subshifts, Languages and Logic

click to vote

TOCL
2008

128views more TOCL 2008»

A comprehensive combination framework

13 years 9 months ago

Download tocl.acm.org

fragment enjoys suitable noetherianity conditions and admits an abstract version of a `KeislerShelah like' isomorphism theorem. We show that this general decidability transfer...

Silvio Ghilardi, Enrica Nicolini, Daniele Zucchell...

claim paper

Read More »

click to vote

PPDP
2007
Springer

123views Programming Languages» more PPDP 2007»

Computing with subspaces

14 years 3 months ago

Download web.cecs.pdx.edu

We propose a new deﬁnition and use of a primitive getAllValues, for computing all the values of a non-deterministic expression in a functional logic program. Our proposal restri...

Sergio Antoy, Bernd Braßel

claim paper

Read More »

click to vote

FSS
2008

145views more FSS 2008»

A logic programming framework for possibilistic argumentation: Formalization and logical properties

13 years 9 months ago

Download cs.uns.edu.ar

In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has s...

Teresa Alsinet, Carlos Iván Chesñeva...

claim paper

Read More »

click to vote

POPL
2009
ACM

102views Programming Languages» more POPL 2009»

A foundation for flow-based program matching: using temporal logic and model checking

14 years 10 months ago