×

Found 351 Documents (Results 1–100)

Towards provenance in heterogeneous knowledge bases. (English) Zbl 1515.68317

Gottlob, Georg (ed.) et al., Logic programming and nonmonotonic reasoning. 16th international conference, LPNMR 2022, Genova, Italy, September 5–9, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13416, 287-300 (2022).
MSC:  68T30 68T35
PDFBibTeX XMLCite
Full Text: DOI

The degree of conflict between formulas in an inconsistent knowledge base. (English) Zbl 07542364

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

First-order quasi-canonical proof systems. (English) Zbl 1435.03085

Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 77-93 (2019).
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

Elect: an inconsistency handling approach for partially preordered lightweight ontologies. (English) Zbl 1522.68535

Balduccini, Marcello (ed.) et al., Logic programming and nonmonotonic reasoning. 15th international conference, LPNMR 2019, Philadelphia, PA, USA, June 3–7, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11481, 210-223 (2019).
MSC:  68T30
PDFBibTeX XMLCite
Full Text: DOI

A tutorial on query answering and reasoning over probabilistic knowledge bases. (English) Zbl 1517.68100

d’Amato, Claudia (ed.) et al., Reasoning web. Learning, uncertainty, streaming, and scalability. 14th international summer school 2018, Esch-sur-Alzette, Luxembourg, September 22–26, 2018. Tutorial lectures. Cham: Springer. Lect. Notes Comput. Sci. 11078, 35-77 (2018).
MSC:  68P15 68T27 68T30
PDFBibTeX XMLCite
Full Text: DOI Link

Probabilistic hybrid knowledge bases under the distribution semantics. (English) Zbl 1430.68296

Adorni, Giovanni (ed.) et al., AI*IA 2016: advances in artificial intelligence. XVth international conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 – December 1, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10037, 364-376 (2016).
MSC:  68T27 68N17 68T30
PDFBibTeX XMLCite
Full Text: DOI Link

Multi-sorted logic, models, and logical geometry. (English. Russian original) Zbl 1344.08006

J. Math. Sci., New York 214, No. 6, 742-754 (2016); translation from Fundam. Prikl. Mat. 19, No. 3, 5-22 (2014).
PDFBibTeX XMLCite
Full Text: DOI arXiv

On the efficiency of query-subquery nets with right/tail-recursion elimination in evaluating queries to Horn knowledge bases. (English) Zbl 1336.68054

Thi, Hoai An Le (ed.) et al., Advanced computational methods for knowledge engineering. Proceedings of 3rd international conference on computer science, applied mathematics and applications – ICCSAMA 2015. Extended versions of papers, Metz, France, May 11–13, 2015. Cham: Springer (ISBN 978-3-319-17995-7/pbk; 978-3-319-17996-4/ebook). Advances in Intelligent Systems and Computing 358, 243-254 (2015).
MSC:  68P15 68T35
PDFBibTeX XMLCite
Full Text: DOI

An improved depth-first control strategy for query-subquery nets in evaluating queries to Horn knowledge bases. (English) Zbl 1322.68189

Do, Tien Van (ed.) et al., Advanced computational methods for knowledge engineering. Proceedings of the 2nd international conference on computer science, applied mathematics and applications, ICCSAMA 2014, Budapest, Hungary, May 8–9, 2014. Cham: Springer (ISBN 978-3-319-06568-7/pbk; 978-3-319-06569-4/ebook). Advances in Intelligent Systems and Computing 282, 281-295 (2014).
MSC:  68T27 68P15 68T30
PDFBibTeX XMLCite
Full Text: DOI

Towards an approximative ontology-agnostic approach for logic programs. (English) Zbl 1407.68484

Beierle, Christoph (ed.) et al., Foundations of information and knowledge systems. 8th international symposium, FoIKS 2014, Bordeaux, France, March 3–7, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8367, 415-432 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Theorem proving in large formal mathematics as an emerging AI field. (English) Zbl 1276.68139

Bonacina, Maria Paola (ed.) et al., Automated reasoning and mathematics. Essays in memory of William W. McCune. Berlin: Springer (ISBN 978-3-642-36674-1/pbk). Lecture Notes in Computer Science 7788. Lecture Notes in Artificial Intelligence, 240-257 (2013).
MSC:  68T15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Model optimisation for complex systems using fuzzy networks theory. (English) Zbl 1335.68263

Trilling, Leon (ed.) et al., Recent advances in artificial intelligence, knowledge engineering and data bases. Proceedings of the 8th WSEAS international conference on artificial intelligence, knowledge engineering and data bases, (AIKED ’09), Cambridge, UK, February 21–23, 2009. Athens: WSEAS Press (ISBN 978-960-474-051-2/hbk; 978-960-474-060-4/cd-rom). Artificial Intelligence Series, 116-121 (2009).
MSC:  68T35 93A30 93C42
PDFBibTeX XMLCite

Intelligent control systems. I. quantum computing and self-organization algorithm. (English. Russian original) Zbl 1211.93050

J. Comput. Syst. Sci. Int. 48, No. 6, 946-984 (2009); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upr. 2009, No. 6, 102-141 (2009).
MSC:  93B51 68Q12 81P68
PDFBibTeX XMLCite
Full Text: DOI

Clustering of partial decision rules. (English) Zbl 1189.68130

Cyran, Krzysztof A. (ed.) et al., Man-machine interactions. Papers based on the presentations at the international conference (ICMMI 2009), Kocierz Pass, Poland, September 25–27, 2009. Berlin: Springer (ISBN 978-3-642-00562-6/pbk; 978-3-642-00563-3/ebook). Advances in Intelligent and Soft Computing 59, 183-190 (2009).
MSC:  68T30 68T35 68T05
PDFBibTeX XMLCite
Full Text: DOI

The way of rules representation in composited knowledge bases. (English) Zbl 1343.68235

Cyran, Krzysztof A. (ed.) et al., Man-machine interactions. Papers based on the presentations at the international conference (ICMMI 2009), Kocierz Pass, Poland, September 25–27, 2009. Berlin: Springer (ISBN 978-3-642-00562-6/pbk; 978-3-642-00563-3/ebook). Advances in Intelligent and Soft Computing 59, 175-182 (2009).
MSC:  68T30 62H25 62H30
PDFBibTeX XMLCite
Full Text: DOI

Modeling of the human operator reliability with the aid of the Sugeno fuzzy knowledge base. (English. Russian original) Zbl 1163.93357

Autom. Remote Control 70, No. 1, 163-169 (2009); translation from Avtom. Telemekh. 2009, No. 1, 180-187 (2009).
MSC:  93C42 93A30 90B25
PDFBibTeX XMLCite
Full Text: DOI

Shifting priorities: Simple representations for twenty-seven iterated theory change operators. (English) Zbl 1159.03012

Makinson, David (ed.) et al., Towards mathematical philosophy. Papers from the Studia Logica conference Trends in Logic IV, Toruń, Poland, September 1–4, 2006. Berlin: Springer (ISBN 978-1-4020-9083-7/hbk; 978-1-4020-9084-4/e-book). Trends in Logic–Studia Logica Library 28, 269-296 (2009).
MSC:  03B42 68T27
PDFBibTeX XMLCite
Full Text: DOI

A Groebner bases based many-valued modal logic implementation in Maple. (English) Zbl 1166.68359

Autexier, Serge (ed.) et al., Intelligent computer mathematics. 9th international conference, AISC 2008, 15th symposium, Calculemus 2008, 7th international conference, MKM 2008, Birmingham, UK, July 28–August 1, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85109-7/pbk). Lecture Notes in Computer Science 5144. Lecture Notes in Artificial Intelligence, 170-183 (2008).
MSC:  68T35 68T27 68W30
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

Biographic Reference

all top 3

Software