1131 search results - page 24 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
ISMIS
1994
Springer
13 years 11 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...
ILP
2004
Springer
14 years 21 days ago
2004
Springer
Abstract. In this paper, we study how a logical form of scientific modelling that integrates together abduction and induction can be used to understand the functional class of unk...
PADL
1999
Springer
13 years 11 months ago
1999
Springer
PPDP
2000
Springer
13 years 11 months ago
2000
Springer
ICFP
2005
ACM
14 years 7 months ago
2005
ACM
We study the relation between Nominal Logic and the Theory of Contexts, two approaches for specifying and reasoning about datatypes with binders. We consider a natural-deduction s...