Search Page
Save citations to file
Email citations
Send citations to clipboard
Add to Collections
Add to My Bibliography
Create a file for external citation management software
Your saved search
Your RSS Feed
Filters
Results by year
Table representation of search results timeline featuring number of search results per year.
Year | Number of Results |
---|---|
2015 | 1 |
2019 | 1 |
2020 | 1 |
2024 | 0 |
Search Results
3 results
Results by year
Filters applied: . Clear all
It looks like you are searching for an author.
Results are currently sorted by Best Match. To see the newest results first,
change the sort order to Most Recent.
Page 1
Universal (meta-)logical reasoning: The Wise Men Puzzle (Isabelle/HOL dataset).
Data Brief. 2019 Mar 20;24:103823. doi: 10.1016/j.dib.2019.103823. eCollection 2019 Jun.
Data Brief. 2019.
PMID: 31016212
Free PMC article.
The Higher-Order Prover Leo-II.
Benzmüller C, Sultana N, Paulson LC, Theiß F.
Benzmüller C, et al.
J Autom Reason. 2015;55(4):389-404. doi: 10.1007/s10817-015-9348-y. Epub 2015 Sep 22.
J Autom Reason. 2015.
PMID: 30174358
Free PMC article.
Item in Clipboard
LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset).
Benzmüller C, Farjami A, Fuenmayor D, Meder P, Parent X, Steen A, van der Torre L, Zahoransky V.
Benzmüller C, et al.
Data Brief. 2020 Oct 15;33:106409. doi: 10.1016/j.dib.2020.106409. eCollection 2020 Dec.
Data Brief. 2020.
PMID: 33134442
Free PMC article.
Item in Clipboard
Cite
Cite