Abstract. We present Diabelli, a formal reasoning system that enables users to construct so-called heterogeneous proofs that intermix sentential formulae with diagrams.
Diagrams are in common use in the rewriting community. In this paper, we present a formalization of ...
Automated Theorem Provers (ATP) are software programs which carry out inferences over logico-mathema...
Proof systems play a major role in the formal study of diagrammatic logical systems. Typically, the ...
We introduce a domain-independent framework for heterogeneous natural deduction that combines diagra...
We introduce Vivid, a domain-independent framework for mechanized heterogeneous natural deduction th...
The design of any computer system with a multimedia interface involves the designer in fundamental t...
The most efficient, accurate, and fruitful way to communicate reasonings is in natural languages. Th...
A quite detailed account of how diagrammatic reasoning works in Euclid, the role of definitions, pos...
Theorems in automated theorem proving are usually proved by logical formal proofs. However, there is...
Although research in diagrammatic reasoning is as old as research in artificial intelligence itself,...
AbstractThe main goal of this paper is to present the basis for a heterogeneous Euler/Venn diagram a...
Although automated reasoning with diagrams has been possible for some years, tools for diagrammatic ...
Although automated reasoning with diagrams has been possible for some years, tools for diagrammatic ...
The workshop on proof theory took place in Vichy at the Pôle Universitaire de Vichy on 25 June 2018....
AbstractA running system for combining inference tools, editing and checking proofs in different log...
Diagrams are in common use in the rewriting community. In this paper, we present a formalization of ...
Automated Theorem Provers (ATP) are software programs which carry out inferences over logico-mathema...
Proof systems play a major role in the formal study of diagrammatic logical systems. Typically, the ...
We introduce a domain-independent framework for heterogeneous natural deduction that combines diagra...
We introduce Vivid, a domain-independent framework for mechanized heterogeneous natural deduction th...
The design of any computer system with a multimedia interface involves the designer in fundamental t...
The most efficient, accurate, and fruitful way to communicate reasonings is in natural languages. Th...
A quite detailed account of how diagrammatic reasoning works in Euclid, the role of definitions, pos...
Theorems in automated theorem proving are usually proved by logical formal proofs. However, there is...
Although research in diagrammatic reasoning is as old as research in artificial intelligence itself,...
AbstractThe main goal of this paper is to present the basis for a heterogeneous Euler/Venn diagram a...
Although automated reasoning with diagrams has been possible for some years, tools for diagrammatic ...
Although automated reasoning with diagrams has been possible for some years, tools for diagrammatic ...
The workshop on proof theory took place in Vichy at the Pôle Universitaire de Vichy on 25 June 2018....
AbstractA running system for combining inference tools, editing and checking proofs in different log...
Diagrams are in common use in the rewriting community. In this paper, we present a formalization of ...
Automated Theorem Provers (ATP) are software programs which carry out inferences over logico-mathema...
Proof systems play a major role in the formal study of diagrammatic logical systems. Typically, the ...
DOI
Add to ORKG