Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
81 | Khosro Soleimani, Mashaallah Mashinchi, Hamid Reza Maleki |
Fixed Points for Fuzzy Rule Bases and Fuzzy Chaining Syllogism. |
ISMVL |
2003 |
DBLP DOI BibTeX RDF |
functional operators, fix mundis, fuzzy chaining syllogism, fixed points, rule base, Fuzzy if-then rules |
70 | Christian Igel, Karl-Heinz Temme |
The chaining syllogism in fuzzy logic. |
IEEE Trans. Fuzzy Syst. |
2004 |
DBLP DOI BibTeX RDF |
|
66 | Keith Stenning |
Aligning Logical and Psychological Contributions to the Understanding of Human Reasoning. |
Kognitionswissenschaft |
1998 |
DBLP DOI BibTeX RDF |
|
33 | M. Tarek Shalaby, Norriza Hussin, D. Schofield |
Forensic Animation: Measuring the Reliability and Accuracy of Computer Generated Animation Used in the Courtroom. |
IV |
2003 |
DBLP DOI BibTeX RDF |
Forensic animation, accident reconstruction, syllogism, virtual reality |
26 | Cong Jiang, Xiaolei Yang |
Legal Syllogism Prompting: Teaching Large Language Models for Legal Judgment Prediction. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Mengyu Ye, Tatsuki Kuribayashi, Jun Suzuki, Goro Kobayashi, Hiroaki Funayama |
Assessing Step-by-Step Reasoning against Lexical Negation: A Case Study on Syllogism. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Cong Jiang, Xiaolei Yang |
Legal Syllogism Prompting: Teaching Large Language Models for Legal Judgment Prediction. |
ICAIL |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Mengyu Ye, Tatsuki Kuribayashi, Jun Suzuki, Goro Kobayashi, Hiroaki Funayama |
Assessing Step-by-Step Reasoning against Lexical Negation: A Case Study on Syllogism. |
EMNLP |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Dan Constantin Radulescu |
A Matricial Vue of Classical Syllogistic and an Extension of the Rules of Valid Syllogism to Rules of Conclusive Syllogisms with Indefinite Terms. |
J. Log. Lang. Inf. |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Tiansi Dong, Chengjiang Li, Christian Bauckhage, Juanzi Li, Stefan Wrobel, Armin B. Cremers |
Learning Syllogism with Euler Neural-Networks. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
26 | Myrto Grigoroglou, Patricia Ganea |
Children's use of linguistic and non-linguistic negation in reasoning by the disjunctive syllogism. |
CogSci |
2020 |
DBLP BibTeX RDF |
|
26 | Shiya Peng, Lu Liu 0008, Chang Liu, Dong Yu 0003 |
Exploring Reasoning Schemes: A Dataset for Syllogism Figure Identification. |
CLSW |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Piotr Helbin, Katarzyna Mis, Michal Baczynski 0001 |
Some Remarks on Generalized Hypothetical Syllogism and Yager's Implications. |
AGOP |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Myrto Grigoroglou, Sharon Chan, Patricia Ganea |
Language facilitates 2.5-year-olds' reasoning by the disjunctive syllogism. |
CogSci |
2019 |
DBLP BibTeX RDF |
|
26 | Katarzyna Mis, Michal Baczynski 0001 |
Different Forms of Generalized Hypothetical Syllogism with Regard to R-Implications. |
ICAISC (1) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Katarzyna Mis, Michal Baczynski 0001, Piotr Helbin |
Some Remarks on the Generalized Scheme of Reduction to Absurdity and Generalized Hypothetical Syllogism in Fuzzy Logic. |
EUSFLAT Conf. |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Mutlu Cukurova |
A Syllogism for Designing Collaborative Learning Technologies in the Age of AI and Multimodal Data. |
EC-TEL |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Michal Baczynski 0001, Katarzyna Mis |
Selected Properties of Generalized Hypothetical Syllogism Including the Case of R-implications. |
IPMU (1) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Nageswara Rao Vemuri |
Investigations of fuzzy implications satisfying generalized hypothetical syllogism. |
Fuzzy Sets Syst. |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Sabah Al-Fedaghi |
Logic Representation: Aristotelian Syllogism by Diagram. |
ACIT/CSII/BCD |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Hillary Abel, Anna Drummey, Stephanie Vicari, Irene P. Kan |
Rapid acquisition of novel information: Is disjunctive syllogism necessary for fast mapping? |
CogSci |
2016 |
DBLP BibTeX RDF |
|
26 | Shivanand M. Handigund, Shakuntala Sajjanar, B. N. Arunakumari |
"Resuscitation of syllogism within unified modeling language levels through the renovation of object diagram". |
ICACCI |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Linton Wang, Wei-Fen Ma |
Comparative syllogism and counterfactual knowledge. |
Synth. |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Lee Walters |
Against Hypothetical Syllogism. |
J. Philos. Log. |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Gregor Betz |
Justifying inference to the best explanation as a practical meta-syllogism on dialectical structures. |
Synth. |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Martin Pereira-Fariña, Alejandro Sobrino 0001, Alberto Bugarín |
A proposal of fuzzy chained syllogism based on the concept of synonymy. |
FUZZ-IEEE |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Gemma Robles, José M. Méndez |
A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism. |
Log. J. IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Gemma Robles, José M. Méndez |
A Routley-Meyer Type Semantics for Relevant Logics Including Br Plus the Disjunctive Syllogism. |
J. Philos. Log. |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Ofer Arieli |
On the Application of the Disjunctive Syllogism in Paraconsistent Logics Based on Four States of Information. |
KR |
2010 |
DBLP BibTeX RDF |
|
26 | Michael Morreau |
The Hypothetical Syllogism. |
J. Philos. Log. |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Xiaodong Qiao, Yinsheng Zhang, Qixian Shi |
A Deductive System of Aristotelian Syllogism. |
UKSim |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Yinsheng Zhang, Xiaodong Qiao |
A Formal System of Aristotelian Syllogism Based on Automata Grammar. |
CSIE (5) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Da Ruan 0001, Yun Shi, Etienne E. Kerre |
On the chaining Syllogism in fuzzy logic. |
ISKE |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Tetsuya Murai, Yoshiharu Sato, Germano Resconi, Michinori Nakata |
Granular Reasoning Using Zooming In & Out: Aristotle's Categorical Syllogism. |
RSKD |
2003 |
DBLP DOI BibTeX RDF |
|
26 | I. Susan Russinoff |
The syllogism's final solution. |
Bull. Symb. Log. |
1999 |
DBLP DOI BibTeX RDF |
|
26 | John S. Edwards, Robert I. Akroyd |
Modelling rhetorical legal "logic"--a double syllogism. |
Int. J. Hum. Comput. Stud. |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Mario Savio |
AE (Aristotle-Euler) Diagrams: An Alternative Complete Method for the Categorical Syllogism. |
Notre Dame J. Formal Log. |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Wallace A. Murphree |
The Numerical Syllogism and Existential Presupposition. |
Notre Dame J. Formal Log. |
1997 |
DBLP DOI BibTeX RDF |
|
26 | S. V. Bhave |
Situations in Which Disjunctive Syllogism Can Lead from True Premises to a False Conclusion. |
Notre Dame J. Formal Log. |
1997 |
DBLP DOI BibTeX RDF |
|
26 | Christian Igel, Karl-Heinz Temme |
Chaining Syllogism Applied to Fuzzy IF-THEN Rules and Rule Bases. |
Fuzzy Days |
1997 |
DBLP DOI BibTeX RDF |
|
26 | Wallace A. Murphree |
The Irrelevance of Distribution for the Syllogism. |
Notre Dame J. Formal Log. |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Peter Lavers |
Relevance and disjunctive syllogism. |
Notre Dame J. Formal Log. |
1988 |
DBLP DOI BibTeX RDF |
|
26 | Kenichi Morita, Noritaka Nishihara, Eriko Emura |
An efficient reasoning method for syllogism and its application to knowledge processing. |
Syst. Comput. Jpn. |
1988 |
DBLP DOI BibTeX RDF |
|
26 | Chris Mortensen |
The validity of disjunctive syllogism is not so easily proved. |
Notre Dame J. Formal Log. |
1983 |
DBLP DOI BibTeX RDF |
|
26 | Ranulph Glanville, Peter Jackson |
The Theory of Model Dimensions Applied to a Computer Solution of a Syllogism. |
Int. J. Man Mach. Stud. |
1983 |
DBLP DOI BibTeX RDF |
|
26 | Ford Waghrees Gorgy |
The Independence of the Rule of Syllogism in S2. |
Math. Log. Q. |
1979 |
DBLP DOI BibTeX RDF |
|
26 | David Marshall |
Łukasiewicz, Leibniz and the arithmetization of the syllogism. |
Notre Dame J. Formal Log. |
1977 |
DBLP DOI BibTeX RDF |
|
26 | Ivo Thomas |
Axiom sets equivalent to syllogism and Peirce. |
Notre Dame J. Formal Log. |
1976 |
DBLP DOI BibTeX RDF |
|
26 | T. J. Smiley |
What is a syllogism? |
J. Philos. Log. |
1973 |
DBLP DOI BibTeX RDF |
|
26 | Setsuo Saito |
A theory of categorical syllogism. |
Notre Dame J. Formal Log. |
1969 |
DBLP DOI BibTeX RDF |
|
26 | Edward A. Hacker |
Number system for the immediate inferences and the syllogism in Aristotelian logic. |
Notre Dame J. Formal Log. |
1967 |
DBLP DOI BibTeX RDF |
|
26 | Timothy Smiley |
Syllogism and Quantification. |
J. Symb. Log. |
1962 |
DBLP DOI BibTeX RDF |
|
22 | Ian Pratt-Hartmann |
No Syllogisms for the Numerical Syllogistic. |
Languages: From Formal to Natural |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Xiaowang Zhang, Guohui Xiao 0001, Zuoquan Lin |
A Tableau Algorithm for Handling Inconsistency in OWL. |
ESWC |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Xiaowang Zhang, Zuoquan Lin |
Paraconsistent Reasoning with Quasi-classical Semantic in . |
RR |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Ioan Alfred Letia, Adrian Groza |
Exploiting Rough Argumentation in an Online Dispute Resolution Mediator. |
RSEISP |
2007 |
DBLP DOI BibTeX RDF |
|
22 | John K. Slaney |
Relevant Logic and Paraconsistency. |
Inconsistency Tolerance |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Mayuka F. Kawaguchi, Masaaki Miyakoshi |
Weakly Associative Functions on [0, 1] as Logical Connectives. |
ISMVL |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Anthony Hunter |
A Semantic Tableau Version of First-Order Quasi-Classical Logic. |
ECSQARU |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Sukhamay Kundu, Jianhua Chen 0003 |
Fuzzy Logic or Lukasiewicz Logic: A Clarification. |
ISMIS |
1994 |
DBLP DOI BibTeX RDF |
|