|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6 occurrences of 6 keywords
|
|
|
Results
Found 21 publication records. Showing 21 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
61 | Hassan Bezzazi, Ramón Pino Pérez |
Rational Transitivity and its Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 26th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1996, Santiago de Compostela, Spain, May 29-31, 1996, Proceedings, pp. 160-165, 1996, IEEE Computer Society, 0-8186-7392-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
preferential models, rational monotony, injective models, contraposition, transitivity, Nonmonotonic logic |
49 | Richard Zuber |
Symmetric and contrapositional quantifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 16(1), pp. 1-13, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ ![In: IEEE International Conference on Fuzzy Systems, FUZZ 2023, Incheon, Republic of Korea, August 13-17, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-3228-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
32 | Jun Zhou, Huimin Qian |
Stability analysis of sampled-data systems via open-/closed-loop characteristic polynomials contraposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Syst. Sci. ![In: Int. J. Syst. Sci. 48(9), pp. 1941-1953, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
32 | Piotr Helbin |
The Law of Contraposition and the Law of Importation for Probabilistic S-Implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUSFLAT/IWIFSGN (2) ![In: Advances in Fuzzy Logic and Technology 2017 - Proceedings of: EUSFLAT- 2017 - The 10th Conference of the European Society for Fuzzy Logic and Technology, September 11-15, 2017, Warsaw, Poland IWIFSGN'2017 - The Sixteenth International Workshop on Intuitionistic Fuzzy Sets and Generalized Nets, September 13-15, 2017, Warsaw, Poland, Volume 2, pp. 226-237, 2017, Springer, 978-3-319-66823-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLEI Electron. J. ![In: CLEI Electron. J. 19(2), pp. 2, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: 2015 IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2015, Istanbul, Turkey, August 2-5, 2015, pp. 1-7, 2015, IEEE, 978-1-4673-7428-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLEI ![In: 2015 Latin American Computing Conference, CLEI 2015, Arequipa, Peru, October 19-23, 2015, pp. 1-8, 2015, IEEE, 978-1-4673-9143-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICARCV ![In: 13th International Conference on Control Automation Robotics & Vision, ICARCV 2014, Singapore, December 10-12, 2014, pp. 1142-1146, 2014, IEEE, 978-1-4799-5199-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPMU (1) ![In: Information Processing and Management of Uncertainty in Knowledge-Based Systems - 15th International Conference, IPMU 2014, Montpellier, France, July 15-19, 2014, Proceedings, Part I, pp. 158-167, 2014, Springer, 978-3-319-08794-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 21(4), pp. 719-734, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
32 | Jun Zhou |
Contraposition 2-Regularized Nyquist Stability Criteria for Linear Continuous-Time Periodic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSYCO ![In: 5th IFAC International Workshop on Periodic Control Systems, PSYCO 2013, Caen, France, July 3-5, 2013., pp. 149-154, 2013, International Federation of Automatic Control, 978-3-902823-38-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: FUZZ-IEEE 2010, IEEE International Conference on Fuzzy Systems, Barcelona, Spain, 18-23 July, 2010, Proceedings, pp. 1-8, 2010, IEEE, 978-1-4244-6919-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
32 | Martin Caminada |
On the Issue of Contraposition of Defeasible Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMMA ![In: Computational Models of Argument: Proceedings of COMMA 2008, Toulouse, France, May 28-30, 2008., pp. 109-115, 2008, IOS Press, 978-1-58603-859-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
32 | Greg Restall |
Displaying and Deciding Substructural Logics 1: Logics with Contraposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 27(2), pp. 179-216, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
32 | Yves Moinard |
Reasoning by Cases without Contraposition in Default Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: Proceedings of the Eleventh European Conference on Artificial Intelligence, Amsterdam, The Netherlands, August 8-12, 1994., pp. 381-385, 1994, John Wiley and Sons, Chichester. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
32 | Michael Freund, Daniel Lehmann 0001, Paul Morris |
Rationality, Transitivity, and Contraposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 52(2), pp. 191-203, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
25 | Zhudeng Wang |
On the Direct Decomposability of QL-Implication Operators on Product Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (1) ![In: Fourth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2007, 24-27 August 2007, Haikou, Hainan, China, Proceedings, Volume 1, pp. 201-203, 2007, IEEE Computer Society, 0-7695-2874-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on Document Engineering ![In: Proceedings of the 2006 ACM Symposium on Document Engineering, Amsterdam, The Netherlands, October 10-13, 2006, pp. 186-187, 2006, ACM, 1-59593-515-0. The full citation details ...](Pics/full.jpeg) |
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, . ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 16th International Symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005, Proceedings, pp. 634-643, 2005, Springer, 3-540-30935-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Camilla Schwind |
A Theory for Causal Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-99: Advances in Artificial Intelligence, 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999, Proceedings, pp. 285-288, 1999, Springer, 3-540-66495-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #21 of 21 (100 per page; Change: )
|
|