Search results for "contraposition"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
61	Hassan Bezzazi, Ramón Pino Pérez	Rational Transitivity and its Models.	ISMVL	1996	DBLP DOI BibTeX RDF	preferential models, rational monotony, injective models, contraposition, transitivity, Nonmonotonic logic
49	Richard Zuber	Symmetric and contrapositional quantifiers.	J. Log. Lang. Inf.	2007	DBLP DOI BibTeX RDF	Contaposition of quantifiers, Symmetry of higher order quantifiers
32	Adam Grabowski	Computer-Supported Encoding of Fuzzy Negations and Laws of Contraposition.	FUZZ	2023	DBLP DOI BibTeX RDF
32	Jun Zhou, Huimin Qian	Stability analysis of sampled-data systems via open-/closed-loop characteristic polynomials contraposition.	Int. J. Syst. Sci.	2017	DBLP DOI BibTeX RDF
32	Piotr Helbin	The Law of Contraposition and the Law of Importation for Probabilistic S-Implications.	EUSFLAT/IWIFSGN (2)	2017	DBLP DOI BibTeX RDF
32	Jeisson Hidalgo-Céspedes, Gabriela Marín, Vladimir Lara-Villagrán	Understanding Notional Machines through Traditional Teaching with Conceptual Contraposition and Program Memory Tracing.	CLEI Electron. J.	2016	DBLP DOI BibTeX RDF
32	Graçaliz Pereira Dimuro, Benjamín R. C. Bedregal	On the laws of contraposition for residual implications derived from overlap functions.	FUZZ-IEEE	2015	DBLP DOI BibTeX RDF
32	Jeisson Hidalgo-Céspedes, Gabriela Marín Raventós, Vladimir Lara-Villagrán	Student understanding of the C++ notional machine through traditional teaching with conceptual contraposition and program memory tracing.	CLEI	2015	DBLP DOI BibTeX RDF
32	Jun Zhou 0010, Xinbiao Lu, Huimin Qian	Contraposition Nyquist stability criteria for linear time-delayed systems of retarded type.	ICARCV	2014	DBLP DOI BibTeX RDF
32	Michal Baczynski 0001, Przemyslaw Grzegorzewski, Wanda Niemyska	Laws of Contraposition and Law of Importation for Probabilistic Implications and Probabilistic S-implications.	IPMU (1)	2014	DBLP DOI BibTeX RDF
32	Arpita Chakraborty, Amit Konar, Nikhil R. Pal, Lakhmi C. Jain	Extending the Contraposition Property of Propositional Logic for Fuzzy Abduction.	IEEE Trans. Fuzzy Syst.	2013	DBLP DOI BibTeX RDF
32	Jun Zhou	Contraposition 2-Regularized Nyquist Stability Criteria for Linear Continuous-Time Periodic Systems.	PSYCO	2013	DBLP DOI BibTeX RDF
32	Aruna Chakraborty, Amit Konar, Atulya K. Nagar	A structured approach to fuzzy abduction based on contraposition property of propositional logic.	FUZZ-IEEE	2010	DBLP DOI BibTeX RDF
32	Martin Caminada	On the Issue of Contraposition of Defeasible Rules.	COMMA	2008	DBLP BibTeX RDF
32	Greg Restall	Displaying and Deciding Substructural Logics 1: Logics with Contraposition.	J. Philos. Log.	1998	DBLP DOI BibTeX RDF
32	Yves Moinard	Reasoning by Cases without Contraposition in Default Logic.	ECAI	1994	DBLP BibTeX RDF
32	Michael Freund, Daniel Lehmann 0001, Paul Morris	Rationality, Transitivity, and Contraposition.	Artif. Intell.	1992	DBLP DOI BibTeX RDF
25	Zhudeng Wang	On the Direct Decomposability of QL-Implication Operators on Product Lattices.	FSKD (1)	2007	DBLP DOI BibTeX RDF
25	Pablo César, Dick C. A. Bulterman, A. J. Jansen 0001	The ambulant annotator: empowering viewer-side enrichment of multimedia content.	ACM Symposium on Document Engineering	2006	DBLP DOI BibTeX RDF	structured, SMIL, multimedia documents, content enrichment
25	Carme Àlvarez, Joaquim Gabarró, Maria J. Serna	Polynomial Space Suffices for Deciding Nash Equilibria Properties for Extensive Games with Large Trees, .	ISAAC	2005	DBLP DOI BibTeX RDF
25	Camilla Schwind	A Theory for Causal Reasoning.	KI	1999	DBLP DOI BibTeX RDF