3319 search results - page 110 / 664 » Subshifts, Languages and Logic |
103
Voted
WOLLIC
2007
Springer
15 years 6 months ago
2007
Springer
We survey several computational interpretations of classical linear logic based on two-player one-move games. The moves of the games are higherorder functionals in the language of ...
110
click to vote
RSFDGRC
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. A generalized decision logic in interval-set-valued information tables is introduced, which is an extension of decision logic studied by Pawlak. Each object in an interva...
123
click to vote
EUROCAST
2007
Springer
15 years 4 months ago
2007
Springer
In this paper we introduce an extension of Equilibrium Logic (a logical characterisation of the Answer Set Semantics for logic programs) consisting in the inclusion of modal tempor...
DEON
2008
Springer
15 years 2 months ago
2008
Springer
In this paper we define a framework to introduce gradedness in Deontic logics through the use of fuzzy modalities. By way of example, we instantiate the framework to Standard Deont...
105
Voted
IJCAI
1989
15 years 1 months ago
1989
We Imbed Into a first order logic a representation language that combines atemporal knowledge with time stamps in a hierarchical fashion. Each time structure contains its own chro...