1941 search results - page 209 / 389 » Reasoning about Computations Using Two-Levels of Logic |
120
Voted
AISC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Origami (paper folding) has a long tradition in Japan's culture and education. We are developing a computational origami system, based on symbolic computation system...
130
Voted
AIIDE
2008
15 years 6 months ago
2008
Systems that provide automated game-design support-whether fully automated game generators, or tools to assist human designers--must be able to maintain a representation of a game...
124
Voted
IGPL
2008
15 years 3 months ago
2008
We propose here an extension of Rice's Theorem to first-order logic, proven by totally elementary means. If P is any property defined over the collection of all first-order t...
133
Voted
FUZZIEEE
2007
IEEE
15 years 10 months ago
2007
IEEE
— This article presents a self-fuzzification method to enhance the settings of a Fuzzy Reasoning Classification adapted to the automated inspection of wooden boards. The supervis...
146
Voted
LPNMR
1993
Springer
15 years 7 months ago
1993
Springer
We present a logic programming language which uses a four-valued bilattice as the underlying framework for semantics of programs. The two orderings of the bilattice reflect the c...