4401 search results - page 135 / 881 » Computing with Default Logic |
134
Voted
ISIPTA
2005
IEEE
15 years 8 months ago
2005
IEEE
Logic and probability theory have both a long history in science. They are mainly rooted in philosophy and mathematics, but are nowadays important tools in many other fields such...
134
click to vote
CSR
2010
Springer
15 years 7 months ago
2010
Springer
We show that a logical framework, based around a fragment of existential second-order logic formerly proposed by others so as to capture the class of polynomially-bounded P-optimi...
124
Voted
ALP
1994
Springer
15 years 6 months ago
1994
Springer
This paper studies the relationship between logic programs and term rewriting systems (TRSs). A compositional transform is de ned which given a logic program computes a TRS. For a...
133
click to vote
ISMIS
1994
Springer
15 years 6 months ago
1994
Springer
We assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to repres...
146
Voted
SAC
1998
ACM
15 years 6 months ago
1998
ACM
Fuzzy Logic has traditionally found an application in control theory, systems analysis, and artificial intelligence [9] [7]. However, it is very difficult to apply it to tradition...