Search results for "syllogism"

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