2067 search results - page 45 / 414 » Logics of propositional control |
108
click to vote
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
Linear constraints occur naturally in many reasoning problems and the information that they represent is often uncertain. There is a difficulty in applying many AI uncertainty for...
DAGSTUHL
2007
15 years 3 months ago
2007
The concept of relevance between classical propositional formulae, defined in terms of letter-sharing, has been around for a very long time. But it began to take on a fresh life i...
LOGCOM
2010
15 years 21 hour ago
2010
The notion of warrant or justification is one of the central concepts in formal models of argumentation. The dialectical definition of warrant is expressed in terms of recursive...
106
click to vote
FROCOS
2009
Springer
15 years 8 months ago
2009
Springer
In an attempt to improve automation capabilities in the Coq proof assistant, we develop a tactic for the propositional fragment based on the DPLL procedure. Although formulas natur...
105
click to vote
ICDAR
2007
IEEE
15 years 8 months ago
2007
IEEE
In this article, we propose a method of characterization of pictures of old documents based on a texture approach. This characterization is carried out with the help of a multires...