Reasoning about dependence, preference and coalitional power. (English) Zbl 07802217
MSC:
03-XX
Found 72 Documents (Results 1–72)
Optimality justifications and the optimality principle: new tools for foundation-theoretic epistemology. (English) Zbl 1535.03040
MSC:
03A10
Optimization of the Bolza problem with higher-order differential inclusions and initial point and state constraints. (English) Zbl 1491.49020
Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism. (English) Zbl 07484054
MSC:
03-XX
Why classical logic is privileged: justification of logics based on translatability. (English) Zbl 1528.03066
On optimal representatives of finite coloured linear orders. (English) Zbl 1444.06001
Reviewer: Keith Kearnes (Boulder)
Optimality justifications: new foundations for foundation-oriented epistemology. (English) Zbl 1474.03045
MSC:
03A05
Is the optimal implementation inefficient? Elementarily not. (English) Zbl 1434.68087
Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 17, 16 p. (2017).
Infinite subgame perfect equilibrium in the Hausdorff difference hierarchy. (English) Zbl 1460.91031
Hajiaghayi, Mohammad Taghi (ed.) et al., Topics in theoretical computer science. The first IFIP WG 1.8 international conference, TTCS 2015, Tehran, Iran, August 26–28, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9541, 147-163 (2016).
Math-selfie. (English) Zbl 1468.46009
On the computability of Solomonoff induction and knowledge-seeking. (English) Zbl 1388.68252
Chaudhuri, Kamalika (ed.) et al., Algorithmic learning theory. 26th international conference, ALT 2015, Banff, AB, Canada, October 4–6, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-24485-3/pbk; 978-3-319-24486-0/ebook). Lecture Notes in Computer Science 9355. Lecture Notes in Artificial Intelligence, 364-378 (2015).
Completeness of Åqvist’s systems \(\mathbf E\) and \(\mathbf F\). (English) Zbl 1371.03027
MSC:
03B45
A high-dimensional multi-objective multi-directional co-evolutionary algorithm. (Chinese. English summary) Zbl 1324.90140
Maximality vs. optimality in dyadic deontic logic. Completeness results for systems in Hansson’s tradition. (English) Zbl 1321.03032
Reviewer: David Makinson (London)
Use model theory in nonsmooth analysis. (English) Zbl 1280.49019
Demyanov, Vladimir F. (ed.) et al., Constructive nonsmooth analysis and related topics. New York, NY: Springer (ISBN 978-1-4614-8614-5/hbk; 978-1-4614-8615-2/ebook). Springer Optimization and Its Applications 87, 1-11 (2014).
Contrary-to-duties in games. (English) Zbl 1356.03066
Artikis, Alexander (ed.) et al., Logic programs, norms and action. Essays in honor of Marek J. Sergot on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-29413-6/pbk). Lecture Notes in Computer Science 7360. Lecture Notes in Artificial Intelligence, 329-348 (2012).
Minimality in a linear calculus with iteration. (English) Zbl 1279.68045
Giesl, J. (ed.), Proceedings of the 7th international workshop on reduction strategies in rewriting and programming (WRS 2007), Paris, France, June 25, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 204, 163-179 (2008).
Focus interpretation in thetic statements: Alternative semantics and optimality theory pragmatics. (English) Zbl 1160.03308
MSC:
03B65
Expressing ignorance or indifference. Modal implicatures in bi-directional OT. (English) Zbl 1226.03037
ten Cate, Balder D. (ed.) et al., Logic, language, and computation. 6th international Tbilisi symposium on logic, language, and computation, TbiLLC 2005, Batumi, Georgia, September 12–16, 2005. Revised selected papers. Berlin: Springer (ISBN 978-3-540-75143-4/pbk). Lecture Notes in Computer Science 4363. Lecture Notes in Artificial Intelligence, 1-20 (2007).
MSC:
03B65
Duality in fuzzy number linear programming by use of a certain linear ranking function. (English) Zbl 1102.90080
Which fuzzy logic is the best: pragmatic approach (and its theoretical analysis). (English) Zbl 1102.03028
Reviewer: Witold Pedrycz (Edmonton)
Stability on multiobjective dynamic programming problems with fuzzy parameters in the objective functions and in the constraints. (English) Zbl 1056.90085
Possible and necessary optimality of solutions in the single machine scheduling problem with fuzzy parameters. (English) Zbl 1044.90032
Parametric study of multi-objecitve nonlinear fractional programming problems without differentiability. (English) Zbl 1107.90437
Continuous-time fuzzy decision processes with discounted rewards. (English) Zbl 1064.91033
Reviewer: Milan Mareš (Praha)
Optimality-theoretic syntax – a declarative approach. (English) Zbl 1040.68121
Studies in Constraint-based Lexicalism. Stanford, CA: CSLI, Center of Study of Language and Information (ISBN 1-57586-426-6/pbk). xiii, 238 p. (2003).
Reviewer: Neculai Curteanu (Iaşi)
Dynamic discrete programming with partially ordered criteria set. (English) Zbl 1038.90088
Trzaskalik, Tadeusz (ed.) et al., Multiple objective and goal programming. Recent developments. Proceedings of the 4th international conference, (MOPGP’00), Ustroń, Poland, May 29–June 1, 2000. Heidelberg: Physica-Verlag (ISBN 3-7908-1409-1). Advances in Soft Computing, 186-195 (2002).
Pareto-optimality approach for flexible job-shop scheduling problems: Hybridization of evolutionary algorithms and fuzzy logic. (English) Zbl 1006.90044
Infinitesimal analysis. Part I. (Инфинитезимальный анализ. Часть I.) (Russian) Zbl 1013.46003
Nestandartnye Metody Analiza. Novosibirsk: Izdatel’stvo Instituta Matematiki Im. S. L. Soboleva SO RAN. x, 317 p. (2001).
Reviewer: Victor Alexandrov (Novosibirsk)
Minimal belief change and Pareto-optimality. (English) Zbl 0956.03510
Foo, Norman (ed.), Advanced topics in artificial intelligence. 12th Australian joint conference on Artificial intelligence, AI ’99, Sydney, Australia, December 6-10, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1747, 144-155 (1999).
Optimal converter of multi-variate fuzzy processing system for human-computer interactions. (English) Zbl 0859.93034
Reviewer: M.Mareš (Praha)
Fuzziness, knowledge and optimization: New optimality concepts. (English) Zbl 0826.90137
Delgado, Miguel (ed.) et al., Fuzzy optimization. Recent advances. Heidelberg: Physica-Verlag. Stud. Fuzziness. 2, 3-20 (1994).
Optimum inductive methods. (English) Zbl 0826.62005
Synthese Library. 232. Dordrecht: Kluwer Academic Publ. xiii, 193 p. (1993).
Reviewer: H.E.Kyburg (Rochester)
Random relaxed controls and partially observed stochastic systems. (English) Zbl 0801.93059
Reviewer: B.Mathiszik (Halle)
An interactive fuzzy satisficing method for generalized multiobjective linear programming problems with fuzzy parameters. (English) Zbl 0715.90098
Interactive decision making for multiobjective nonlinear programming problems with fuzzy parameters. (English) Zbl 0681.90070
Reviewer: R.G.Vachnadze
Interactive fuzzy decision making for generalized multiobjective linear fractional programming problems with fuzzy parameters. (English) Zbl 0674.90088
Optimal data flow analysis via observational equivalence. (English) Zbl 0755.68036
Mathematical foundations of computer science, Proc. 14th Symp., MFCS ’89, Porąbka-Kozubnik/Pol. 1989, Lect. Notes Comput. Sci. 379, 492-502 (1989).
Finite constants: Characterizations of a new decidable set of constants. (English) Zbl 0755.68035
Mathematical foundations of computer science, Proc. 14th Symp., MFCS ’89, Porąbka-Kozubnik/Pol. 1989, Lect. Notes Comput. Sci. 379, 481-491 (1989).
The method of descent in strong variations in a nonlinear problem of heating control. (English. Russian original) Zbl 0661.49015
Leningr. Univ. Mech. Bull. 1987, No. 3, 48-50 (1987); translation from Vestn. Leningr. Univ., Ser. I 1987, No. 3, 115-117 (1987).
The method of descent with respect to strong variations in the nonlinear heating control problem. (English) Zbl 0646.49021
An interactive satisficing method for multiobjective nonlinear programming problems with fuzzy parameters. (English) Zbl 0634.90081
Optimization models using fuzzy sets and possibility theory, Theory Decis. Libr., Ser. B 4, 258-271 (1987).
Method of descent with respect to strong variations in a nonlinear problem of heat control. (Russian. English summary) Zbl 0626.49014
A fuzzy preference relation in the vector maximum problem. (English) Zbl 0618.90048
Reviewer: P.d’Alessandro
Indexed dynamic model. (English) Zbl 0605.90039
An interactive method for multiobjective nonlinear programming problems with fuzzy parameters. (English) Zbl 0604.90120
Cybernetics and systems ’86, Proc. 8th Eur. Meet., Vienna/Austria 1986, 607-615 (1986).
Interactive decision making for multiobjective linear programming problems with fuzzy parameters. (English) Zbl 0603.90124
Large-scale modelling and interactive decision analysis, Proc. Workshop, Eisenach/GDR 1985, Lect. Notes Econ. Math. Syst. 273, 88-96 (1986).
On fuzzy model of economic dynamics. (English) Zbl 0602.90037
Interval and fuzzy mathematics, Proc. Polish Symp., Poznań/Pol. 1983, 159-164 (1985).
Interactive decision making for multiobjective linear fractional programming problems with fuzzy parameters. (English) Zbl 0601.90088
Reviewer: R.G.Vachnadze
Multicriteria problems under conditions of uncertainty of fuzzy type. (Russian) Zbl 0606.90086
Mathematical methods of optimization and control in complex systems, Collect. sci. Works, Kalinin 1984, 78-84 (1984).
Generalized principle of optimality in pansystems network analysis. (English) Zbl 0566.90100
Reviewer: J.Jaron
Formulation of fuzzy linear programming problem based on fuzzy objective function. (Japanese. English summary) Zbl 0541.90069
Runge-Kutta schemes applied to linear-quadratic optimal control problems. (English) Zbl 0535.49025
Mathematics and education in mathematics, Proc. 13th Spring Conf., Sunny Beach/Bulg. 1984, 464-472 (1984).
Generalized Kolmogorov complexity and duality in computational theory. (English. Russian original) Zbl 0511.03016
Sov. Math., Dokl. 25, 559-564 (1982); translation from Dokl. Akad. Nauk SSSR 264, 19-23 (1982).
Comparison method in mathematical systems theory. (Metod sravneniya v matematicheskoj teorii sistem). (Russian) Zbl 0468.93002
Akademiya Nauk SSSR, Sibirskoe Otdelenie, Sibirskij Ehnergeticheskij Institut. Novosibirsk: Izdatel’stvo “Nauka”, Sibirskoe Otdelenie. 481 p. R. 4.10 (1980).
Computing in systems described by equations. (English) Zbl 0421.68038
Lecture Notes in Computer Science. 58. Berlin-Heidelberg-New York: Springer-Verlag. XIV, 111 p. (1977).
Toward an optimization procedure for applying minimum change principles in probability kinematics. (English) Zbl 0336.90067
Found. Probab. Theor., stat. Inference, stat. Theor. Sci., Vol. I, Proc. int. Res. Colloq., London/Canada 1973, 137-166 (1976).
Filter Results by …
Document Type
- Journal Articles (48)
- Collection Articles (19)
- Books (5)
all
top 5
Author
- Sakawa, Masatoshi (7)
- Yano, Hitoshi (7)
- Matłoka, Marian (4)
- Schurz, Gerhard (4)
- Kutateladze, Semën Samsonovich (3)
- Parent, Xavier (3)
- Sadovin, N. S. (3)
- Chanas, Stefan (2)
- May, Sherry (2)
- Schulte, Oliver (2)
- Steffen, Bernhard (2)
- Yoshida, Yuji (2)
- Aliev, Fikret Akhmedalioglu (1)
- Aloni, Maria (1)
- Alves, Sandra (1)
- Ammar, Elsaid Ebrahim (1)
- Anapol’skiĭ, L. Yu. (1)
- Asai, Kiyoji (1)
- Bedregal, Benjamín René Callejas (1)
- Besnard, Philippe (1)
- Bi, Xiaojun (1)
- Borne, Pierre (1)
- Burgin, Mark (1)
- Chen, Qian (1)
- Cheng, Chuntian (1)
- Colombo Tosatto, Silvano (1)
- Cutland, Nigel J. (1)
- Fanselow, G. (1)
- Farkhi, Elza M. (1)
- Festa, Roberto (1)
- Florido, Mário (1)
- Florkiewicz, Bronisław (1)
- Gordon, Evgeniĭ Izrail’evich (1)
- Guerrini, Stefano (1)
- Hammadi, Slim (1)
- Hutter, Marcus (1)
- Ichihashi, Hidetomo (1)
- Jaffe, Adam Quinn (1)
- Kacem, Imed (1)
- Kacher, Fatiha (1)
- Kasperski, Adam (1)
- Kassem, Mohamed Abd El-Hady (1)
- Knoop, Jens (1)
- Kreinovich, Vladik Yakovlevich (1)
- Kuhn, Jonas (1)
- Kurano, Masami (1)
- Kusraev, Anatoliĭ Georgievich (1)
- Larbani, Moussa (1)
- Leike, Jan (1)
- Leroux, Stéphane (1)
- Li, Dengfeng (1)
- Lindley, Dennis Victor (1)
- Linstrøm, Tom (1)
- Mackie, Ian (1)
- Mahdavi-Amiri, Nezam (1)
- Mahmudov, Elimhan Nadir (1)
- Matrosov, Vladimir Mefod’evich (1)
- Metreveli, D. G. (1)
- Mwesigye, Feresiano (1)
- Nguyen, Hung Trung (1)
- Niftiyev, Aghaddin Aslan (1)
- Nonaka, Hidetoshi (1)
- O’Donnell, Michael J. (1)
- Poormanoochehri, M. (1)
- Sæbø, Kjell Johan (1)
- Schaub, Torsten H. (1)
- Shen, Jihong (1)
- Shi, Chenwei (1)
- Sinot, François-Régis (1)
- Sitarz, Sebastian (1)
- Sofronidis, Nikolaos Efstathiou (1)
- Solieri, Marco (1)
- Sun, Ji Tao (1)
- Takahashi, Adriana (1)
- Tanaka, Hideo (1)
- Truss, John Kenneth (1)
- Trzaskalik, Tadeusz (1)
- Turrini, Paolo (1)
- Vachnadze, R. G. (1)
- van der Torre, Leendert W. N. (1)
- Vasilev, Stanislav Nikolaevich (1)
- Wang, Yiyan (1)
- Wu, Shouzhi (1)
- Wu, Xuemou (1)
- Yao, Yuhua (1)
- Yasuda, Masami (1)
- Yazenin, Aleksander Vasil’evich (1)
- Zeleny, Milan (1)
- Zeynalov, C. I. (1)
- Zeynalov, Javanshir I. (1)
- Zhang, Yongjian (1)
all
top 5
Serial
- Fuzzy Sets Syst. (7)
- J. Philos. Log. (4)
- Synthese (3)
- BUSEFAL (2)
- Eur. J. Oper. Res. (2)
- J. Logic Lang. Inf. (2)
- J. Nonlinear Convex Anal. (2)
- Appl. Math. Comput. (1)
- Int. Stat. Rev. (1)
- J. Oper. Res. Soc. Japan (1)
- Kybernetes (1)
- Math. Comput. Simul. (1)
- Soobshch. Akad. Nauk Gruz. SSR (1)
- Sov. Math., Dokl. (1)
- Tensor, New Ser. (1)
- Cybern. Syst. (1)
- Syst. Control Lett. (1)
- Fuzzy Math. (1)
- Acta Appl. Math. (1)
- Order (1)
- Vestn. Leningr. Univ., Ser. I (1)
- Leningr. Univ. Mech. Bull. (1)
- Vestn. Leningr. Univ., Math. (1)
- J. Fuzzy Math. (1)
- Math. Log. Q. (1)
- Electron. J. Probab. (1)
- Int. J. Appl. Math. (1)
- Int. Game Theory Rev. (1)
- Vladikavkaz. Mat. Zh. (1)
- Control Decis. (1)
- Lect. Notes Comput. Sci. (1)
- Synth. Libr. (1)
- Appl. Comput. Math. (1)
- Rev. Symb. Log. (1)
- Nôus (1)
all
top 5
Year of Publication
- 2024 (1)
- 2023 (1)
- 2022 (3)
- 2021 (2)
- 2019 (1)
- 2018 (1)
- 2017 (1)
- 2016 (1)
- 2015 (3)
- 2014 (3)
- 2012 (1)
- 2011 (2)
- 2009 (1)
- 2008 (1)
- 2007 (2)
- 2006 (4)
- 2004 (2)
- 2003 (5)
- 2002 (2)
- 2001 (1)
- 1999 (2)
- 1995 (1)
- 1994 (1)
- 1993 (2)
- 1990 (1)
- 1989 (4)
- 1987 (6)
- 1986 (3)
- 1985 (3)
- 1984 (4)
- 1982 (2)
- 1980 (1)
- 1979 (1)
- 1977 (1)
- 1976 (2)
