Landes, Jürgen A triple uniqueness of the maximum entropy approach. (English) Zbl 07542374 Vejnarová, Jiřina (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 16th European conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12897, 644-656 (2021). MSC: 68T37 PDF BibTeX XML Cite \textit{J. Landes}, Lect. Notes Comput. Sci. 12897, 644--656 (2021; Zbl 07542374) Full Text: DOI OpenURL
Kutsch, Steven; Beierle, Christoph Semantic classification of qualitative conditionals and calculating closures of nonmonotonic inference relations. (English) Zbl 1487.68219 Int. J. Approx. Reasoning 130, 297-313 (2021). MSC: 68T27 03B60 68T37 PDF BibTeX XML Cite \textit{S. Kutsch} and \textit{C. Beierle}, Int. J. Approx. Reasoning 130, 297--313 (2021; Zbl 1487.68219) Full Text: DOI OpenURL
Szałas, Andrzej On the probability and cost of ignorance, inconsistency, nonsense and more. (English) Zbl 07530708 J. Mult.-Val. Log. Soft Comput. 34, No. 5-6, 423-450 (2020). MSC: 03B70 03B50 03B48 68T27 68N17 PDF BibTeX XML Cite \textit{A. Szałas}, J. Mult.-Val. Log. Soft Comput. 34, No. 5--6, 423--450 (2020; Zbl 07530708) Full Text: Link OpenURL
De Giacomo, Giuseppe; Ternovska, Eugenia; Reiter, Ray Non-terminating processes in the situation calculus. (English) Zbl 1444.68179 Ann. Math. Artif. Intell. 88, No. 5-6, 623-640 (2020). MSC: 68T27 68N17 68Q60 68T30 PDF BibTeX XML Cite \textit{G. De Giacomo} et al., Ann. Math. Artif. Intell. 88, No. 5--6, 623--640 (2020; Zbl 1444.68179) Full Text: DOI Link OpenURL
Howarth, Elizabeth; Paris, Jeffrey B. Pure inductive logic with functions. (English) Zbl 1454.03033 J. Symb. Log. 84, No. 4, 1382-1402 (2019). MSC: 03B48 03H05 28E05 PDF BibTeX XML Cite \textit{E. Howarth} and \textit{J. B. Paris}, J. Symb. Log. 84, No. 4, 1382--1402 (2019; Zbl 1454.03033) Full Text: DOI Link OpenURL
Paris, J. B.; Vencovská, A. Translation invariance and Miller’s weather example. (English) Zbl 1446.03048 J. Logic Lang. Inf. 28, No. 4, 489-514 (2019). MSC: 03B48 03A10 PDF BibTeX XML Cite \textit{J. B. Paris} and \textit{A. Vencovská}, J. Logic Lang. Inf. 28, No. 4, 489--514 (2019; Zbl 1446.03048) Full Text: DOI OpenURL
Paris, J. B.; Vencovská, A. Six problems in pure inductive logic. (English) Zbl 1457.03049 J. Philos. Log. 48, No. 4, 731-747 (2019). MSC: 03B48 PDF BibTeX XML Cite \textit{J. B. Paris} and \textit{A. Vencovská}, J. Philos. Log. 48, No. 4, 731--747 (2019; Zbl 1457.03049) Full Text: DOI OpenURL
Li, Ming; Vitányi, Paul M. B. An introduction to Kolmogorov complexity and its applications. 4th revised and enhanced edition. (English) Zbl 1423.68005 Texts in Computer Science. Cham: Springer (ISBN 978-3-030-11297-4/hbk; 978-3-030-11298-1/ebook). xxii, 834 p. (2019). Reviewer: Ludwig Staiger (Halle/Saale) MSC: 68-01 68-02 68Q30 PDF BibTeX XML Cite \textit{M. Li} and \textit{P. M. B. Vitányi}, An introduction to Kolmogorov complexity and its applications. 4th revised and enhanced edition. Cham: Springer (2019; Zbl 1423.68005) Full Text: DOI OpenURL
Gao, Xiaoli; Hui, Xiaojing; Zhu, Naidiao The theory of \(k\) randomized truth degree of axiomatic extension of Goguen propositional logic system. (Chinese. English summary) Zbl 1424.03003 Fuzzy Syst. Math. 31, No. 3, 6-15 (2017). MSC: 03B50 03B48 03B52 PDF BibTeX XML Cite \textit{X. Gao} et al., Fuzzy Syst. Math. 31, No. 3, 6--15 (2017; Zbl 1424.03003) OpenURL
Paris, Jeff B.; Vencovská, Alena Combining analogical support in pure inductive logic. (English) Zbl 1417.03172 Erkenntnis 82, No. 2, 401-419 (2017). MSC: 03B48 PDF BibTeX XML Cite \textit{J. B. Paris} and \textit{A. Vencovská}, Erkenntnis 82, No. 2, 401--419 (2017; Zbl 1417.03172) Full Text: DOI OpenURL
Draheim, Dirk Generalized Jeffrey conditionalization. A frequentist semantics of partial conditionalization. (English) Zbl 1382.68006 SpringerBriefs in Computer Science. Cham: Springer (ISBN 978-3-319-69867-0/pbk; 978-3-319-69868-7/ebook). x, 106 p. (2017). Reviewer: Jürgen Landes (München) MSC: 68-02 03B48 60A10 68T27 68T30 68T37 PDF BibTeX XML Cite \textit{D. Draheim}, Generalized Jeffrey conditionalization. A frequentist semantics of partial conditionalization. Cham: Springer (2017; Zbl 1382.68006) Full Text: DOI OpenURL
Shakerin, Farhad; Salazar, Elmer; Gupta, Gopal A new algorithm to automate inductive learning of default theories. (English) Zbl 1422.68029 Theory Pract. Log. Program. 17, No. 5-6, 1010-1026 (2017). MSC: 68N17 68T05 68T27 PDF BibTeX XML Cite \textit{F. Shakerin} et al., Theory Pract. Log. Program. 17, No. 5--6, 1010--1026 (2017; Zbl 1422.68029) Full Text: DOI arXiv OpenURL
Potyka, Nico; Thimm, Matthias Inconsistency-tolerant reasoning over linear probabilistic knowledge bases. (English) Zbl 1418.68209 Int. J. Approx. Reasoning 88, 209-236 (2017). MSC: 68T37 03B48 68T30 PDF BibTeX XML Cite \textit{N. Potyka} and \textit{M. Thimm}, Int. J. Approx. Reasoning 88, 209--236 (2017; Zbl 1418.68209) Full Text: DOI OpenURL
Snow, Paul An ordered credibility contrast semantics for finite probability agreement. (English) Zbl 1436.60007 J. Appl. Log. 22, 14-27 (2017). MSC: 60A05 60E15 03B48 PDF BibTeX XML Cite \textit{P. Snow}, J. Appl. Log. 22, 14--27 (2017; Zbl 1436.60007) Full Text: DOI OpenURL
Hyttinen, Tapani; Paolini, Gianluca; Väänänen, Jouko A logic for arguing about probabilities in measure teams. (English) Zbl 1386.03020 Arch. Math. Logic 56, No. 5-6, 475-489 (2017). Reviewer: Jürgen Landes (München) MSC: 03B48 03B60 68T37 68T27 60A10 PDF BibTeX XML Cite \textit{T. Hyttinen} et al., Arch. Math. Logic 56, No. 5--6, 475--489 (2017; Zbl 1386.03020) Full Text: DOI arXiv Link OpenURL
Savić, Nenad; Doder, Dragan; Ognjanović, Zoran A first-order logic for reasoning about higher-order upper and lower probabilities. (English) Zbl 06769624 Antonucci, Alessandro (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 14th European conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10369, 491-500 (2017). MSC: 03B48 68T37 PDF BibTeX XML Cite \textit{N. Savić} et al., Lect. Notes Comput. Sci. 10369, 491--500 (2017; Zbl 06769624) Full Text: DOI OpenURL
Rad, Soroush Rafiee Equivocation axiom on first order languages. (English) Zbl 1417.03173 Stud. Log. 105, No. 1, 121-152 (2017). MSC: 03B48 68T37 94A17 PDF BibTeX XML Cite \textit{S. R. Rad}, Stud. Log. 105, No. 1, 121--152 (2017; Zbl 1417.03173) Full Text: DOI OpenURL
Jiang, Dongchen; Li, Wei Revision with probability. (English) Zbl 1356.68220 J. Symb. Comput. 80, Part 1, 87-100 (2017). MSC: 68T27 03B48 68T37 PDF BibTeX XML Cite \textit{D. Jiang} and \textit{W. Li}, J. Symb. Comput. 80, Part 1, 87--100 (2017; Zbl 1356.68220) Full Text: DOI OpenURL
Carter, Sam Probability judgements about indicative conditionals: an erotetic theory. (English) Zbl 1405.03056 Log. J. IGPL 24, No. 4, 600-611 (2016). MSC: 03B48 03A05 PDF BibTeX XML Cite \textit{S. Carter}, Log. J. IGPL 24, No. 4, 600--611 (2016; Zbl 1405.03056) Full Text: DOI OpenURL
Greco, Salvatore; Słowiński, Roman; Szczęch, Izabela Measures of rule interestingness in various perspectives of confirmation. (English) Zbl 1398.68537 Inf. Sci. 346-347, 216-235 (2016). MSC: 68T37 03B48 PDF BibTeX XML Cite \textit{S. Greco} et al., Inf. Sci. 346--347, 216--235 (2016; Zbl 1398.68537) Full Text: DOI Link OpenURL
Sui, Yunyun The conditional randomized truth degree of formulas in the logic system \(\prod_\infty\). (Chinese. English summary) Zbl 1389.03001 Fuzzy Syst. Math. 30, No. 4, 61-67 (2016). MSC: 03B48 03B52 68T37 PDF BibTeX XML Cite \textit{Y. Sui}, Fuzzy Syst. Math. 30, No. 4, 61--67 (2016; Zbl 1389.03001) OpenURL
Mizraji, Eduardo Illustrating a neural model of logic computations: the case of Sherlock Holmes’ old maxim. (English) Zbl 1388.03012 Theoria, Segunda Epoca 31, No. 1, 7-25 (2016). MSC: 03A05 03B45 03B65 03B48 PDF BibTeX XML Cite \textit{E. Mizraji}, Theoria, Segunda Epoca 31, No. 1, 7--25 (2016; Zbl 1388.03012) Full Text: DOI arXiv OpenURL
Hagmayer, York Causal Bayes nets as psychological theories of causal reasoning: evidence from psychological research. (English) Zbl 1360.03054 Synthese 193, No. 4, 1107-1126 (2016). MSC: 03A10 03B48 62A01 62P15 PDF BibTeX XML Cite \textit{Y. Hagmayer}, Synthese 193, No. 4, 1107--1126 (2016; Zbl 1360.03054) Full Text: DOI OpenURL
Talbott, William J. A non-probabilist principle of higher-order reasoning. (English) Zbl 1360.03047 Synthese 193, No. 10, 3099-3145 (2016). MSC: 03A05 03B42 03B48 PDF BibTeX XML Cite \textit{W. J. Talbott}, Synthese 193, No. 10, 3099--3145 (2016; Zbl 1360.03047) Full Text: DOI OpenURL
Thorn, Paul D.; Schurz, Gerhard Qualitative probabilistic inference under varied entropy levels. (English) Zbl 1436.03151 J. Appl. Log. 19, Part 2, 87-101 (2016). MSC: 03B48 68T37 PDF BibTeX XML Cite \textit{P. D. Thorn} and \textit{G. Schurz}, J. Appl. Log. 19, Part 2, 87--101 (2016; Zbl 1436.03151) Full Text: DOI OpenURL
Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran Probability logics. Probability-based formalization of uncertain reasoning. (English) Zbl 1371.03001 Cham: Springer (ISBN 978-3-319-47011-5/hbk; 978-3-319-47012-2/ebook). xi, 215 p. (2016). Reviewer: Jürgen Landes (München) MSC: 03-02 03B48 60A05 68T37 PDF BibTeX XML Cite \textit{Z. Ognjanović} et al., Probability logics. Probability-based formalization of uncertain reasoning. Cham: Springer (2016; Zbl 1371.03001) Full Text: DOI OpenURL
Cui, Xia; Yuan, Guang-wei; Yue, Jing-yan Numerical analysis and iteration acceleration of a fully implicit scheme for nonlinear diffusion problem with second-order time evolution. (English) Zbl 1339.65107 Numer. Methods Partial Differ. Equations 32, No. 1, 121-140 (2016). Reviewer: Răzvan Răducanu (Iaşi) MSC: 65M06 65M12 35K55 PDF BibTeX XML Cite \textit{X. Cui} et al., Numer. Methods Partial Differ. Equations 32, No. 1, 121--140 (2016; Zbl 1339.65107) Full Text: DOI OpenURL
Ronel, Tahel; Vencovská, Alena The principle of signature exchangeability. (English) Zbl 1436.03149 J. Appl. Log. 15, 16-45 (2016). MSC: 03B48 PDF BibTeX XML Cite \textit{T. Ronel} and \textit{A. Vencovská}, J. Appl. Log. 15, 16--45 (2016; Zbl 1436.03149) Full Text: DOI OpenURL
Howarth, E.; Paris, J. B.; Vencovská, A. An examination of the SEP candidate analogical inference rule within pure inductive logic. (English) Zbl 1436.03147 J. Appl. Log. 14, 22-45 (2016). MSC: 03B48 PDF BibTeX XML Cite \textit{E. Howarth} et al., J. Appl. Log. 14, 22--45 (2016; Zbl 1436.03147) Full Text: DOI OpenURL
Paris, Jeff B.; Vencovská, Alena The twin continua of inductive methods. (English) Zbl 1429.03094 Hirvonen, Åsa (ed.) et al., Logic without borders. Essays on set theory, model theory, philosophical logic and philosophy of mathematics. Ontos Mathematical Logic 5. Berlin: De Gruyter. 355-366 (2015). MSC: 03B48 03A05 PDF BibTeX XML Cite \textit{J. B. Paris} and \textit{A. Vencovská}, Ontos Math. Log. 5, 355--366 (2015; Zbl 1429.03094) Full Text: DOI Link OpenURL
Bellodi, Elena; Riguzzi, Fabrizio Structure learning of probabilistic logic programs by searching the clause space. (English) Zbl 1379.68269 Theory Pract. Log. Program. 15, No. 2, 169-212 (2015). MSC: 68T05 68N17 68T20 68T37 PDF BibTeX XML Cite \textit{E. Bellodi} and \textit{F. Riguzzi}, Theory Pract. Log. Program. 15, No. 2, 169--212 (2015; Zbl 1379.68269) Full Text: DOI arXiv OpenURL
Leike, Jan; Hutter, Marcus Solomonoff induction violates Nicod’s criterion. (English) Zbl 1388.68142 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, 349-363 (2015). MSC: 68Q30 03B48 PDF BibTeX XML Cite \textit{J. Leike} and \textit{M. Hutter}, Lect. Notes Comput. Sci. 9355, 349--363 (2015; Zbl 1388.68142) Full Text: DOI arXiv OpenURL
Li, Xiuqing Randomized truth degree of formulas and approximate reasoning in the \(n\)-valued revised Gödel logic system. (Chinese. English summary) Zbl 1349.03013 Fuzzy Syst. Math. 29, No. 5, 21-27 (2015). MSC: 03B50 03B48 68T37 PDF BibTeX XML Cite \textit{X. Li}, Fuzzy Syst. Math. 29, No. 5, 21--27 (2015; Zbl 1349.03013) OpenURL
Finn, Viktor Konstantinovich On the non-Aristotelian concept structure. (Russian. English summary) Zbl 1338.68246 Log. Issled. 21, No. 1, 9-48 (2015). MSC: 68T30 68T27 PDF BibTeX XML Cite \textit{V. K. Finn}, Log. Issled. 21, No. 1, 9--48 (2015; Zbl 1338.68246) OpenURL
Peltier, Nicolas Reasoning on schemas of formulas: an automata-based approach. (English) Zbl 1451.03018 Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 9th international conference, LATA 2015, Nice, France, March 2–6, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8977, 263-274 (2015). MSC: 03B35 03D05 PDF BibTeX XML Cite \textit{N. Peltier}, Lect. Notes Comput. Sci. 8977, 263--274 (2015; Zbl 1451.03018) Full Text: DOI OpenURL
Eichhorn, Christian; Kern-Isberner, Gabriele Using inductive reasoning for completing OCF-networks. (English) Zbl 1409.68290 J. Appl. Log. 13, No. 4, Part 2, 605-627 (2015). MSC: 68T37 PDF BibTeX XML Cite \textit{C. Eichhorn} and \textit{G. Kern-Isberner}, J. Appl. Log. 13, No. 4, Part 2, 605--627 (2015; Zbl 1409.68290) Full Text: DOI OpenURL
Potyka, Nico; Beierle, Christoph; Kern-Isberner, Gabriele A concept for the evolution of relational probabilistic belief states and the computation of their changes under optimum entropy semantics. (English) Zbl 1401.68326 J. Appl. Log. 13, No. 4, Part 1, 414-440 (2015). MSC: 68T37 03B42 03B48 68T30 PDF BibTeX XML Cite \textit{N. Potyka} et al., J. Appl. Log. 13, No. 4, Part 1, 414--440 (2015; Zbl 1401.68326) Full Text: DOI OpenURL
De Bona, Glauber; Finger, Marcelo Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation. (English) Zbl 1346.68183 Artif. Intell. 227, 140-164 (2015). MSC: 68T27 03B48 PDF BibTeX XML Cite \textit{G. De Bona} and \textit{M. Finger}, Artif. Intell. 227, 140--164 (2015; Zbl 1346.68183) Full Text: DOI OpenURL
Landes, Jürgen Probabilism, entropies and strictly proper scoring rules. (English) Zbl 1328.03015 Int. J. Approx. Reasoning 63, 1-21 (2015). MSC: 03B42 03B48 68T37 PDF BibTeX XML Cite \textit{J. Landes}, Int. J. Approx. Reasoning 63, 1--21 (2015; Zbl 1328.03015) Full Text: DOI OpenURL
Beierle, Christoph; Potyka, Nico; Baudisch, Josef; Finthammer, Marc Towards lifted inference under maximum entropy for probabilistic relational FO-PCL knowledge bases. (English) Zbl 1465.68234 Destercke, Sébastien (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 13th European conference, ECSQARU 2015, Compiègne, France, July 15–17, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9161, 506-516 (2015). MSC: 68T27 03B48 68T30 68T37 PDF BibTeX XML Cite \textit{C. Beierle} et al., Lect. Notes Comput. Sci. 9161, 506--516 (2015; Zbl 1465.68234) Full Text: DOI OpenURL
Makinson, David; Hawthorne, James Lossy inference rules and their bounds: a brief review. (English) Zbl 1376.03022 Koslow, Arnold (ed.) et al., The road to universal logic. Festschrift for 50th birthday of Jean-Yves Béziau. Volume I. Cham: Birkhäuser/Springer (ISBN 978-3-319-10192-7/pbk; 978-3-319-10193-4/ebook). Studies in Universal Logic, 385-407 (2015). MSC: 03B48 03B05 03B60 PDF BibTeX XML Cite \textit{D. Makinson} and \textit{J. Hawthorne}, in: The road to universal logic. Festschrift for 50th birthday of Jean-Yves Béziau. Volume I. Cham: Birkhäuser/Springer. 385--407 (2015; Zbl 1376.03022) Full Text: DOI OpenURL
Flaminio, Tommaso; Godo, Lluis; Hosni, Hykel Coherence in the aggregate: a betting method for belief functions on many-valued events. (English) Zbl 1328.68227 Int. J. Approx. Reasoning 58, 71-86 (2015). MSC: 68T37 03B48 03B50 06D35 PDF BibTeX XML Cite \textit{T. Flaminio} et al., Int. J. Approx. Reasoning 58, 71--86 (2015; Zbl 1328.68227) Full Text: DOI OpenURL
Paris, Jeffrey; Vencovská, Alena Pure inductive logic. (English) Zbl 1338.03001 Perspectives in Logic. Cambridge: Cambridge University Press (ISBN 978-1-107-04230-8/hbk; 978-1-107-32619-4/ebook). x, 342 p. (2015). Reviewer: Jürgen Landes (München) MSC: 03-02 03B48 03A05 PDF BibTeX XML Cite \textit{J. Paris} and \textit{A. Vencovská}, Pure inductive logic. Cambridge: Cambridge University Press (2015; Zbl 1338.03001) Full Text: DOI OpenURL
Adamčík, Martin; Wilmers, George Probabilistic merging operators. (English) Zbl 1372.03044 Log. Anal., Nouv. Sér. 57, No. 228, 563-590 (2014). MSC: 03B48 68T37 94A17 PDF BibTeX XML Cite \textit{M. Adamčík} and \textit{G. Wilmers}, Log. Anal., Nouv. Sér. 57, No. 228, 563--590 (2014; Zbl 1372.03044) Full Text: DOI OpenURL
Kließ, Malte; Paris, Jeff Predicate exchangeability and language invariance in pure inductive logic. (English) Zbl 06704266 Log. Anal., Nouv. Sér. 57, No. 228, 513-540 (2014). MSC: 03B48 PDF BibTeX XML Cite \textit{M. Kließ} and \textit{J. Paris}, Log. Anal., Nouv. Sér. 57, No. 228, 513--540 (2014; Zbl 06704266) Full Text: DOI arXiv OpenURL
Howarth, Elizabeth; Paris, Jeff Principles of remembering and forgetting. (English) Zbl 1373.03027 Log. Anal., Nouv. Sér. 57, No. 228, 489-511 (2014). MSC: 03B48 PDF BibTeX XML Cite \textit{E. Howarth} and \textit{J. Paris}, Log. Anal., Nouv. Sér. 57, No. 228, 489--511 (2014; Zbl 1373.03027) Full Text: DOI OpenURL
Smith, Nicholas J. J. Vagueness, uncertainty and degrees of belief: two kinds of indeterminacy – one kind of credence. (English) Zbl 1329.03052 Erkenntnis 79, No. 5, 1027-1044 (2014). MSC: 03B42 03B48 68T37 PDF BibTeX XML Cite \textit{N. J. J. Smith}, Erkenntnis 79, No. 5, 1027--1044 (2014; Zbl 1329.03052) Full Text: DOI OpenURL
Makinson, David Reflections on the contributions. (English) Zbl 1311.03022 Hansson, Sven Ove (ed.), David Makinson on classical methods for non-classical problems. Dordrecht: Springer (ISBN 978-94-007-7758-3/hbk; 978-94-007-7759-0/ebook). Outstanding Contributions to Logic 3, 401-420 (2014). MSC: 03A05 03B42 03B45 03B48 PDF BibTeX XML Cite \textit{D. Makinson}, Outst. Contrib. Log. 3, 401--420 (2014; Zbl 1311.03022) Full Text: DOI OpenURL
Stern, Julio Michael; de Bragança Pereira, Carlos A. Bayesian epistemic values: focus on surprise, measure probability! (English) Zbl 1309.62057 Log. J. IGPL 22, No. 2, 236-254 (2014). MSC: 62F15 03B48 62A01 PDF BibTeX XML Cite \textit{J. M. Stern} and \textit{C. A. de Bragança Pereira}, Log. J. IGPL 22, No. 2, 236--254 (2014; Zbl 1309.62057) Full Text: DOI OpenURL
Zhang, Jialu; Wu, Xia; Liu, Xiaoling Approximation reasoning models based on random variables sequence. (English) Zbl 1305.68186 J. Intell. Fuzzy Syst. 26, No. 3, 1465-1479 (2014). MSC: 68T37 03B48 PDF BibTeX XML Cite \textit{J. Zhang} et al., J. Intell. Fuzzy Syst. 26, No. 3, 1465--1479 (2014; Zbl 1305.68186) Full Text: DOI OpenURL
Rasga, João; Sernadas, Cristina; Sernadas, Amlcar Craig interpolation in the presence of unreliable connectives. (English) Zbl 1342.03022 Log. Univers. 8, No. 3-4, 423-446 (2014). MSC: 03B48 03B60 03B70 68T37 PDF BibTeX XML Cite \textit{J. Rasga} et al., Log. Univers. 8, No. 3--4, 423--446 (2014; Zbl 1342.03022) Full Text: DOI Link OpenURL
Law, Mark; Russo, Alessandra; Broda, Krysia Inductive learning of answer set programs. (English) Zbl 1432.68391 Fermé, Eduardo (ed.) et al., Logics in artificial intelligence. 14th European conference, JELIA 2014, Funchal, Madeira, Portugal, September 24–26, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8761, 311-325 (2014). MSC: 68T05 68N17 PDF BibTeX XML Cite \textit{M. Law} et al., Lect. Notes Comput. Sci. 8761, 311--325 (2014; Zbl 1432.68391) Full Text: DOI Link OpenURL
Kließ, M. S.; Paris, J. B. Second order inductive logic and Wilmers’ principle. (English) Zbl 1395.03013 J. Appl. Log. 12, No. 4, 462-476 (2014). MSC: 03B48 03B15 68T27 PDF BibTeX XML Cite \textit{M. S. Kließ} and \textit{J. B. Paris}, J. Appl. Log. 12, No. 4, 462--476 (2014; Zbl 1395.03013) Full Text: DOI OpenURL
Pfeifer, Niki Reasoning about uncertain conditionals. (English) Zbl 1359.03021 Stud. Log. 102, No. 4, 849-866 (2014). MSC: 03B48 03A05 PDF BibTeX XML Cite \textit{N. Pfeifer}, Stud. Log. 102, No. 4, 849--866 (2014; Zbl 1359.03021) Full Text: DOI OpenURL
Hawthorne, James A primer on rational consequence relations, Popper functions, and their ranked structures. (English) Zbl 1359.03020 Stud. Log. 102, No. 4, 731-749 (2014). MSC: 03B48 03B60 PDF BibTeX XML Cite \textit{J. Hawthorne}, Stud. Log. 102, No. 4, 731--749 (2014; Zbl 1359.03020) Full Text: DOI OpenURL
Unterhuber, Matthias; Schurz, Gerhard Logic and probability: reasoning in uncertain environments – introduction to the special issue. (English) Zbl 1298.00188 Stud. Log. 102, No. 4, 663-671 (2014). MSC: 00B15 03-06 03B45 03B48 68T37 PDF BibTeX XML Cite \textit{M. Unterhuber} and \textit{G. Schurz}, Stud. Log. 102, No. 4, 663--671 (2014; Zbl 1298.00188) Full Text: DOI OpenURL
Wallmann, Christian; Kleiter, Gernot D. Degradation in probability logic: when more information leads to less precise conclusions. (English) Zbl 1296.03018 Kybernetika 50, No. 2, 268-283 (2014). MSC: 03B48 68T37 PDF BibTeX XML Cite \textit{C. Wallmann} and \textit{G. D. Kleiter}, Kybernetika 50, No. 2, 268--283 (2014; Zbl 1296.03018) Full Text: Link OpenURL
Adamčík, Martin; Wilmers, George The irrelevant information principle for collective probabilistic reasoning. (English) Zbl 1297.68221 Kybernetika 50, No. 2, 175-188 (2014). MSC: 68T37 03B48 94A17 PDF BibTeX XML Cite \textit{M. Adamčík} and \textit{G. Wilmers}, Kybernetika 50, No. 2, 175--188 (2014; Zbl 1297.68221) Full Text: Link OpenURL
Douven, Igor Reasoning about evidence. (English) Zbl 1352.03006 J. Appl. Log. 12, No. 3, 263-278 (2014). MSC: 03A05 03B48 60A05 62A01 62C10 PDF BibTeX XML Cite \textit{I. Douven}, J. Appl. Log. 12, No. 3, 263--278 (2014; Zbl 1352.03006) Full Text: DOI OpenURL
Hill, A.; Paris, J. B. An analogy principle in inductive logic. (English) Zbl 1320.03055 Ann. Pure Appl. Logic 164, No. 12, 1293-1321 (2013). MSC: 03B48 PDF BibTeX XML Cite \textit{A. Hill} and \textit{J. B. Paris}, Ann. Pure Appl. Logic 164, No. 12, 1293--1321 (2013; Zbl 1320.03055) Full Text: DOI OpenURL
Baltazar, Pedro Probabilization of logics: completeness and decidability. (English) Zbl 1323.03033 Log. Univers. 7, No. 4, 403-440 (2013). MSC: 03B62 03B48 PDF BibTeX XML Cite \textit{P. Baltazar}, Log. Univers. 7, No. 4, 403--440 (2013; Zbl 1323.03033) Full Text: DOI OpenURL
Barták, Roman; Černoch, Radomír; Kuželka, Ondřej; Železný, Filip Formulating the template ILP consistency problem as a constraint satisfaction problem. (English) Zbl 1309.90054 Constraints 18, No. 2, 144-165 (2013). MSC: 90C09 PDF BibTeX XML Cite \textit{R. Barták} et al., Constraints 18, No. 2, 144--165 (2013; Zbl 1309.90054) Full Text: DOI OpenURL
Hutter, Marcus; Lloyd, John W.; Ng, Kee Siong; Uther, William T. B. Probabilities on sentences in an expressive logic. (English) Zbl 1284.03161 J. Appl. Log. 11, No. 4, 386-420 (2013). MSC: 03B48 68T37 PDF BibTeX XML Cite \textit{M. Hutter} et al., J. Appl. Log. 11, No. 4, 386--420 (2013; Zbl 1284.03161) Full Text: DOI arXiv OpenURL
Zeng, Zilin Improvement of corresponding methods between probabilistic argumentation systems and evidence theory. (Chinese. English summary) Zbl 1299.03010 Acta Math. Appl. Sin. 36, No. 4, 680-687 (2013). MSC: 03B48 68T37 PDF BibTeX XML Cite \textit{Z. Zeng}, Acta Math. Appl. Sin. 36, No. 4, 680--687 (2013; Zbl 1299.03010) OpenURL
Campbell, Douglas The semimeasure property of algorithmic probability – “feature” or “bug”? (English) Zbl 1401.60005 Dowe, David L. (ed.), Algorithmic probability and friends. Bayesian prediction and artificial intelligence. Papers from the Ray Solomonoff 85th memorial conference, Melbourne, VIC, Australia, November 30 – December 2, 2011. Berlin: Springer (ISBN 978-3-642-44957-4/pbk). Lecture Notes in Computer Science 7070. Lecture Notes in Artificial Intelligence, 79-90 (2013). MSC: 60A99 68Q30 68T05 PDF BibTeX XML Cite \textit{D. Campbell}, Lect. Notes Comput. Sci. 7070, 79--90 (2013; Zbl 1401.60005) Full Text: DOI OpenURL
Inoue, Katsumi; Doncescu, Andrei; Nabeshima, Hidetomo Completing causal networks by meta-level abduction. (English) Zbl 1273.68375 Mach. Learn. 91, No. 2, 239-277 (2013). MSC: 68T27 68T05 92C42 PDF BibTeX XML Cite \textit{K. Inoue} et al., Mach. Learn. 91, No. 2, 239--277 (2013; Zbl 1273.68375) Full Text: DOI OpenURL
Doder, Dragan; Grant, John; Ognjanović, Zoran Probabilistic logics for objects located in space and time. (English) Zbl 1267.03041 J. Log. Comput. 23, No. 3, 487-515 (2013). MSC: 03B70 03B48 68P15 PDF BibTeX XML Cite \textit{D. Doder} et al., J. Log. Comput. 23, No. 3, 487--515 (2013; Zbl 1267.03041) Full Text: DOI OpenURL
Picado Muiño, David A consequence relation for graded inference within the frame of infinite-valued Łukasiewicz logic. (English) Zbl 1271.03037 Fundam. Inform. 123, No. 1, 77-95 (2013). Reviewer: Albert Hoogewijs (Gent) MSC: 03B50 68T37 03B48 03B53 PDF BibTeX XML Cite \textit{D. Picado Muiño}, Fundam. Inform. 123, No. 1, 77--95 (2013; Zbl 1271.03037) Full Text: DOI OpenURL
Thimm, Matthias Probabilistic reasoning with incomplete and inconsistent beliefs. (English) Zbl 1282.68009 DISKI. Dissertationen zur Künstlichen Intelligenz 336. Berlin: Akademische Verlagsgesellschaft Aka; Amsterdam: IOS Press; Dortmund: TU Dortmund (Diss. 2011) (ISBN 978-3-89838-336-3; 978-1-60750-960-8). xiv, 336 p. (2012). MSC: 68-02 68T37 68T30 68T27 03B48 60A99 PDF BibTeX XML Cite \textit{M. Thimm}, Probabilistic reasoning with incomplete and inconsistent beliefs. Berlin: Akademische Verlagsgesellschaft Aka; Amsterdam: IOS Press; Dortmund: TU Dortmund (Diss. 2011) (2012; Zbl 1282.68009) OpenURL
Nebot, Àngela; Mugica, Francisco Fuzzy inductive reasoning: a consolidated approach to data-driven construction of complex dynamical systems. (English) Zbl 1277.93012 Int. J. Gen. Syst. 41, No. 7, 645-665 (2012). MSC: 93A30 68T37 03B52 PDF BibTeX XML Cite \textit{À. Nebot} and \textit{F. Mugica}, Int. J. Gen. Syst. 41, No. 7, 645--665 (2012; Zbl 1277.93012) Full Text: DOI OpenURL
Teng, Choh Man When adjunction fails. (English) Zbl 1275.03062 Synthese 186, No. 2, 501-510 (2012). MSC: 03A05 03B48 68T37 PDF BibTeX XML Cite \textit{C. M. Teng}, Synthese 186, No. 2, 501--510 (2012; Zbl 1275.03062) Full Text: DOI OpenURL
Bickel, David R. A frequentist framework of inductive reasoning. (English) Zbl 1281.62027 Sankhyā, Ser. A 74, No. 2, 141-169 (2012). MSC: 62A01 62C10 62F15 PDF BibTeX XML Cite \textit{D. R. Bickel}, Sankhyā, Ser. A 74, No. 2, 141--169 (2012; Zbl 1281.62027) Full Text: DOI arXiv OpenURL
Hill, Alexandra; Paris, Jeff Reasoning by analogy in inductive logic. (English) Zbl 1262.03039 Peliš, Michal (ed.) et al., The Logica yearbook 2011. Proceedings of the 25th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 20–24, 2011. London: College Publications (ISBN 978-1-84890-071-4/pbk). 63-75 (2012). MSC: 03B48 PDF BibTeX XML Cite \textit{A. Hill} and \textit{J. Paris}, in: The Logica yearbook 2011. Proceedings of the 25th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 20--24, 2011. London: College Publications. 63--75 (2012; Zbl 1262.03039) OpenURL
Schurz, Gerhard; Thorn, Paul D. Reward versus risk in uncertain inference: theorems and simulations. (English) Zbl 1272.03057 Rev. Symb. Log. 5, No. 4, 574-612 (2012). MSC: 03A10 03B48 PDF BibTeX XML Cite \textit{G. Schurz} and \textit{P. D. Thorn}, Rev. Symb. Log. 5, No. 4, 574--612 (2012; Zbl 1272.03057) Full Text: DOI OpenURL
Lin, Hanti; Kelly, Kevin T. Propositional reasoning that tracks probabilistic reasoning. (English) Zbl 1272.03032 J. Philos. Log. 41, No. 6, 957-981 (2012). MSC: 03A05 03A10 03B48 PDF BibTeX XML Cite \textit{H. Lin} and \textit{K. T. Kelly}, J. Philos. Log. 41, No. 6, 957--981 (2012; Zbl 1272.03032) Full Text: DOI Link OpenURL
d’Amato, Claudia; Fanizzi, Nicola; Fazzinga, Bettina; Gottlob, Georg; Lukasiewicz, Thomas Ontology-based semantic search on the web and its combination with the power of inductive reasoning. (English) Zbl 1254.68112 Ann. Math. Artif. Intell. 65, No. 2-3, 83-121 (2012). MSC: 68P15 68P20 68T27 68T30 68T35 68T37 68U35 PDF BibTeX XML Cite \textit{C. d'Amato} et al., Ann. Math. Artif. Intell. 65, No. 2--3, 83--121 (2012; Zbl 1254.68112) Full Text: DOI OpenURL
Rodríguez, J. Tinguaro; Vitoriano, Begoña; Montero, Javier A general methodology for data-based rule building and its application to natural disaster management. (English) Zbl 1251.91039 Comput. Oper. Res. 39, No. 4, 863-873 (2012). MSC: 91B30 PDF BibTeX XML Cite \textit{J. T. Rodríguez} et al., Comput. Oper. Res. 39, No. 4, 863--873 (2012; Zbl 1251.91039) Full Text: DOI OpenURL
Thimm, Matthias; Kern-Isberner, Gabriele On probabilistic inference in relational conditional logics. (English) Zbl 1280.68248 Log. J. IGPL 20, No. 5, 872-908 (2012). MSC: 68T27 03B48 68T30 68T37 PDF BibTeX XML Cite \textit{M. Thimm} and \textit{G. Kern-Isberner}, Log. J. IGPL 20, No. 5, 872--908 (2012; Zbl 1280.68248) Full Text: DOI Link OpenURL
Fisseler, Jens First-order probabilistic conditional logic and maximum entropy. (English) Zbl 1257.68133 Log. J. IGPL 20, No. 5, 796-830 (2012). Reviewer: Éric Martin (Sydney) MSC: 68T27 68T37 03B48 68T30 PDF BibTeX XML Cite \textit{J. Fisseler}, Log. J. IGPL 20, No. 5, 796--830 (2012; Zbl 1257.68133) Full Text: DOI OpenURL
Bonnefon, Jean-François; Da Silva Neves, Rui; Dubois, Didier; Prade, Henri Qualitative and quantitative conditions for the transitivity of perceived causation: theoretical and experimental results. (English) Zbl 1259.03035 Ann. Math. Artif. Intell. 64, No. 2-3, 311-333 (2012). MSC: 03B48 03B60 68T37 PDF BibTeX XML Cite \textit{J.-F. Bonnefon} et al., Ann. Math. Artif. Intell. 64, No. 2--3, 311--333 (2012; Zbl 1259.03035) Full Text: DOI OpenURL
Gilio, Angelo; Over, David The psychology of inferring conditionals from disjunctions: a probabilistic study. (English) Zbl 1245.91022 J. Math. Psychol. 56, No. 2, 118-131 (2012). MSC: 91B06 91E10 62C10 03B48 PDF BibTeX XML Cite \textit{A. Gilio} and \textit{D. Over}, J. Math. Psychol. 56, No. 2, 118--131 (2012; Zbl 1245.91022) Full Text: DOI OpenURL
Neufeld, Eric Abnormality and randomness. (English) Zbl 1242.03054 Int. J. Approx. Reasoning 53, No. 3, 316-325 (2012). MSC: 03B48 68T37 PDF BibTeX XML Cite \textit{E. Neufeld}, Int. J. Approx. Reasoning 53, No. 3, 316--325 (2012; Zbl 1242.03054) Full Text: DOI OpenURL
Shakarian, Paulo; Parker, Austin; Simari, Gerardo; Subrahmanian, Venkatramana V. S. Annotated probabilistic temporal logic. (English) Zbl 1352.03043 ACM Trans. Comput. Log. 12, No. 2, Article No. 14, 44 p. (2011). MSC: 03B70 03B44 03B48 68N17 PDF BibTeX XML Cite \textit{P. Shakarian} et al., ACM Trans. Comput. Log. 12, No. 2, Article No. 14, 44 p. (2011; Zbl 1352.03043) Full Text: DOI OpenURL
Doder, Dragan A logic with big-stepped probabilities that can model nonmonotonic reasoning of system P. (English) Zbl 1289.03005 Publ. Inst. Math., Nouv. Sér. 90(104), 13-22 (2011). Reviewer: Aleksandar Perović (Beograd) MSC: 03B48 68T37 PDF BibTeX XML Cite \textit{D. Doder}, Publ. Inst. Math., Nouv. Sér. 90(104), 13--22 (2011; Zbl 1289.03005) Full Text: DOI OpenURL
Molinaro, Cristian; Sliva, Amy; Subrahmanian, V. S. Abduction in annotated probabilistic temporal logic. (English) Zbl 1245.68056 Gallagher, John P. (ed.) et al., Technical communications of the 27th international conference on logic programming (ICLP 2011), Lexington, Kentucky, USA, July 6–10, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-31-6). LIPIcs – Leibniz International Proceedings in Informatics 11, 240-250, electronic only (2011). MSC: 68N17 03B48 68T37 PDF BibTeX XML Cite \textit{C. Molinaro} et al., LIPIcs -- Leibniz Int. Proc. Inform. 11, 240--250 (2011; Zbl 1245.68056) Full Text: DOI Link OpenURL
Landes, J.; Paris, J. B.; Vencovská, A. A survey of some recent results on spectrum exchangeability in polyadic inductive logic. (English) Zbl 1237.03016 Synthese 181, Suppl. 1, 19-47 (2011). Reviewer: Branislav Boričić (Beograd) MSC: 03B48 03B42 PDF BibTeX XML Cite \textit{J. Landes} et al., Synthese 181, 19--47 (2011; Zbl 1237.03016) Full Text: DOI OpenURL
Pollock, John L. Reasoning defeasibly about probabilities. (English) Zbl 1235.03054 Synthese 181, No. 2, 317-352 (2011). MSC: 03B48 60A05 62A01 PDF BibTeX XML Cite \textit{J. L. Pollock}, Synthese 181, No. 2, 317--352 (2011; Zbl 1235.03054) Full Text: DOI Link OpenURL
Corapi, Domenico; Sykes, Daniel; Inoue, Katsumi; Russo, Alessandra Probabilistic rule learning in nonmonotonic domains. (English) Zbl 1348.68188 Leite, João (ed.) et al., Computational logic in multi-agent systems. 12th international workshop, CLIMA XII, Barcelona, Spain, July 17–18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22358-7/pbk). Lecture Notes in Computer Science 6814. Lecture Notes in Artificial Intelligence, 243-258 (2011). MSC: 68T05 68N17 68Q87 PDF BibTeX XML Cite \textit{D. Corapi} et al., Lect. Notes Comput. Sci. 6814, 243--258 (2011; Zbl 1348.68188) Full Text: DOI OpenURL
Coletti, Giulianella; Scozzafava, Romano; Vantaggi, Barbara A bridge between probability and possibility in a comparative framework. (English) Zbl 1341.68242 Liu, Weiru (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 11th European conference, ECSQARU 2011, Belfast, UK, June 29 – July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22151-4/pbk). Lecture Notes in Computer Science 6717. Lecture Notes in Artificial Intelligence, 557-568 (2011). MSC: 68T37 03B48 60B99 PDF BibTeX XML Cite \textit{G. Coletti} et al., Lect. Notes Comput. Sci. 6717, 557--568 (2011; Zbl 1341.68242) Full Text: DOI OpenURL
Paris, Jeff B.; Vencovská, Alena A note on irrelevance in inductive logic. (English) Zbl 1223.03014 J. Philos. Log. 40, No. 3, 357-370 (2011). Reviewer: Jürgen Landes (München) MSC: 03B48 03B42 68T37 PDF BibTeX XML Cite \textit{J. B. Paris} and \textit{A. Vencovská}, J. Philos. Log. 40, No. 3, 357--370 (2011; Zbl 1223.03014) Full Text: DOI OpenURL
Zimmermann, Jörg; Cremers, Armin B. The quest for uncertainty. (English) Zbl 1327.68293 Calude, Cristian S. (ed.) et al., Rainbow of computer science. Dedicated to Hermann Maurer on the occasion of his 70th birthday. Berlin: Springer (ISBN 978-3-642-19390-3/pbk). Lecture Notes in Computer Science 6570, 270-283 (2011). MSC: 68T37 03B48 PDF BibTeX XML Cite \textit{J. Zimmermann} and \textit{A. B. Cremers}, Lect. Notes Comput. Sci. 6570, 270--283 (2011; Zbl 1327.68293) Full Text: DOI OpenURL
de Roever, Willem-Paul; de Boer, Frank; Hannemann, Ulrich; Hooman, Jozef; Lakhnech, Yassine; Poel, Mannes; Zwiers, Job Concurrency verification. Introduction to compositional and noncompositional methods. Reprint of the 2001 hardback ed. (English) Zbl 1214.68125 Cambridge Tracts in Theoretical Computer Science 54. Cambridge: Cambridge University Press (ISBN 978-0-521-16932-5/pbk). xxii, 776 p. (2011). MSC: 68N19 68-01 68N30 68Q60 68Q85 PDF BibTeX XML Cite \textit{W.-P. de Roever} et al., Concurrency verification. Introduction to compositional and noncompositional methods. Reprint of the 2001 hardback ed. Cambridge: Cambridge University Press (2011; Zbl 1214.68125) OpenURL
Paris, J. B.; Vencovská, A. Symmetry’s end? (English) Zbl 1229.03024 Erkenntnis 74, No. 1, 53-67 (2011). Reviewer: Jürgen Landes (München) MSC: 03B48 03A10 68T37 03B42 PDF BibTeX XML Cite \textit{J. B. Paris} and \textit{A. Vencovská}, Erkenntnis 74, No. 1, 53--67 (2011; Zbl 1229.03024) Full Text: DOI OpenURL
Haenni, Rolf; Romeijn, Jan-Willem; Wheeler, Gregory; Williamson, Jon Probabilistic logics and probabilistic networks. (English) Zbl 1213.03031 Synthese Library 350. Dordrecht: Springer (ISBN 978-94-007-0007-9/hbk; 978-94-007-0008-6/ebook). xiii, 155 p. (2011). Reviewer: Jürgen Landes (München) MSC: 03B48 62F03 62F15 68T37 03-02 PDF BibTeX XML Cite \textit{R. Haenni} et al., Probabilistic logics and probabilistic networks. Dordrecht: Springer (2011; Zbl 1213.03031) Full Text: DOI OpenURL
Hutter, Marcus A complete theory of everything (will be subjective). (English) Zbl 1465.00011 Algorithms (Basel) 3, No. 4, 329-350 (2010). MSC: 00A30 62A99 68Q30 81P99 PDF BibTeX XML Cite \textit{M. Hutter}, Algorithms (Basel) 3, No. 4, 329--350 (2010; Zbl 1465.00011) Full Text: DOI OpenURL
Simari, Gerardo; Subrahmanian, V. S. Abductive inference in probabilistic logic programs. (English) Zbl 1237.68050 Hermenegildo, Manuel (ed.) et al., Technical communications of the 26th international conference on logic programming (ICLP 2010), July 16–19, 2010, Edinburgh, Scotland, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-17-0). LIPIcs – Leibniz International Proceedings in Informatics 7, 192-201, electronic only (2010). MSC: 68N17 03B48 68T37 PDF BibTeX XML Cite \textit{G. Simari} and \textit{V. S. Subrahmanian}, LIPIcs -- Leibniz Int. Proc. Inform. 7, 192--201 (2010; Zbl 1237.68050) Full Text: DOI Link OpenURL
Riguzzi, Fabrizio; Swift, Terrance Tabling and answer subsumption for reasoning on logic programs with annotated disjunctions. (English) Zbl 1237.68049 Hermenegildo, Manuel (ed.) et al., Technical communications of the 26th international conference on logic programming (ICLP 2010), July 16–19, 2010, Edinburgh, Scotland, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-17-0). LIPIcs – Leibniz International Proceedings in Informatics 7, 162-171, electronic only (2010). MSC: 68N17 03B48 68T37 PDF BibTeX XML Cite \textit{F. Riguzzi} and \textit{T. Swift}, LIPIcs -- Leibniz Int. Proc. Inform. 7, 162--171 (2010; Zbl 1237.68049) Full Text: DOI Link OpenURL
Corapi, Domenico; Russo, Alessandra; Lupu, Emil Inductive logic programming as abductive search. (English) Zbl 1237.68203 Hermenegildo, Manuel (ed.) et al., Technical communications of the 26th international conference on logic programming (ICLP 2010), July 16–19, 2010, Edinburgh, Scotland, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-17-0). LIPIcs – Leibniz International Proceedings in Informatics 7, 54-63, electronic only (2010). MSC: 68T27 68T05 68N17 PDF BibTeX XML Cite \textit{D. Corapi} et al., LIPIcs -- Leibniz Int. Proc. Inform. 7, 54--63 (2010; Zbl 1237.68203) Full Text: DOI Link OpenURL
Landes, J.; Paris, J. B.; Vencovská, A. A characterization of the language invariant families satisfying spectrum exchangeability in polyadic inductive logic. (English) Zbl 1251.03029 Ann. Pure Appl. Logic 161, No. 6, 800-811 (2010). Reviewer: Branislav Boričić (Beograd) MSC: 03B48 03B42 PDF BibTeX XML Cite \textit{J. Landes} et al., Ann. Pure Appl. Logic 161, No. 6, 800--811 (2010; Zbl 1251.03029) Full Text: DOI OpenURL
Cellier, François E.; López, Josefina; Nebot, Àngela; Cembrano, Gabriela Confidence measures for predictions in fuzzy inductive reasoning. (English) Zbl 1213.68617 Int. J. Gen. Syst. 39, No. 8, 839-853 (2010). MSC: 68T37 PDF BibTeX XML Cite \textit{F. E. Cellier} et al., Int. J. Gen. Syst. 39, No. 8, 839--853 (2010; Zbl 1213.68617) Full Text: DOI Link OpenURL