Search Results - "Knowledge representation and reasoning Logic programming"

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

Authors: Alessandro Bertagnon Marco Gavanelli

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

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

File Description: application/pdf

Access URL: 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

Authors: Neves, João Faria, Ricardo Alves, Victor et al.

Contributors: Neves, João Faria, Ricardo Alves, Victor et al.

Subject Terms: Case-based reasoning, Chest X-Ray images, Decision support systems, Knowledge representation and reasoning, Logic programming, Knowledge representation and reasoning Logic programming

File Description: application/pdf

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

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

Loop restricted existential rules and first-order rewritability for query answering.

Authors: Asuncion, Vernon Zhang, Yan Zhang, Heng et al.

Source: Journal of Logic & Computation; Mar2024, Vol. 34 Issue 2, p315-351, 37p

Subject Terms: LINGUISTIC complexity, DATABASES, KNOWLEDGE representation (Information theory), LOGIC programming, ONTOLOGIES (Information retrieval)

Answer Set Planning: A Survey.

Authors: CAO TRAN, SON PONTELLI, ENRICO BALDUCCINI, MARCELLO et al.

Source: Theory & Practice of Logic Programming; Jan2023, Vol. 23 Issue 1, p226-298, 73p

Subject Terms: KNOWLEDGE representation (Information theory), LOGIC programming

Spring News from the Association for the Advancement of Artificial Intelligence.

Source: AI Magazine; Spring2021, Vol. 42 Issue 1, p101-107, 7p

Subject Terms: ARTIFICIAL intelligence, DESCRIPTION logics, SELF-organizing systems, MACHINE learning, NATURAL language processing, PODCASTING, INTERNET forums

Company/Entity: ASSOCIATION for the Advancement of Artificial Intelligence

A Case Based Methodology for Problem Solving Aiming at Knee Osteoarthritis Detection.

Authors: Esteves, Marisa Vicente, Henrique Machado, José et al.

Source: Recent Advances on Soft Computing & Data Mining (9783319512792); 2017, p274-284, 11p

An Artificial Intelligence Approach to Dyscalculia.

Authors: Ferraz, Filipa Neves, José Costa, António et al.

Source: Mobile & Wireless Technologies 2016; 2016, p205-214, 10p

A Case-Based Approach to Nosocomial Infection Detection.

Authors: Faria, Ricardo Vicente, Henrique Abelha, António et al.

Source: Artificial Intelligence & Soft Computing: 15th International Conference, ICAISC 2016, Zakopane, Poland, June 12-16, 2016, Proceedings, Part II; 2016, p159-168, 10p

Solving Mathematical Puzzles: A Challenging Competition for AI.

Authors: Chesani, Federico Mello, Paola Milano, Michela

Source: AI Magazine; Fall2017, Vol. 38 Issue 3, p83-96, 14p

Subject Terms: ARTIFICIAL intelligence, ARTIFICIAL intelligence competitions, PROBLEM solving, PUZZLES, DECISION making

An Artificial Intelligence Approach to Thrombophilia Risk.

Authors: Vilhena, João Vicente, Henrique Rosário Martins, M. et al.

Source: International Journal of Reliable & Quality E-Healthcare; Apr-Jun2017, Vol. 6 Issue 2, p49-69, 21p, 2 Color Photographs, 3 Diagrams, 2 Charts, 5 Graphs

An Integrated Soft Computing Approach to Hughes Syndrome Risk Assessment.

Authors: Vilhena, João Rosário Martins, M. Vicente, Henrique et al.

Source: Journal of Medical Systems; Mar2017, Vol. 41 Issue 3, p1-12, 12p

Subject Terms: ALGORITHMS, ANTIPHOSPHOLIPID syndrome, ARTIFICIAL neural networks, RISK assessment, RECEIVER operating characteristic curves, STATISTICAL models

International Standard ISO 9001 – A Soft Computing View.

Authors: Neves, José Fernandes, Ana Gomes, Guida et al.

Source: Enterprise Information Systems: 17th International Conference, ICEIS 2015, Barcelona, Spain, April 27-30, 2015, Revised Selected Papers; 2015, p153-167, 15p

Reasoning About the State Change of Authorization Policies.

Authors: Bai, Yun Caprin, Edward Zhang, Yan

Source: Current Approaches in Applied Artificial Intelligence; 2015, p109-119, 11p

First-Order Logic with Inductive Definitions for Model-Based Problem Solving.

Authors: Bruynooghe, Maurice Denecker, Marc Truszczyński, Mirosław

Source: AI Magazine; Fall2016, Vol. 37 Issue 3, p69-80, 12p

Subject Terms: COMPUTER programming, SKOLEM function, DECLARATIVE programming, FIRST-order logic, MODEL-based reasoning, PROBLEM solving

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

Authors: Schultz, Carl Bhatt, Mehul

Index Terms: 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

Methods and Applications of Artificial Intelligence : Second Hellenic Conference on AI, SETN 2002 Thessaloniki, Greece, April 11–12, 2002 Proceedings

Authors: Ioannis P. Vlahavas Constantine D. Spyropoulos

Resource Type: eBook.

Subjects: Artificial intelligence, User interfaces (Computer systems), Human-computer interaction, Application software, Computer vision

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Artificial Intelligence / Computer Vision & Pattern Recognition, COMPUTERS / User Interfaces, COMPUTERS / Human-Computer Interaction (HCI)

A rule-based ontological framework for the classification of molecules.

Authors: Magka, Despoina Krötzsch, Markus Horrocks, Ian

Source: Journal of Biomedical Semantics; 2014, Vol. 5 Issue 1, p1-25, 25p

Subject Terms: LIFE sciences, MOLECULES, CHEMICALS, DATABASES, TAXONOMY, COMPUTER network resources

Dynamics of knowledge in DeLP through Argument Theory Change.

Authors: MOGUILLANSKY, MARTÍN O. ROTSTEIN, NICOLÁS D. FALAPPA, MARCELO A. et al.

Source: Theory & Practice of Logic Programming; Nov2013, Vol. 13 Issue 6, p893-957, 65p

Subject Terms: DEFEASIBLE reasoning, LOGIC programming, ALGORITHMS, NONMONOTONIC logic, KNOWLEDGE representation (Information theory)

A knowledge-based approach for selecting information sources.

Authors: THOMAS EITER MICHAEL FINK HANS TOMPITS

Source: Theory & Practice of Logic Programming; May2007, Vol. 7 Issue 3, p249-300, 52p

Subject Terms: EXPERT systems, INFORMATION storage & retrieval systems, INFORMATION resources, SEMANTICS, DATABASES

Editorial.

Authors: Bastani, Farokh B.

Source: IEEE Transactions on Knowledge & Data Engineering; Jan/Feb2000, Vol. 12 Issue 1, p96, 6p, 13 Black and White Photographs

Subject Terms: PERIODICAL editors, ELECTRONIC data processing, INFORMATION technology