Found 156 Documents (Results 1–100)
Paraconsistent logic and query answering in inconsistent databases. (English) Zbl 07821021
MSC:
03-XX
The alpha-ordering for a wide class of fuzzy sets of the real line: the particular case of fuzzy numbers. (English) Zbl 1538.03024
MSC:
03E72
Reasoning about regular properties: a comparative study. (English) Zbl 07838493
Pientka, Brigitte (ed.) et al., Automated deduction – CADE 29. 29th international conference on automated deduction, Rome, Italy, July 1–4, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14132, 286-306 (2023).
Novel correlation coefficients for interval-valued Fermatean hesitant fuzzy sets with pattern recognition application. (English) Zbl 1508.03086
Multiattribute decision making based on Fermatean hesitant fuzzy sets and modified VIKOR method. (English) Zbl 1535.90076
Non-returning finite automata with translucent letters. (English) Zbl 07800499
Bordihn, Henning (ed.) et al., Proceedings of the 12th international workshop on non-classical models of automata and applications, NCMA 2022, Debrecen, Hungary, August 26–27, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 367, 143-159 (2022).
Determining the membership degrees in the range \((0, 1)\) for hypersoft sets independently of the decision-maker. (English) Zbl 1496.03212
Approaches that take into account interactions between parameters: pure (fuzzy) soft sets. (English) Zbl 1513.03090
MSC:
03E72
A two-step singularly P-Stable method with high phase and large stability properties for problems in chemistry. (English) Zbl 1487.81083
A decision-making approach to reduce the margin of error of decision makers for bipolar soft set theory. (English) Zbl 1483.91063
Novel analysis of fuzzy physical models by generalized fractional fuzzy operators. (English) Zbl 1482.35267
J. Funct. Spaces 2022, Article ID 2504031, 12 p. (2022); retraction notice ibid. 2023, Article ID 9824568, 1 p. (2023).
A multi-clause dynamic deduction algorithm based on standard contradiction separation rule. (English) Zbl 1527.68257
Efficient iterative methods for finding simultaneously all the multiple roots of polynomial equation. (English) Zbl 1494.65024
How the F-transform can be defined for hesitant, soft or intuitionistic fuzzy sets? (English) Zbl 1495.03069
Torra, Vicenç (ed.) et al., Modeling decisions for artificial intelligence. 18th international conference, MDAI 2021, Umeå, Sweden, September 27–30, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12898, 106-117 (2021).
MSC:
03E72
Right adjoint algebras versus operator left residuated posets. (English) Zbl 1495.68223
Ramanna, Sheela (ed.) et al., Rough sets. International joint conference, IJCRS 2021, Bratislava, Slovakia, September 19–24, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12872, 180-191 (2021).
Graph pattern detection: hardness for all induced patterns and faster noninduced cycles. (English) Zbl 1478.05145
Implication operators generating pairs of weak negations and their algebraic structure. (English) Zbl 1464.03091
Algebraic structure of adjoint triples generating a weak negation on the unit interval. (English) Zbl 1509.03077
Bello, Rafael (ed.) et al., Rough sets. International joint conference, IJCRS 2020, Havana, Cuba, June 29 – July 3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12179, 337-348 (2020).
NAE-resolution: a new resolution refutation technique to prove not-all-equal unsatisfiability. (English) Zbl 1492.68064
Utilization of trapezoidal intuitionistic fuzzy numbers and extended fuzzy preference relation for multi-criteria group decision-making based on individual differentiation of decision-makers. (English) Zbl 1436.03284
\(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments. (English) Zbl 1468.68304
Searching for shortest and least programs. (English) Zbl 1443.68074
Reviewer: Liang Yu (Nanjing)
Implicative UP-filters. (English) Zbl 1438.03062
MSC:
03G25
A study on the relationship between relaxed metrics and indistinguishability operators. (English) Zbl 1418.03158
MSC:
03E72
Dual tableau-based decision procedures for fragments of the logic of binary relations. (English) Zbl 07908126
Golińska-Pilarek, Joanna (ed.) et al., Ewa Orłowska on relational methods in logic and computer science. Cham: Springer. Outst. Contrib. Log. 17, 169-202 (2018).
Reasoning on relations, modalities, and sets. (English) Zbl 07908125
Golińska-Pilarek, Joanna (ed.) et al., Ewa Orłowska on relational methods in logic and computer science. Cham: Springer. Outst. Contrib. Log. 17, 129-168 (2018).
Everything is a relation: a preview. (English) Zbl 07908119
Golińska-Pilarek, Joanna (ed.) et al., Ewa Orłowska on relational methods in logic and computer science. Cham: Springer. Outst. Contrib. Log. 17, 3-24 (2018).
Formal concept analysis and structures underlying quantum logics. (English) Zbl 1512.68326
Medina, Jesús (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. Theory and foundations. 17th international conference, IPMU 2018, Cádiz, Spain, June 11–15, 2018, Proceedings. Part I. Cham: Springer. Commun. Comput. Inf. Sci. 853, 574-584 (2018).
Axiomatic of inverse lattice-valued F-transform. (English) Zbl 1512.03067
Medina, Jesús (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. Theory and foundations. 17th international conference, IPMU 2018, Cádiz, Spain, June 11–15, 2018. Proceedings. Part II. Cham: Springer. Commun. Comput. Inf. Sci. 854, 115-126 (2018).
On filters in BZ-algebras. (English) Zbl 1499.06076
Linking focusing and resolution with selection. (English) Zbl 1510.03010
Potapov, Igor (ed.) et al., 43rd international symposium on mathematical foundations of computer science. MFCS 2018, Liverpool, United Kingdom, August 27–31, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 117, Article 9, 14 p. (2018).
MSC:
03B35
Type theory based semantic verification for service composition in cloud computing environments. (English) Zbl 1441.68133
Contradiction separation based dynamic multi-clause synergized automated deduction. (English) Zbl 1440.03040
Note on “Symmetric triangular approximations of fuzzy numbers under a general condition and properties”. (English) Zbl 1398.03203
Fuzzy multi-criteria decision making on combining fuzzy analytic hierarchy process with representative utility functions under fuzzy environment. (English) Zbl 1398.91209
Decomposition and intersection of two fuzzy numbers for fuzzy preference relations. (English) Zbl 1423.03230
A generalization of trapezoidal fuzzy numbers based on modal interval theory. (English) Zbl 1423.03213
MSC:
03E72
Semantically-guided goal-sensitive reasoning: inference system and completeness. (English) Zbl 1437.68189
Adaptive fuzzy output feedback and command filtering error compensation control for permanent magnet synchronous motors in electric vehicle drive systems. (English) Zbl 1373.93191
Enumerations including laconic enumerators. (English) Zbl 1383.68040
Reviewer: Ludwig Staiger (Halle/Saale)
Existence of interval, triangular, and trapezoidal approximations of fuzzy numbers under a general condition. (English) Zbl 1393.03045
MSC:
03E72
An integrated assessment of companies based on value based measures in fuzzy environment. (English) Zbl 1424.62003
Unsatisfiable formulae of Gödel logic with truth constants and \(\varDelta \) are recursively enumerable. (English) Zbl 1401.03036
Merelo, Juan Julian (ed.) et al., Computational intelligence. 6th international joint conference, IJCCI 2014 Rome, Italy, October 22–24, 2014. Revised selected papers. Cham: Springer (ISBN 978-3-319-26391-5/hbk; 978-3-319-26393-9/ebook). Studies in Computational Intelligence 620, 213-234 (2016).
Symmetric triangular approximations of fuzzy numbers under a general condition and properties. (English) Zbl 1370.03069
Semantically-guided goal-sensitive reasoning: model representation. (English) Zbl 1356.68180
MSC:
68T15
03B35
Labelled interpolation systems for hyper-resolution, clausal, and local proofs. (English) Zbl 1356.68199
Ranking triangle and trapezoidal fuzzy numbers based on the relative preference relation. (English) Zbl 1432.91043
Flexary connectives in Mizar. (English) Zbl 1387.68207
MSC:
68T15
03B35
Improving legibility of formal proofs based on the close reference principle is NP-hard. (English) Zbl 1356.68198
A modal-layered resolution calculus for K. (English) Zbl 1471.03017
De Nivelle, Hans (ed.), Automated reasoning with analytic tableaux and related methods. 24th international conference, TABLEAUX 2015, Wrocław, Poland, September 21–24, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9323, 185-200 (2015).
History and prospects for first-order automated deduction. (English) Zbl 1465.03055
Felty, Amy P. (ed.) et al., Automated deduction – CADE-25. 25th international conference on automated deduction, Berlin, Germany, August 1–7, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9195, 3-28 (2015).
On first-order model-based reasoning. (English) Zbl 1322.03013
Martí-Oliet, Narciso (ed.) et al., Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Cham: Springer (ISBN 978-3-319-23164-8/pbk; 978-3-319-23165-5/ebook). Lecture Notes in Computer Science 9200, 181-204 (2015).
Approximations by LR-type fuzzy numbers. (English) Zbl 1335.03059
MSC:
03E72
Existence, uniqueness and continuity of trapezoidal approximations of fuzzy numbers under a general condition. (English) Zbl 1335.03046
MSC:
03E72
Relational dual tableau decision procedures and their applications to modal and intuitionistic logics. (English) Zbl 1317.03017
Reviewer: Nail Zamov (Kazan)
An object-parameter approach to predicting unknown data in incomplete fuzzy soft sets. (English) Zbl 1444.03151
Operations on soft sets revisited. (English) Zbl 1266.03068
MSC:
03E72
More on fuzzy lattices. (English) Zbl 1268.06010
Jean van Heijenoort’s contributions to proof theory and its history. (English) Zbl 1272.03001
Reviewer: M. Yasuhara (Princeton)
On some generalizations of BCC-algebras. (English) Zbl 1279.06012
Reviewer: Zhan Jianming (Enshi)
On decidability of a logic for order of magnitude qualitative reasoning with bidirectional negligibility. (English) Zbl 1361.68230
Fariñas del Cerro, Luis (ed.) et al., Logics in artificial intelligence. 13th European conference, JELIA 2012, Toulouse, France, September 26–28, 2012. Proceeding. Berlin: Springer (ISBN 978-3-642-33352-1/pbk). Lecture Notes in Computer Science 7519. Lecture Notes in Artificial Intelligence, 255-266 (2012).
On the existence and unicity of stable models in normal residuated logic programs. (English) Zbl 1238.68045
Implementing a relational theorem prover for modal logic K. (English) Zbl 1229.03019
MSC:
03B45
68T15
Dual tableau for monoidal triangular norm logic MTL. (English) Zbl 1216.03045
Reviewer: Michał Baczyński (Katowice)
MSC:
03B52
The Hausdorff fuzzy quasi-metric. (English) Zbl 1205.54015
Reviewer: Fu-Gui Shi (Beijing)
Analyzing completeness of axiomatic functional systems for temporal \(\times \) modal logics. (English) Zbl 1185.03020
Reviewer: Manuel Ojeda Aciego (Málaga)
Filter Results by …
Document Type
- Journal Articles (135)
- Collection Articles (21)
all
top 5
Author
- Medina, Jesús (9)
- Cornejo, Maria Eugenia (8)
- Ojeda-Aciego, Manuel (6)
- Golińska-Pilarek, Joanna (5)
- Bonacina, Maria Paola (4)
- Calude, Cristian S. (4)
- Močkoř, Jiří (4)
- Muñoz-Velasco, Emilio (4)
- Plaisted, David Alan (4)
- Ramírez-Poussa, Eloisa (4)
- Ban, Adrian I. (3)
- Baumgartner, Peter (3)
- Coroianu, Lucian C. (3)
- Dalkilic, Orhan (3)
- Furbach, Ulrich (3)
- Hustadt, Ullrich (3)
- Madrid, Nicolás (3)
- Mora, Angel (3)
- Valero, Oscar (3)
- Wang, Yu-Jie (3)
- Yeh, Chi-Tsuen (3)
- Amir, Amihood (2)
- Burrieza, Alfredo (2)
- Chen, Shuwei (2)
- Choueka, Yaacov (2)
- Cordero, Pablo (2)
- Pérez de Guzmán, Inmaculada (2)
- Dixon, Clare (2)
- Esbouei, Saber Khalili (2)
- Grabowski, Adam (2)
- Guller, Dušan (2)
- He, Xingxing (2)
- Ibarra, Oscar H. (2)
- Jain, Sanjay (2)
- Jürgensen, Helmut (2)
- Konecny, Jan (2)
- Korniłowicz, Artur (2)
- Liu, Jun (2)
- Matiyasevich, Yuriĭ Vladimirovich (2)
- Nalon, Cláudia (2)
- Okhotin, Alexander (2)
- Peltier, Nicolas (2)
- Rosier, Louis E. (2)
- Schmidt, Renate A. (2)
- Xu, Yang (2)
- Adillon, Romà J. (1)
- Agarwal, Praveen (1)
- Aguilera, Gabriel (1)
- Alharbi, Fahad M. (1)
- Alonso, Pedro (1)
- Anellis, Irving Henry (1)
- Baaz, Matthias (1)
- Bezem, Marc (1)
- Borm, Alfred E. (1)
- Brandenburg, Franz-Josef (1)
- Bry, François (1)
- Bucher, Walter (1)
- Burel, Guillaume (1)
- Bustince Sola, Humberto (1)
- Butrick, Richard (1)
- Campión, María Jesús (1)
- Cantone, Domenico (1)
- Cao, Feng (1)
- Catalán, Raquel G. (1)
- Chacón-Gómez, Fernando (1)
- Chang, Jik Hyun (1)
- Chazelle, Bernard (1)
- Chen, Shyiming (1)
- Chu, Han-Min (1)
- Coolsaet, Kris (1)
- Cruz, Anderson Paiva (1)
- Czech, Łukasz (1)
- Dalirrooyfard, Mina (1)
- Davvaz, Bijan (1)
- Day, Adam R. (1)
- de Moura, Leonardo (1)
- de Nivelle, Hans (1)
- de Rijke, Maarten (1)
- Demir, Ibrahim (1)
- Deng, Tingquan (1)
- Díaz-Moreno, Juan Carlos (1)
- Díaz, Irene (1)
- Downey, Rodney Graham (1)
- Droste, Manfred (1)
- Dudek, Wiesław Aleksander (1)
- Enciso, Manuel (1)
- Fachini, Emanuela (1)
- Fack, Veerle (1)
- Fedorov, Ruslan V. (1)
- Fehrer, Detlef (1)
- Feng, Yanghe (1)
- Fernández Fernández, Francisco Javier (1)
- Ferretti, Claudio (1)
- Fiedor, Tomáš (1)
- Fitelson, Branden (1)
- Formisano, Andrea (1)
- Fortes, Inmaculada (1)
- Franco, Giuditta (1)
- Fröhlich, Peter (1)
- Fuster-Parra, Pilar (1)
- and 146 more Authors
all
top 5
Serial
- Theor. Comput. Sci. (14)
- Int. J. Comput. Math. (14)
- Fuzzy Sets Syst. (12)
- J. Autom. Reasoning (11)
- Inf. Sci. (10)
- Soft Comput. (6)
- J. Comput. Syst. Sci. (3)
- Ann. Math. Artif. Intell. (3)
- Comput. Math. Appl. (2)
- Inf. Process. Lett. (2)
- Math. Methods Appl. Sci. (2)
- J. Sov. Math. (2)
- Ann. Pure Appl. Logic (2)
- J. Symb. Comput. (2)
- Appl. Math. Modelling (2)
- J. Appl. Non-Class. Log. (2)
- Comput. Appl. Math. (2)
- Math. Log. Q. (2)
- J. Appl. Math. (2)
- J. Intell. Fuzzy Syst. (2)
- Bol. Soc. Parana. Mat. (3) (2)
- Symmetry (2)
- Int. J. Syst. Sci., Princ. Appl. Syst. Integr. (2)
- Acta Inf. (1)
- Discrete Appl. Math. (1)
- Int. J. Gen. Syst. (1)
- J. Franklin Inst. (1)
- Math. Notes (1)
- Appl. Math. Comput. (1)
- Computing (1)
- J. Comput. Appl. Math. (1)
- J. Philos. Log. (1)
- Proc. Am. Math. Soc. (1)
- SIAM J. Comput. (1)
- Stud. Log. (1)
- Trans. Am. Math. Soc. (1)
- Topology Appl. (1)
- Cybernetics (1)
- Algorithmica (1)
- Inf. Comput. (1)
- Math. Comput. Modelling (1)
- Math. Struct. Comput. Sci. (1)
- Turk. J. Math. (1)
- Filomat (1)
- J. Math. Chem. (1)
- Theor. Inform. Appl. (1)
- J. Log. Algebr. Program. (1)
- Comput. Lang. Syst. Struct. (1)
- Missouri J. Math. Sci. (1)
- Hacet. J. Math. Stat. (1)
- Adv. Difference Equ. (1)
- Log. Univers. (1)
- TWMS J. Pure Appl. Math. (1)
- Afr. Mat. (1)
- J. Funct. Spaces (1)
all
top 5
Year of Publication
- 2024 (3)
- 2023 (5)
- 2022 (10)
- 2021 (8)
- 2020 (7)
- 2019 (4)
- 2018 (15)
- 2017 (7)
- 2016 (8)
- 2015 (11)
- 2014 (6)
- 2013 (2)
- 2012 (7)
- 2011 (3)
- 2010 (3)
- 2009 (4)
- 2008 (3)
- 2007 (1)
- 2006 (1)
- 2005 (2)
- 2004 (2)
- 2003 (4)
- 2000 (1)
- 1999 (2)
- 1997 (2)
- 1996 (2)
- 1994 (3)
- 1992 (3)
- 1991 (2)
- 1990 (1)
- 1989 (1)
- 1988 (2)
- 1987 (3)
- 1986 (1)
- 1985 (3)
- 1984 (1)
- 1983 (4)
- 1982 (1)
- 1981 (1)
- 1980 (1)
- 1979 (1)
- 1978 (2)
- 1977 (1)
- 1973 (1)
- 1967 (1)
Biographic Reference
- Orłowska, Ewa S. (1)
all
top 3
Software
- OTTER (11)
- SATCHMO (9)
- E Theorem Prover (8)
- SPASS (6)
- VAMPIRE (6)
- E-Darvin (4)
- E-KRHyper (4)
- Mizar (4)
- TPTP (4)
- iProver (4)
- ALGOL 60 (3)
- Chaff (3)
- Coq (3)
- DCTP (3)
- Darwin (3)
- Isar (3)
- Mace4 (3)
- PTTP (3)
- Prover9 (3)
- iProver-Eq (3)
- ABC (2)
- CLIN (2)
- GitHub (2)
- HyLoRes (2)
- MMode (2)
- MSPASS (2)
- MiniSat (2)
- OMDoc (2)
- SIMPLIFY (2)
- Scavenger (2)
- XPath (2)
- z3 (2)
- 3TAP (1)
- AURA (1)
- AVATAR (1)
- Antichains (1)
- BDDTab (1)
- Bison (1)
- Bliksem (1)
- CVC4 (1)
- DISCOUNT (1)
- E-MaLeS (1)
- ESC/Java (1)
- EXPFIT4 (1)
- Easychair (1)
- FEMaLeCoP (1)
- FINDER (1)
- FLOTTER (1)
- FOCI (1)
- FaCT++ (1)
- Flex (1)
- GKC (1)
- HARP (1)
- HOL (1)
- HOL Light (1)
- ITP (1)
- Imogen (1)
- InKreSAT (1)
- Isabelle/HOL (1)
- Isabelle/Isar (1)
- KL-ONE (1)
- LaTeX (1)
- LoTREC (1)
- Logic2CNF (1)
- MML (1)
- MONA (1)
- MTBDD (1)
- Mathematica (1)
- Maude (1)
- MetTeL (1)
- NQTHM (1)
- Nitpick (1)
- OSTRICH+ (1)
- Omega-MKRP (1)
- PROVERB (1)
- PeRIPLO (1)
- Pesca (1)
- PicoSAT (1)
- QHDFoam (1)
- RRL (1)
- Rex (1)
- SCC (1)
- SCOTT (1)
- SMT-LIB (1)
- SRASS (1)
- SbReve2 (1)
- Spartacus (1)
- Spec# (1)
- TRAU (1)
- TRP++ (1)
- VATA (1)
- VIKOR (1)
- Waldmeister (1)
- cvc5 (1)
- leanCoP (1)
- leanTAP (1)
- miz3 (1)
- nuXmv (1)