|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
Results
Found 17 publication records. Showing 17 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
66 | Jan van Eijck |
Natural Logic for Natural Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TbiLLC ![In: Logic, Language, and Computation, 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12-16, 2005. Revised Selected Papers, pp. 216-230, 2005, Springer, 978-3-540-75143-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
36 | Agostino Dovier, Andrea Formisano 0001, Eugenio G. Omodeo |
Decidability results for sets with atoms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 7(2), pp. 269-301, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Prenex sentences, set-hyperset theories, syllogistics, unification, quantifier elimination, satisfiability problem |
32 | Jens Lemanski |
Extended Syllogistics in Calculus CL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(2), pp. 557-576, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
32 | Miroslav Hanke |
Seventeenth-Century Scholastic Syllogistics. Between Logic and Mathematics? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Symb. Log. ![In: Rev. Symb. Log. 13(2), pp. 219-248, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
32 | Selçuk Topal |
Equivalential Structures for Binary and Ternary Syllogistics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 27(1), pp. 79-93, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
32 | Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu |
Set-syllogistics meet combinatorics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 27(2), pp. 296-310, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
32 | Peter Øhrstrøm, Ulrik Sandborg-Petersen |
Designing a New Tool for E-learning in Syllogistics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSTIW@ICCS ![In: Proceedings of the Fifth Conceptual Structures Tools & Interoperability Workshop (CSTIW 2016) held at the 22nd International Conference on Conceptual Structures (ICCS 2016), July 5-7, 2016, Annecy, France., pp. 37-45, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
32 | Peter Øhrstrøm, Ulrik Sandborg-Petersen, Steinar Thorvaldsen, Thomas Ploug |
Teaching Syllogistics Using E-learning Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
eLEOT ![In: E-Learning, E-Education, and Online Training - Third International Conference, eLEOT 2016, Dublin, Ireland, August 31 - September 2, 2016, Revised Selected Papers, pp. 103-110, 2016, Springer, 978-3-319-49624-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
32 | Peter Øhrstrøm, Ulrik Sandborg-Petersen, Steinar Thorvaldsen, Thomas Ploug |
Teaching Syllogistics Through Gamification and Interactive Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC-TEL ![In: Design for Teaching and Learning in a Networked World - 10th European Conference on Technology Enhanced Learning, EC-TEL 2015, Toledo, Spain, September 15-18, 2015, Proceedings, pp. 609-612, 2015, Springer, 978-3-319-24257-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
32 | Martin Pereira-Fariña, Félix Díaz-Hermida, Alberto Bugarín |
On the analysis of set-based fuzzy quantified reasoning using classical syllogistics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1411.7525, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
32 | Peter Øhrstrøm, Ulrik Sandborg-Petersen, Steinar Thorvaldsen, Thomas Ploug |
Teaching Syllogistics Using Conceptual Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Graph-Based Representation and Reasoning - 21st International Conference on Conceptual Structures, ICCS 2014, Iaşi, Romania, July 27-30, 2014, Proceedings, pp. 217-230, 2014, Springer, 978-3-319-08388-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Thomas F. Icard III |
Higher-Order Syllogistics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FG ![In: Formal Grammar - 19th International Conference, FG 2014, Tübingen, Germany, August 16-17, 2014. Proceedings, pp. 1-14, 2014, Springer, 978-3-662-44120-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Martin Pereira-Fariña, Félix Díaz-Hermida, Alberto Bugarín |
On the analysis of set-based fuzzy quantified reasoning using classical syllogistics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 214, pp. 83-94, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
32 | Nikolay Ivanov, Dimiter Vakarelov |
Relational Syllogistics ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1102.4496, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
32 | Sara L. Uckelman, Spencer Johnston |
A Simple Semantics for Aristotelian Apodeictic Syllogistics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Modal Logic ![In: Advances in Modal Logic 8, papers from the eighth conference on `Advances in Modal Logic,` held in Moscow, Russia, 24-27 August 2010, pp. 454-469, 2010, College Publications, 978-1-84890-013-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
32 | Domenico Cantone, Vincenzo Cutello |
Decision Procedures for Stratified Set-Theoretic Syllogistics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 1993 International Symposium on Symbolic and Algebraic Computation, ISSAC '93, Kiev, Ukraine, July 6-8, 1993, pp. 105-110, 1993, ACM, 0-89791-604-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Multi-sorted languages, Set Theory, Decision Procedures |
32 | S. N. Furs |
Syllogistics of Some Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 33(1), pp. 31-42, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #17 of 17 (100 per page; Change: )
|
|