835 search results - page 135 / 167 » Geometric Logic in Computer Science |
IMSCCS
2006
IEEE
14 years 3 months ago
2006
IEEE
The application of component repository has become more and more popular in the practice of component-based software development. Most of the repositories are physically isolated ...
ENC
2005
IEEE
14 years 3 months ago
2005
IEEE
Following the argumentation framework and semantics proposed by Dung, we are interested in the problem of deciding which set of acceptable arguments support the decision making in...
PPDP
2005
Springer
14 years 3 months ago
2005
Springer
The paper describes a constraint-based solution to the protein folding problem on face-centered cubic lattices—a biologically meaningful approximation of the general protein fol...
MFCS
2004
Springer
14 years 3 months ago
2004
Springer
A binary language-theoretic operation is proposed, which is dual to the concatenation of languages in the same sense as the universal quantifier in logic is dual to the existenti...
LICS
2003
IEEE
14 years 3 months ago
2003
IEEE
We consider instantiation-based theorem proving whereby instances of clauses are generated by certain inferences, and where inconsistency is detected by propositional tests. We gi...