3319 search results - page 58 / 664 » Subshifts, Languages and Logic |
103
click to vote
TOCL
2008
15 years 12 days ago
2008
fragment enjoys suitable noetherianity conditions and admits an abstract version of a `KeislerShelah like' isomorphism theorem. We show that this general decidability transfer...
98
Voted
PPDP
2007
Springer
15 years 6 months ago
2007
Springer
We propose a new definition and use of a primitive getAllValues, for computing all the values of a non-deterministic expression in a functional logic program. Our proposal restri...
114
Voted
FSS
2008
15 years 17 days ago
2008
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...
186
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
156
Voted
POPL
2008
ACM
16 years 25 days ago
2008
ACM