Elementary deduction is the ability of unreflectively drawing conclusions from explicit or implicit premises, on the basis of their logical forms. This ability is involved in many aspects of human cognition and interactions. To date, limited evidence exists on its cortical bases. We propose a model of elementary deduction in which logical inferences, memory, and meta-logical control are separab...

Once again, the Supreme Court and scientists were asked question of which decisions investigating judge are subject to an appeal, not such appeal in course pre-trial investigation. Today, immediate object our research, as well that joint chamber Criminal Cassation part Court, is decision cancel seizure property or refuse it. The positions chambers same, illustrated by Justice dated February 19,...

Optimization of Mixed-Integer Non-Linear Programming (MINLP) supports important decisions in applications such as Chemical Process Engineering. But current solvers have limited ability for deductive reasoning or the use of domain-specific theories, and the management of integrality constraints does not yet exploit automated reasoning tools such as SMT solvers. This seems to limit both scalabili...

We advance a doxastic interpretation for many of the logical connectives considered in Dependence Logic and in its extensions, and we argue that Team Semantics is a natural framework for reasoning about beliefs and belief updates.

The complexity of probabilistic reasoning prohibits its application on a large scale of data. In order to reduce the complexity, implementations of modeling approaches restrict themselves with respect to expressive power or relax on the underlying probability theory. We present the implementation aspects of a probabilistic extension of stratified Datalog. This probabilistic deductive system is ...

The search for possible formalizations of logical calculi that are well suited for computer implementations is in the core of the methodological studies in the area of Automated Reasoning (cf. [1], [4], [5]). The theory of resolution proof systems developed in [4] provides a formal framework for the construction and study of the deductive proof systems based on the resolution principle. Resolut...