1059 search results - page 86 / 212 » Standard Logics Are Valuation-Nonmonotonic |
164
click to vote
JANCL
2007
15 years 6 months ago
2007
ABSTRACT. We show how belief revision can be treated systematically in the format of dynamicepistemic logic, when operators of conditional belief are added. The core engine consist...
162
click to vote
PEPM
1993
ACM
15 years 10 months ago
1993
ACM
For a functional programming language with a lazy standard semantics, we define a strictness analysis by means of abstract interpretation. Using the information from the strictne...
130
click to vote
ER
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The United Nation's Centre for Trade Facilitation and Electronic Business (UN/CEFACT) is an e-business standardization body. It is known from its work on UN/EDIFACT ...
129
click to vote
ASPDAC
2001
ACM
15 years 10 months ago
2001
ACM
Abstract-- We are proposing "PPRAM-Link": a new highspeed communication standard for merged-DRAM/logic SoC architecture. PPRAM-Link standard is composed of physical/logic...
140
click to vote
FCS
2007
15 years 7 months ago
2007
Instances of the futile questioning problem abound in applications, especially, in the area of artificial intelligence. The problem can be represented by a particular quantified ...