Výsledky vyhledávání - Logic Programming and Knowledge Representation

Techniques for measuring the inferential strength of forgetting policies

Autoři: Doherty, Patrick Szalas, Andrzej

Zdroj: Journal of logic and computation (Print). 35(3)

Témata: knowledge representation and reasoning, forgetting, inferential strength, probabilistic logic programming

Popis souboru: electronic

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-213455
https://doi.org/10.1093/logcom/exaf023

Integrating Generative Artificial Intelligence in Clinical Dentistry: Enhancing Diagnosis, Treatment Planning, and Procedural Precision Through Advanced Knowledge Representation and Reasoning

Autoři: Hossam Dawa Arthur Rodriguez Gonzalez Cortes Carlos Ribeiro a další

Zdroj: Digital, Vol 5, Iss 3, p 44 (2025)

Témata: digital dentistry, generative artificial intelligence, entropy, knowledge representation and reasoning, clinical decision support, logic programming, Electronic computers. Computer science, QA75.5-76.95

Popis souboru: electronic resource

Relation: https://www.mdpi.com/2673-6470/5/3/44; https://doaj.org/toc/2673-6470

Přístupová URL adresa: https://doaj.org/article/41f390817e864d45a7e44de140680941

Answer Set Searching with Weighted MaxSAT.

Autoři: Nowakowski, Arkadiusz Wieczorek, Wojciech Strąk, Łukasz

Zdroj: Procedia Computer Science. 2025, Vol. 270, p2301-2309. 9p.

Témata: NP-hard problems, Logic programming, Combinatorial optimization, Knowledge representation (Information theory), Mathematical programming, Algorithms, Constraint satisfaction

Domain logic programming : theory and applications to scientific knowledge representation

Autoři: Dryllerakis, Kostantinos

Témata: 006.3, Artificial intelligence

Přístupová URL adresa: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.299452

Chest X-ray image analysis: A vision of logic programming

Autoři: Neves, João Faria, Ricardo Alves, Victor a další

Přispěvatelé: Neves, João Faria, Ricardo Alves, Victor a další

Témata: Case-based reasoning, Chest X-Ray images, Decision support systems, Knowledge representation and reasoning, Logic programming, Knowledge representation and reasoning Logic programming

Popis souboru: application/pdf

Relation: 978-3-319-93580-5; 0302-9743

Dostupnost: https://hdl.handle.net/1822/71503

Integrating Generative Artificial Intelligence in Clinical Dentistry: Enhancing Diagnosis, Treatment Planning, and Procedural Precision Through Advanced Knowledge Representation and Reasoning

Autoři: Dawa, Hossam Cortes, Arthur Ribeiro, Carlos a další

Témata: Digital Dentistry, Generative Artificial Intelligence, Entropy, Knowledge Representation and Reasoning, Clinical Decision Support, Logic Programming

Relation: Dawa, H., Cortes, A.R.G., Ribeiro, C., Neves, J., & M., Vicente, H., Integrating Generative Artificial Intelligence in Clinical Dentistry: Enhancing Diagnosis, Treatment Planning, and Procedural Precision Through Advanced Knowledge Representation and Reasoning. Digital, 5(3): 44, 24 pages, 2025.; 2673-6470 (electronic); https://www.mdpi.com/2673-6470/5/3/44; LAQV-REQUIMTE; hossam.dawa@cespu.pt; arthur.nogueira@um.edu.mt; carlos.ribeiro@iucs.cespu.pt; jneves@di.uminho.pt; hvicente@uevora.pt

Dostupnost: http://hdl.handle.net/10174/39420

Forgetting in Abstract Argumentation: Limits and Possibilities.

Autoři: Baumann, Ringo Berthold, Matti Gabbay, Dov a další

Zdroj: Journal of Artificial Intelligence Research. 2025, Vol. 82, p389-431. 43p.

Témata: Logic programming, Knowledge representation (Information theory), Conditionals (Logic), Semantics, Possibility

Approximate Inference for Neural Probabilistic Logic Programming

Autoři: Manhaeve, Robin Marra, Giuseppe De Raedt, Luc

Zdroj: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning Proceedings of the ... International Conference on Principles of Knowledge Representation and Reasoning. :475-486

Témata: KR and machine learning, inductive logic programming, knowledge acquisition, Logic programming, answer set programming, Computer Science, Datavetenskap

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:oru:diva-96661
https://doi.org/10.24963/kr.2021/45

Logic Programming and Artificial Neural Networks in Breast Cancer Detection

Autoři: Neves, José Guimarães, Tiago Gomes, Sabino a další

Témata: Breast Cancer, Tyrer-Cuzick Model, Knowledge Representation and Reasoning, Logic Programing, Artificial Neural Networks

Relation: Neves, J., Guimarães, T., Gomes, S., Vicente, H., Santos, M., Neves, J., Machado, J. & Novais, P., Logic Programming and Artificial Neural Networks in Breast Cancer Detection. In I. Rojas, G. Joya & A. Catala, Eds., Advances in Computational Intelligence – Part II, Lecture Notes on Computer Science, Vol. 9095, pp. 211–224, Springer International Publishing, Cham, Switzerland, 2015.; Cham, Switzerland; 978-3-319-19221-5; 14; DQUI; jneves@di.uminho.pt; nd; hvicente@uevora.pt

Dostupnost: http://hdl.handle.net/10174/14280

Dynamic knowledge representation and its applications

Autoři: Alferes, José Júlio Alves Pereira, L.M. Przymusinska, H a další

Přispěvatelé: Alferes, José Júlio Alves Pereira, L.M. Przymusinska, H a další

Témata: Dynamic knowledge representation, Theory of actions, Updates of knowledge bases, Generalized logic programs, Computational linguistics, Semantics, Artificial intelligence, Logic programming, Knowledge based systems, ITS applications, Knowledge basis, Three-valued

Popis souboru: application/pdf

Relation: Alferes, J. J. A., Pereira, L. M., Przymusinska, H., Przymusinski, T. C., & Quaresma, P. (2000). Dynamic knowledge representation and its applications. In Lecture Notes in Computer Science (Vol. 1904, pp. 1-10) https://doi.org/10.1007/3-540-45331-8_1; 3-540-41044-9; PURE: 104474; http://www.scopus.com/record/display.uri?eid=2-s2.0-84947921593&origin=resultslist&sort=plf-f&src=s&st1

Dostupnost: http://hdl.handle.net/10362/72468

Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning : Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday

Autoři: Marcello Balduccini Tran Cao Son

Resource Type: eBook.

Témata: Artificial intelligence, Machine theory, Computer programming

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Programming / General

Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning

Autoři: Marcello Balduccini Tran Cao Son

Zdroj: Lecture Notes in Computer Science ISBN: 9783642208317

Přístupová URL adresa: https://link.springer.com/10.1007/978-3-642-20832-4

A logic programming based adverse event reporting and learning system

Autoři: Alves, Victor Rodrigues, Susana Isabel Magalhães da Rocha Brandão, Paulo a další

Přispěvatelé: Alves, Victor Rodrigues, Susana Isabel Magalhães da Rocha Brandão, Paulo a další

Témata: Knowledge representation, Medical error classification system, Incomplete information

Popis souboru: application/pdf

Relation: 978-0-7695-4147-1

Dostupnost: https://hdl.handle.net/1822/11953

A landscape and implementation framework for probabilistic rough sets using PROBLOG

Autoři: Doherty, Patrick Szalas, Andrzej

Zdroj: Information Sciences. 593:546-576

Témata: Probabilistic rough sets, ProbLog, Probabilistic programming, Knowledge representation, Rule-based languages

Popis souboru: electronic

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-186842
https://liu.diva-portal.org/smash/get/diva2:1681176/FULLTEXT01.pdf

Discovering Knowledge from Noisy Databases Using Genetic Programming.

Autoři: Wong, Man Leung Leung, Kwong Sak Cheng, Jack C. Y.

Zdroj: Journal of the American Society for Information Science. Jul 2000 51(9):870-881.

Peer Reviewed: Y

Page Count: 12

Descriptors: Databases, Genetics, Grammar, Induction, Knowledge Representation, Logic, Programming

How Learning Logic Programming Affects Recursion Comprehension

Autoři: Haberman, Bruria

Zdroj: Computer Science Education. 2004 14(1):37-53.

Peer Reviewed: Y

Page Count: 17

Descriptors: Foreign Countries, Models, Knowledge Representation, Logical Thinking, Programming, High School Students, Teaching Methods, College Students, Computer Science Education, Comparative Analysis, Questionnaires

Geografický termín: Israel

Graph Structures for Knowledge Representation and Reasoning

Autoři: Michael Cochez Madalina Croitoru Pierre Marquis a další

Resource Type: eBook.

Témata: Application software, Computer networks, Artificial intelligence, Knowledge representation (Information theory)--Congresses, Data structures (Computer science)--Congresses, Logic, Symbolic and mathematical

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Computer Science, COMPUTERS / Networking / General

Combining answer set programming with description logics for the Semantic Web

Autoři: Eiter, Thomas Ianni, Giovambattista Lukasiewicz, Thomas a další

Zdroj: Artificial Intelligence. Aug2008, Vol. 172 Issue 12/13, p1495-1539. 45p.

Témata: *Logic programming, *Ontologies (Information retrieval), *Semantic Web, *Semantic networks (Information theory), *Knowledge representation (Information theory), *Data structures, Description logics, Herbrand's theorem (Number theory)

Hybrid Rules with Well-Founded Semantics

Autoři: Drabent, Wlodzimierz Maluszynski, Jan

Zdroj: Knowledge and Information Systems. 25(1):137-168

Témata: Integration of rules and ontologies, Semantic web reasoning, Knowledge representation, Well-founded semantics, Constructive negation, Constraint logic programming, TECHNOLOGY, Information technology, Computer science, TEKNIKVETENSKAP, Informationsteknik, Datavetenskap

Popis souboru: electronic

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-63677
https://liu.diva-portal.org/smash/get/diva2:382144/FULLTEXT01.pdf

Logic Programming and Knowledge Representation: Third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 1997, Selected Papers Jürgen Dix Luís Moniz Pereira Teodor C. Przymusinski

Autoři: Tanaka, Koji

Zdroj: Studia Logica: An International Journal for Symbolic Logic, 2001 Jul 01. 68(2), 299-300.

Relation: Logic Programming and Knowledge Representation: Third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 1997, Selected Papers Jürgen Dix Luís Moniz Pereira Teodor C. Przymusinski

Přístupová URL adresa: https://www.jstor.org/stable/20016314