Nicolas Zabel

According to our database, Nicolas Zabel authored at least 9 papers between 1990 and 1993.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1993

Nouvelles techniques de déduction automatiques en logiques polyvalentes finies et infinies du premier ordre. (New techniques for automated deduction in finite and infinite, first-order many-valued logics).

Nicolas Zabel

PhD thesis, 1993

Analytic Tableaux for Finite and Infinite Post Logics.

Nicolas Zabel

Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

1992

A Method for Simultanous Search for Refutations and Models by Equational Constraint Solving.

Ricardo Caferra, Nicolas Zabel

J. Symb. Comput., 1992

Deciding Fragments of the First Order Logic within an Extended Tableau Method.

Nicolas Zabel

Proceedings of the Workshop Theorem Proving with Analytic Tableaux and Related Methods, 1992

An Ordered Resolution and Paramodulation Calculus for Finite Many-Valued Logics.

Nicolas Zabel

Proceedings of the Logics in AI, European Workshop, 1992

1991

User-oriented theorem proving with the ATINF graphic proof editor.

Ricardo Caferra, Michel Herment, Nicolas Zabel

Proceedings of the Fundamentals of Artificial Intelligence Research, 1991

1990

Extending Resolution for Model Construction.

Ricardo Caferra, Nicolas Zabel

Proceedings of the Logics in AI, European Workshop, 1990

The Theorem Prover of the Program Verifier Tatzelwurm.

Thomas Käufl, Nicolas Zabel

Proceedings of the 10th International Conference on Automated Deduction, 1990

An Application of Many-Valued Logic to Decide Propositional S5 Formulae: A Strategy Designed for a Parameterized Tableaux-Based Theorem Prover.

Ricardo Caferra, Nicolas Zabel

Proceedings of the Artificial Intelligence IV: Methodology, Systems, Applications, 1990