Výsledky vyhledávání - "Knowledge representation and reasoning Logic programming"

Improved Filtering for the Euclidean Traveling Salesperson Problem in CLP(FD)

Autoři: Alessandro Bertagnon Marco Gavanelli

Zdroj: Proceedings of the AAAI Conference on Artificial Intelligence. 34:1412-1419

Témata: Constraint Satisfaction and Optimization, Constraint Optimization, Global Constraints, Knowledge Representation and Reasoning, Logic Programming, Traveling Salesperson Problem, 0103 physical sciences, 01 natural sciences

Popis souboru: application/pdf

Přístupová URL adresa: https://ojs.aaai.org/index.php/AAAI/article/download/5498/5354
https://aaai.org/ojs/index.php/AAAI/article/view/5498
https://ojs.aaai.org/index.php/AAAI/article/view/5498
https://dblp.uni-trier.de/db/conf/aaai/aaai2020.html#BertagnonG20
https://hdl.handle.net/11392/2415356
https://aaai.org/ojs/index.php/AAAI/article/view/5498
https://doi.org/10.1609/aaai.v34i02.5498

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

Constructive Geometric Constraint Solving as a General Framework for KR-Based Declarative Spatial Reasoning

Autoři: Schultz, Carl Bhatt, Mehul

Témata: declarative spatial reasoning; knowledge representation and reasoning; logic programming, Computer Sciences, Datavetenskap (datalogi), Conference paper, info:eu-repo/semantics/conferenceObject, text

URL: http://urn.kb.se/resolve?urn=urn:nbn:se:oru:diva-63594
Declarative Learning Based Programming : Technical Report WS-16-07, p. 417-423

05171 Abstracts Collection -- Nonmonotonic Reasoning, Answer Set Programming and Constraints

Autoři: Brewka, Gerhard Schaub, Torsten Truszczynski, Miroslaw a další

Témata: Knowledge representation, nonmonotonic reasoning, logic programming, answer-set programming, constraints, Data processing Computer science, General Literature, InProceedings, publishedVersion

05171 Executive Summary -- Nonmonotonic Reasoning, Answer Set Programming and Constraints

Autoři: Brewka, Gerhard Schaub, Torsten Truszczynski, Miroslaw

Témata: Knowledge representation, nonmonotonic reasoning, logic programming, answer-set programming, constraints, Data processing Computer science, General Literature, InProceedings, publishedVersion