3119 search results - page 32 / 624 » General Default Logic |
FUZZIEEE
2007
IEEE
14 years 2 months ago
2007
IEEE
ESOP
2000
Springer
13 years 11 months ago
2000
Springer
We exhibit a technique for automatically verifying the safety of simple C programs working on tree-shaped data structures. We do not consider the complete behavior of programs, but...
NMR
2004
Springer
14 years 1 months ago
2004
Springer
One of the crucial actions any reasoning system must undertake is the updating of its Knowledge Base (KB). This problem is usually referred to as the problem of belief change. The...
RSFDGRC
1999
Springer
13 years 12 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...
IPL
2000
13 years 7 months ago
2000
In this paper we consider the partial many-sorted first-order logic and its extension to the subsorted partial many-sorted first-order logic that underly the Casl specification fo...