×

Found 210 Documents (Results 1–100)

100
MathJax

An ontology-based approach to describe collaborative work by reusing and enriching data from an institutional repository. (English) Zbl 07516364

Pozos-Parra, Pilar (ed.) et al., Proceedings of the 11th and 12th Latin American workshop on logic/languages, algorithms and new methods of reasoning, LANMR, Puebla, Mexico, November 15, 2018 and November 15, 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 354, 129-139 (2020).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI

A multi-agent environment acting as a personal tourist guide. (English) Zbl 07392082

Castillo, Oscar (ed.) et al., Intuitionistic and type-2 fuzzy logic enhancements in neural and optimization algorithms: theory and applications. Cham: Springer. Stud. Comput. Intell. 862, 593-611 (2020).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI

15 years of consequence-based reasoning. (English) Zbl 1444.68192

Lutz, Carsten (ed.) et al., Description logic, theory combination, and all that. Essays dedicated to Franz Baader on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 11560, 573-587 (2019).
MSC:  68T27 68T30 68V15
PDF BibTeX XML Cite
Full Text: DOI

Memory-saving evaluation plans for Datalog. (English) Zbl 07169123

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, 453-461 (2019).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI

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

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:  68N17 68T27
PDF BibTeX XML Cite
Full Text: DOI

Identifying clinical terms in free-text notes using ontology-guided machine learning. (English) Zbl 1412.92142

Cowen, Lenore J. (ed.), Research in computational molecular biology. 23rd annual international conference, RECOMB 2019, Washington, DC, USA, May 5–8, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11467, 19-34 (2019).
MSC:  92C50 68T05
PDF BibTeX XML Cite
Full Text: DOI

Representing and reasoning about logical network topologies. (English) Zbl 1462.68192

Croitoru, Madalina (ed.) et al., Graph structures for knowledge representation and reasoning. 5th international workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10775, 73-83 (2018).
MSC:  68T30 68M12 68R10
PDF BibTeX XML Cite
Full Text: DOI

Reasoning on anonymity in Datalog+/–. (English) Zbl 1428.68138

Rocha, Ricardo (ed.) et al., Technical communications of the 33rd international conference on logic programming, ICLP 2017, August 28 – September 1, 2017, Melbourne, Australia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 58, Article 3, 5 p. (2018).
MSC:  68P15 68N17 68T30
PDF BibTeX XML Cite
Full Text: DOI

Three methods for revising hybrid knowledge bases. (English) Zbl 1490.68214

Costantini, Stefania (ed.) et al., Rules and reasoning. International joint conference, RuleML+RR 2017, London, UK, July 12–15, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10364, 37-52 (2017).
MSC:  68T30 68N17 68T27
PDF BibTeX XML Cite
Full Text: DOI Link

A new perspective on the mereotopology of RCC8. (English) Zbl 1433.68428

Clementini, Eliseo (ed.) et al., 13th international conference on spatial information theory, COSIT 2017, L’Aquila, Italy, September 4–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 86, Article 2, 13 p. (2017).
MSC:  68T30 68U05
PDF BibTeX XML Cite
Full Text: DOI

NoHR: integrating XSB Prolog with the OWL 2 profiles and beyond. (English) Zbl 1491.68045

Balduccini, Marcello (ed.) et al., Logic programming and nonmonotonic reasoning. 14th international conference, LPNMR 2017, Espoo, Finland, July 3–6, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10377, 236-249 (2017).
MSC:  68N17 68T27 68T30
PDF BibTeX XML Cite
Full Text: DOI

Bioinformatics. Volume I. Data, sequence analysis, and evolution. 2nd edition. (English) Zbl 1378.92002

Methods in Molecular Biology 1525. New York, NY: Humana Press/Springer (ISBN 978-1-4939-6620-2/hbk; 978-1-4939-6622-6/ebook). x, 491 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI

Data structuring for the ontological modelling of wind energy systems. (English) Zbl 1410.68350

Simian, Dana (ed.), Modelling and development of intelligent systems. Proceedings of the fourth international conference, Sibiu, Romania, October 28 – November 1, 2015. Sibiu: “Lucian Blaga” University Press. 51-58 (2016).
MSC:  68T30 68T27
PDF BibTeX XML Cite
Full Text: arXiv

The distributed ontology, modeling and specification language – DOL. (English) Zbl 1409.68284

Koslow, Arnold (ed.) et al., The road to universal logic. Festschrift for the 50th birthday of Jean-Yves Béziau. Volume II. New York, NY: Birkhäuser/Springer. Stud. Univers. Log., 489-520 (2015).
MSC:  68T30 68T27
PDF BibTeX XML Cite
Full Text: DOI Link

Information processing and management of uncertainty in knowledge-based systems. 15th international conference, IPMU 2014, Montpellier, France, July 15–19, 2014. Proceedings. Part III. (English) Zbl 1385.68008

Communications in Computer and Information Science 444. Cham: Springer (ISBN 978-3-319-08851-8/pbk; 978-3-319-08852-5/ebook). xvii, 569 p. (2014).
MSC:  68-06 68Txx 00B25
PDF BibTeX XML Cite
Full Text: DOI

Information processing and management of uncertainty in knowledge-based systems. 15th international conference, IPMU 2014, Montpellier, France, July 15–19, 2014. Proceedings. Part I. (English) Zbl 1385.68007

Communications in Computer and Information Science 442. Cham: Springer (ISBN 978-3-319-08794-8/pbk; 978-3-319-08795-5/ebook). xxxviii, 603 p. (2014).
MSC:  68-06 68Txx 00B25
PDF BibTeX XML Cite
Full Text: DOI

Information processing and management of uncertainty in knowledge-based systems. 15th international conference, IPMU 2014, Montpellier, France, July 15–19, 2014. Proceedings. Part II. (English) Zbl 1385.68006

Communications in Computer and Information Science 443. Cham: Springer (ISBN 978-3-319-08854-9/pbk; 978-3-319-08855-6/ebook). xviii, 631 p. (2014).
MSC:  68-06 68Txx 00B25
PDF BibTeX XML Cite
Full Text: DOI

Fuzzy computational ontologies in contexts. Formal models of knowledge representation with membership degree and typicality of objects, and their applications. (English) Zbl 1235.68010

Berlin: Springer; Beijing: Higher Education Press (ISBN 978-3-642-25455-0/hbk; 978-3-642-25456-7/ebook). xv, 202 p. (2012).
MSC:  68-02 68T37 68T30
PDF BibTeX XML Cite
Full Text: DOI

Automatic composition and reasoning in computational multi-agent systems. (English) Zbl 1337.68259

Harkiolakis, Nikos (ed.) et al., Advances in applied mathematics, systems, communications and computers. Selected papers based on the presentations at the conferences on communications & information technology 2008, circuits, systems and signals 2008 and applied mathematics, simulation, modelling 2008, Marathon Beach, Attica, Greece, June 1–3, 2008. [s.l.]: North Atlantic University Union (NAUN) (ISBN 978-960-6766-69-5). 221-226 (2011).
MSC:  68T42 68T15 68T30
PDF BibTeX XML Cite

Bridges from language to logic: concepts, contexts and ontologies. (English) Zbl 1347.03058

Haeusler, Edward Hermann (ed.) et al., Proceedings of the 5th workshop on logical and semantic frameworks, with applications (LSFA 2010), Natal, Brazil, August 31, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 269, 83-94 (2011).
MSC:  03B65 68T30
PDF BibTeX XML Cite
Full Text: DOI

CDAOstore: a phylogenetic repository using logic programming and web services. (English) Zbl 1245.68192

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, 209-219, electronic only (2011).
MSC:  68T30 68N17 68P20
PDF BibTeX XML Cite
Full Text: DOI Link

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

all top 3

Software