Concepedia

Andreas Nonnengart

AN

Statistics

Publications

8

Citations

207

H-Index

8

Active since

1993

Affiliations

Max Planck Institute for Informatics(Current)

Max Planck Society

German Research Centre for Artificial Intelligence

Andreas Nonnengart is an author at Max Planck Institute for Informatics specializing in automated reasoning, engineering, and formal methods.

Top concepts

Automated ReasoningEngineeringFormal MethodsSyntaxGrammarSemanticsAutomationManagementData ScienceSemantic Web

Publications per year

1993–2017

8

Publications

8

A Fixpoint Approach to Second-Order Quantifier Elimination with Applications to Correspondence Theory

Andreas Nonnengart, Andrzej Szałas · 1999 · 53 citations · Full text

On generating small clause normal forms

Andreas Nonnengart, Georg Rock, Christoph Weidenbach · Lecture notes in computer science · 1998 · 53 citations

Syntax, Substructural Logic, Automated Reasoning +3

First-order modal logic theorem proving and functional simulation

Andreas Nonnengart · Max Planck Digital Library · 1993 · 30 citations

How to use modalities and sorts in Prolog

Andreas Nonnengart · Lecture notes in computer science · 2005 · 23 citations

Engineering, Substructural Logic, Automated Reasoning +4

Encoding two-valued non-classical logics in classic logic

Andreas Nonnengart, Hans Jürgen Ohlbach, Dov M. Gabbay · Max Planck Institute for Plasma Physics · 2001 · 15 citations

Non-classical Logic, Engineering, Classic Logic +4

1–5 of 8