×

Found 456 Documents (Results 1–100)

On the propagation of consistency in some systems of paraconsistent logic. (English) Zbl 1436.03164

Weber, Erik (ed.) et al., Logic, reasoning, and rationality. Selected papers based on the presentations at the congress, Ghent, Belgium, September 20–22, 2010. Dordrecht: Springer. Log. Argum. Reason. 5, 153-178 (2014).
MSC:  03B53
PDFBibTeX XMLCite
Full Text: DOI

A propositional CONEstrip algorithm. (English) Zbl 1456.68182

Laurent, Anne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 15th international conference, IPMU 2014, Montpellier, France, July 15–19, 2014. Proceedings. Part III. Cham: Springer. Commun. Comput. Inf. Sci. 444, 466-475 (2014).
MSC:  68T20 68T37 90C27
PDFBibTeX XMLCite
Full Text: DOI Link

Strange case of Dr. soundness and Mr. consistency. (English) Zbl 1441.03008

Dančák, Michal (ed.) et al., The Logica yearbook 2013. Proceedings of the 27th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 17–21, 2013. London: College Publications. 161-172 (2014).
MSC:  03A05 03F25 03F30
PDFBibTeX XMLCite

Consistency of injective tree patterns. (English) Zbl 1360.68377

Raman, Venkatesh (ed.) et al., 34th international conference on foundation of software technology and theoretical computer science, FSTTCS 2014, New Delhi, India, December 15–17, 2014. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-77-4). LIPIcs – Leibniz International Proceedings in Informatics 29, 279-290 (2014).
PDFBibTeX XMLCite
Full Text: DOI

A new method of adjusting inconsistent pairwise comparison matrix. (English) Zbl 1356.91047

Wen, Zhenkun (ed.) et al., Foundations of intelligent systems. Proceedings of the eighth international conference on intelligent systems and knowledge engineering, ISKE 2013, Shenzhen, China, November 20–23, 2013. 2 volume set. Berlin: Springer (ISBN 978-3-642-54923-6/pbk). Advances in Intelligent Systems and Computing 277, 435-442 (2014).
MSC:  91B06
PDFBibTeX XMLCite
Full Text: DOI

Subgame consistent cooperative solution of stochastic dynamic game of public goods provision. (English) Zbl 1347.91053

Petrosyan, Leon A. (ed.) et al., Contributions to game theory and management. Volume VII. The 7th international conference on game theory and management (GTM 2013), St. Petersburg, Russia, June 26–28, 2013. Collected papers. St. Petersburg: Graduate School of Management, St. Petersburg State University. 404-414 (2014).
MSC:  91A15 91A25 91A18
PDFBibTeX XMLCite
Full Text: MNR

The irrational behavior proof condition for linear-quadratic discrete-time dynamic games with nontransferable payoffs. (English) Zbl 1347.91066

Petrosyan, Leon A. (ed.) et al., Contributions to game theory and management. Volume VII. The 7th international conference on game theory and management (GTM 2013), St. Petersburg, Russia, June 26–28, 2013. Collected papers. St. Petersburg: Graduate School of Management, St. Petersburg State University. 384-392 (2014).
PDFBibTeX XMLCite
Full Text: MNR

Multi-period cooperative vehicle routing games. (English) Zbl 1347.91039

Petrosyan, Leon A. (ed.) et al., Contributions to game theory and management. Volume VII. The 7th international conference on game theory and management (GTM 2013), St. Petersburg, Russia, June 26–28, 2013. Collected papers. St. Petersburg: Graduate School of Management, St. Petersburg State University. 349-359 (2014).
PDFBibTeX XMLCite
Full Text: MNR

An axiomatization of the proportional prenucleolus. (English) Zbl 1347.91031

Petrosyan, Leon A. (ed.) et al., Contributions to game theory and management. Volume VII. The 7th international conference on game theory and management (GTM 2013), St. Petersburg, Russia, June 26–28, 2013. Collected papers. St. Petersburg: Graduate School of Management, St. Petersburg State University. 246-253 (2014).
MSC:  91A12
PDFBibTeX XMLCite
Full Text: MNR

Strictly strong \((n-1)\)-equilibrium in \(n\)-person multicriteria games. (English) Zbl 1347.91011

Petrosyan, Leon A. (ed.) et al., Contributions to game theory and management. Volume VII. The 7th international conference on game theory and management (GTM 2013), St. Petersburg, Russia, June 26–28, 2013. Collected papers. St. Petersburg: Graduate School of Management, St. Petersburg State University. 181-190 (2014).
MSC:  91A06 91A10
PDFBibTeX XMLCite
Full Text: MNR

Estimation of the number of cells via the number of randomly occupied cells. (Russian, English) Zbl 1349.62069

Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform. 14, No. 3, 107-113 (2014); translation in J. Math. Sci., New York 213, No. 6, 795-801 (2016).
MSC:  62F12 62J05
PDFBibTeX XMLCite
Full Text: DOI

Embedding of a universally consistent 2-extension in a universally consistent extension. (English. Russian original) Zbl 1338.12005

Vestn. St. Petersbg. Univ., Math. 47, No. 2, 76-84 (2014); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 1(59), No. 2, 211-221 (2014).
MSC:  12F10
PDFBibTeX XMLCite
Full Text: DOI

An open problem on strongly consistent learning of the best prediction for Gaussian processes. (English) Zbl 1337.60052

Akritas, Michael G. (ed.) et al., Topics in nonparametric statistics. Proceedings of the first conference of the International Society for Nonparametric Statistics, ISNPS, Chalkidiki, Greece, June 15–19, 2012. New York, NY: Springer (ISBN 978-1-4939-0568-3/hbk; 978-1-4939-0569-0/ebook). Springer Proceedings in Mathematics & Statistics 74, 115-136 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Gödel’s program. (English) Zbl 1358.03007

Kennedy, Juliette (ed.), Interpreting Gödel. Critical essays. Cambridge: Cambridge University Press (ISBN 978-1-107-00266-1/hbk; 978-0-511-75630-6/ebook). 153-179 (2014).
MSC:  03-03 01A60 03E35
PDFBibTeX XMLCite

I wish I knew how to \(\ldots\). (English) Zbl 1329.33028

Gumel, Abba B. (ed.), Mathematics of continuous and discrete dynamical systems. AMS special session in honor of Ronald Mickens’s 70th birthday on nonstandard finite-difference discretizations and nonlinear oscillations, San Diego, CA, USA, January 9–10, 2013. Proceedings. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-9862-8/pbk; 978-1-4704-1686-7/ebook). Contemporary Mathematics 618, 299-310 (2014).
PDFBibTeX XMLCite

Henkin’s completeness proof and Glivenko’s theorem. (English) Zbl 1336.03038

Manzano, María (ed.) et al., The life and work of Leon Henkin. Essays on his contributions. Cham: Birkhäuser/Springer (ISBN 978-3-319-09718-3/pbk; 978-3-319-09719-0/ebook). Studies in Universal Logic, 217-223 (2014).
MSC:  03B55 03C10
PDFBibTeX XMLCite
Full Text: DOI

A fortuitous year with Leon Henkin. (English) Zbl 1326.03004

Manzano, María (ed.) et al., The life and work of Leon Henkin. Essays on his contributions. Cham: Birkhäuser/Springer (ISBN 978-3-319-09718-3/pbk; 978-3-319-09719-0/ebook). Studies in Universal Logic, 35-40 (2014).
MSC:  03-03 01A70
PDFBibTeX XMLCite
Full Text: DOI

Optimal-neighborhood statistics rough set approach with multiple attributes and criteria. (English) Zbl 1323.68509

Miao, Duoqian (ed.) et al., Rough sets and knowledge technology. 9th international conference, RSKT 2014, Shanghai, China, October 24–26, 2014. Proceedings. Cham: Springer (ISBN 978-3-319-11739-3/pbk; 978-3-319-11740-9/ebook). Lecture Notes in Computer Science 8818. Lecture Notes in Artificial Intelligence, 683-692 (2014).
MSC:  68T37 68T30
PDFBibTeX XMLCite
Full Text: DOI

Asymptotic properties of drift parameter estimator based on discrete observations of stochastic differential equation driven by fractional Brownian motion. (English) Zbl 1329.60193

Korolyuk, Volodymyr (ed.) et al., Modern stochastics and applications. Selected papers based on the presentations at the international conference “Modern stochastics: theory and applications III”, dedicated to B. V. Gnedenko on the occasion of his 100th birthday and to M. I. Yadrenko on the occasion of his 80th birthday, Kyiv, Ukraine, September 10–14, 2012. Cham: Springer (ISBN 978-3-319-03511-6/hbk; 978-3-319-03512-3/ebook). Springer Optimization and Its Applications 90, 303-318 (2014).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 3

Main Field

Biographic Reference

all top 3

Software