×

Found 440 Documents (Results 1–100)

Calculi and models for non-Horn knowledge bases containing neural and evaluable predicates. (English) Zbl 07582520

Liao, Beishui (ed.) et al., Logics for new-generation AI. Second international workshop, Zhuhai, China, June 10–12, 2022. London: College Publications. 24-35 (2022).
MSC:  68T27 03B52 68T30
PDFBibTeX XMLCite

Addressing popular concerns regarding COVID-19 vaccination with natural language argumentation dialogues. (English) Zbl 07542333

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, 59-73 (2021).
MSC:  68T37
PDFBibTeX XMLCite
Full Text: DOI Link

Representation, analysis, and extraction of knowledge from unstructured natural language texts. (English. Ukrainian original) Zbl 1522.68540

Cybern. Syst. Anal. 57, No. 3, 481-500 (2021); translation from Kibern. Sist. Anal. 57, No. 3, 164-183 (2021).
MSC:  68T30 68T27 68T50
PDFBibTeX XMLCite
Full Text: DOI

Method for adaptive control of technical states of radio-electronic systems. (English) Zbl 1500.93052

Favorskaya, Margarita (ed.) et al., Advances in signal processing. Theories, algorithms, and system control. Cham: Springer. Intell. Syst. Ref. Libr. 184, 137-150 (2020).
MSC:  93C40 93C35 93C95
PDFBibTeX XMLCite
Full Text: DOI

On the design of a natural logic system for knowledge bases. (English) Zbl 1507.68302

Helic, Denis (ed.) et al., Foundations of intelligent systems. 25th international symposium, ISMIS 2020, Graz, Austria, September 23–25, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12117, 413-421 (2020).
MSC:  68T30 68T27
PDFBibTeX XMLCite
Full Text: DOI Link

An incremental algorithm for computing all repairs in inconsistent knowledge bases. (English) Zbl 1476.68255

Alam, Mehwish (ed.) et al., Ontologies and concepts in mind and machine. 25th international conference on conceptual structures, ICCS 2020, Bolzano, Italy, September 18–20, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12277, 33-47 (2020).
MSC:  68T30
PDFBibTeX XMLCite
Full Text: DOI Link

Normal forms of conditional knowledge bases respecting entailments and renamings. (English) Zbl 1456.68184

Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 22-41 (2020).
MSC:  68T27 68T30 68T35
PDFBibTeX XMLCite
Full Text: DOI

Explaining completions produced by embeddings of knowledge graphs. (English) Zbl 07170144

Kern-Isberner, Gabriele (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 15th European conference, ECSQARU 2019, Belgrade, Serbia, September 18–20, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11726, 324-335 (2019).
MSC:  68T30
PDFBibTeX XMLCite
Full Text: DOI

On the antecedent normal form of conditional knowledge bases. (English) Zbl 07170132

Kern-Isberner, Gabriele (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 15th European conference, ECSQARU 2019, Belgrade, Serbia, September 18–20, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11726, 175-186 (2019).
MSC:  68T30
PDFBibTeX XMLCite
Full Text: DOI

Systematic generation of conditional knowledge bases up to renaming and equivalence. (English) Zbl 1525.68185

Calimeri, Francesco (ed.) et al., Logics in artificial intelligence. 16th European conference, JELIA 2019, Rende, Italy, May 7–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11468, 279-286 (2019).
MSC:  68T30 68T27
PDFBibTeX XMLCite
Full Text: DOI

Justifications for description logic knowledge bases under the fixed-domain semantics. (English) Zbl 1518.68366

Benzmüller, Christoph (ed.) et al., Rules and reasoning. Second international joint conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11092, 185-200 (2018).
MSC:  68T27 68T30
PDFBibTeX XMLCite
Full Text: DOI

DETD: dynamic policy for case base maintenance based on \(\mathrm{E}K\)-\(\mathrm{NNclus}\) algorithm and case types detection. (English) Zbl 1512.68328

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, 370-382 (2018).
MSC:  68T35 68T20 68T37
PDFBibTeX XMLCite
Full Text: DOI

A semantic characterization for ASP base revision. (English) Zbl 1498.68300

Moral, Serafín (ed.) et al., Scalable uncertainty management. 11th international conference, SUM 2017, Granada, Spain, October 4–6, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10564, 334-347 (2017).
MSC:  68T27 68N17 68T30
PDFBibTeX XMLCite
Full Text: DOI Link

Parallel attribute exploration. (English) Zbl 1398.68516

Haemmerlé, Ollivier (ed.) et al., Graph-based representation and reasoning. 22nd international conference on conceptual structures, ICCS 2016, Annecy, France, July 5–7, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40984-9/pbk; 978-3-319-40985-6/ebook). Lecture Notes in Computer Science 9717. Lecture Notes in Artificial Intelligence, 91-106 (2016).
MSC:  68T30
PDFBibTeX XMLCite
Full Text: DOI

Knowledge extraction from support vector machines: a fuzzy logic approach. (English) Zbl 1359.68249

Tamir, Dan E. (ed.) et al., Fifty years of fuzzy logic and its applications. Cham: Springer (ISBN 978-3-319-19682-4/hbk; 978-3-319-19683-1/ebook). Studies in Fuzziness and Soft Computing 326, 361-385 (2015).
MSC:  68T05 68T37
PDFBibTeX XMLCite
Full Text: DOI

Transitive reasoning with imprecise probabilities. (English) Zbl 1465.68239

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, 95-105 (2015).
MSC:  68T27 68T37
PDFBibTeX XMLCite
Full Text: DOI arXiv

Reductions and saturation reductions of (abstract) knowledge bases. (English) Zbl 1337.68248

Liu, Ying-Ming (ed.) et al., Proceedings of the 6th international symposium on domain theory and its applications (ISDT), Changsha, China, October 25–29, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 301, 139-151, electronic only (2014).
MSC:  68T30 68T37
PDFBibTeX XMLCite
Full Text: DOI

A rule-based inference method using Dempster-Shafer theory. (English) Zbl 1303.68136

Wen, Zhenkun (ed.) et al., Knowledge engineering and management. Proceedings of the eighth international conference on intelligent systems and knowledge engineering, ISKE 2013, Shenzhen, China, November 20–23, 2013. Berlin: Springer (ISBN 978-3-642-54929-8/pbk; 978-3-642-54930-4/ebook). Advances in Intelligent Systems and Computing 278, 61-72 (2014).
MSC:  68T37 68T30
PDFBibTeX XMLCite
Full Text: DOI

Geometry knowledge base learning from theorem proofs. (English) Zbl 1303.68102

Wen, Zhenkun (ed.) et al., Knowledge engineering and management. Proceedings of the eighth international conference on intelligent systems and knowledge engineering, ISKE 2013, Shenzhen, China, November 20–23, 2013. Berlin: Springer (ISBN 978-3-642-54929-8/pbk; 978-3-642-54930-4/ebook). Advances in Intelligent Systems and Computing 278, 21-33 (2014).
MSC:  68T05 68T15 68T30
PDFBibTeX XMLCite
Full Text: DOI

Dynamical statement networks. (English) Zbl 1302.90056

Awrejcewicz, Jan (ed.), Applied non-linear dynamical systems. Selected papers based on the presentations at the 12th international conference “Dynamical systems-theory and applications”, DSTA, Łódź, Poland, December 2–5, 2013. Cham: Springer (ISBN 978-3-319-08265-3/hbk; 978-3-319-08266-0/ebook). Springer Proceedings in Mathematics & Statistics 93, 351-361 (2014).
MSC:  90B25 90B10
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software