215 search results - page 32 / 43 » Connecting a Logical Framework to a First-Order Logic Prover |
97
Voted
DEON
2004
Springer
15 years 5 months ago
2004
Springer
This work addresses the issue of obligations directed to groups of agents. Our main concern consists in providing a formal analysis of the structure connecting collective obligatio...
102
click to vote
EUSFLAT
2007
15 years 1 months ago
2007
Generalized concept lattices have been recently proposed to deal with uncertainty or incomplete information as a non-symmetric generalization of the theory of fuzzy formal concept...
ISCI
2010
14 years 10 months ago
2010
The t-concept lattice is introduced as a set of triples associated to graded tabular information interpreted in a non-commutative fuzzy logic. Following the general techniques of ...
IADIS
2004
15 years 1 months ago
2004
Economical globalization and outsourcing have inspired the surge of research in distributed computer-aided design. This paper presents a framework for Internet-based symbolic dist...
128
Voted
PODS
1994
ACM
15 years 3 months ago
1994
ACM
Traditionally, computational complexity has considered only static problems. Classical Complexity Classes such as NC, P, and NP are de ned in terms of the complexity of checking {...