9 citations · 37 across the 32 of their papers we have counts for
4 papers · 1 filter
Formula Transformers and Combinatorial Test Generators for Propositional Intuitionistic Theorem Provers
Paul Tarau
We develop combinatorial test generation algorithms for progressively more powerful theorem provers, covering formula languages ranging from the implicational fragment of intuition…
Dependency-based Text Graphs for Keyphrase and Summary Extraction with Applications to Interactive Content Retrieval
Paul Tarau, Eduardo Blanco
We build a bridge between neural network-based machine learning and graph-based natural language processing and introduce a unified approach to keyphrase, summary and relation extr…
Modality Definition Synthesis for Epistemic Intuitionistic Logic via a Theorem Prover
Paul Tarau
We derive a Prolog theorem prover for an Intuitionistic Epistemic Logic by starting from the sequent calculus {\bf G4IP} that we extend with operator definitions providing an embed…
Lazy Stream Programming in Prolog
Paul Tarau, Jan Wielemaker, Tom Schrijvers
In recent years, stream processing has become a prominent approach for incrementally handling large amounts of data, with special support and libraries in many programming language…