Výsledky vyhľadávania - Foundations of Logic Programming. Keywords

Foundations of Fuzzy Logic and Semantic Web Languages

Autori: Umberto Straccia

Typ zdroja: eBook.

Predmet: Semantic Web, Programming languages (Electronic computers), Fuzzy logic

Kategórie: COMPUTERS / General, COMPUTERS / Programming / Games, COMPUTERS / Data Science / Data Analytics, COMPUTERS / Software Development & Engineering / Systems Analysis & Design, COMPUTERS / Internet / General

Foundations of Software Science and Computation Structures

Autori: Jean Goubault-Larrecq Barbara König

Typ zdroja: eBook.

Predmet: Software engineering--Congresses, Computer software--Congresses

Kategórie: MATHEMATICS / Logic, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Hardware / General, MATHEMATICS / Discrete Mathematics

Foundations of Software Science and Computation Structures : 27th International Conference, FoSSaCS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Autori: Naoki Kobayashi James Worrell

Typ zdroja: eBook.

Predmet: Computer software--Congresses, Software engineering--Congresses

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Hardware / General, MATHEMATICS / Applied, MATHEMATICS / Logic

Development of the Prevention of Suicide Behaviour in Prisons: Enhancing Access to Therapy (PROSPECT) logic model and implementation strategies.

Autori: Crook, Rebecca Lennox, Charlotte Awenat, Yvonne a ďalší

Zdroj: BJPsych Bulletin; Oct2024, Vol. 48 Issue 5, p285-293, 9p

Predmety: SUICIDE prevention, PSYCHOTHERAPY, SUICIDE risk factors, PRISON conditions, LOGIC programming

Bounded rationality: from fast and frugal heuristics to logic programming and back.

Autori: Vargas, Francisco Martignon, Laura Stenning, Keith

Zdroj: Mind & Society; Nov2023, Vol. 22 Issue 1/2, p33-51, 19p

Predmety: LOGIC programming, BOUNDED rationality, HEURISTIC, NONMONOTONIC logic, DECISION making

DNA logic programming: From concept to construction.

Autori: Zhang, Yi Hu, Ning Xu, Jiajie a ďalší

Zdroj: View (2688-268X); Feb2024, Vol. 5 Issue 1, p1-11, 11p

Cattle welfare assessment based on adaptive fuzzy logic and multimodal data fusion.

Autori: Tong, Lei Fang, Jiandong Wang, Xiuling a ďalší

Zdroj: Frontiers in Veterinary Science. 2025, p1-16. 16p.

True Equality Constraints Over An Open Universe Of Terms

Autori: Jan A. Plaza The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Jan A. Plaza The Pennsylvania State University CiteSeerX Archives

Zdroj: http://faculty.plattsburgh.edu/jan.plaza/research/lp/papers/06A-equality.ps.

Predmety: Area, Foundations of Logic Programming. Keywords, constraint logic programming, Herbrand models, equality, completeness, decidability

Popis súboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.8.7116

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.8.7116
http://faculty.plattsburgh.edu/jan.plaza/research/lp/papers/06A-equality.ps

A Logical Foundation for Logic Programming II: Semantics of General Logic Programs

Autori: Alexander Bochman The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Alexander Bochman The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.utexas.edu/users/vl/ppr/bochman2.ps.

Predmety: negation as failure, semantics for logic

Popis súboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.4806; http://www.cs.utexas.edu/users/vl/ppr/bochman2.ps

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.4806
http://www.cs.utexas.edu/users/vl/ppr/bochman2.ps

A Logical Foundation for Logic Programming I: Biconsequence Relations and Nonmonotonic Completion

Autori: Alexander Bochman The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Alexander Bochman The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.hait.ac.il/computers/staff/Bochman/JLP1.ps.

Predmety: negation as failure, semantics for logic programs, nonmonotonic reasoning

Popis súboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.455; http://www.hait.ac.il/computers/staff/Bochman/JLP1.ps

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.455
http://www.hait.ac.il/computers/staff/Bochman/JLP1.ps

A Logical Foundation for Logic Programming I: Biconsequence Relations and Nonmonotonic Completion

Autori: Alexander Bochman The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Alexander Bochman The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.utexas.edu/users/vl/ppr/bochman1.ps.

Predmety: negation as failure, semantics for logic programs, nonmonotonic reasoning

Popis súboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.52.51; http://www.cs.utexas.edu/users/vl/ppr/bochman1.ps

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.52.51
http://www.cs.utexas.edu/users/vl/ppr/bochman1.ps

Higher-Order Computational Logic

Autori: Lloyd, John

Zdroj: Lecture Notes in Computer Science ISBN: 9783540439592

Predmety: Metric spaces, Higher order logic, Knowledge representation, 4. Education, Proof theory, Keywords: Computational logic, 16. Peace & justice, Logic programming, 7. Clean energy

Prístupová URL adresa: https://digitalcollections.anu.edu.au/handle/1885/75250
https://dblp.uni-trier.de/db/conf/birthday/kowalski2002-1.html#Lloyd02
https://rd.springer.com/chapter/10.1007/3-540-45628-7_6
https://openresearch-repository.anu.edu.au/handle/1885/75250
https://link.springer.com/chapter/10.1007%2F3-540-45628-7_6
https://core.ac.uk/display/22725564

Computer Aided Verification : 30th International Conference, CAV 2018, Held As Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Autori: Hana Chockler Georg Weissenbacher

Typ zdroja: eBook.

Predmet: Artificial intelligence, Logic, Symbolic and mathematical, Electronic data processing, Computer simulation, Software engineering, Computer science, Computer logic, Algorithms, Digital computer simulation, Computer algorithms

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms, COMPUTERS / Computer Simulation

The Use of Artificial Intelligence (AI) to Support Dietetic Practice Across Primary Care: A Scoping Review of the Literature.

Autori: Ngo, Kaitlyn Mekhail, Simone Chan, Virginia a ďalší

Zdroj: Nutrients. Nov2025, Vol. 17 Issue 22, p3515. 45p.

Optimising the selection of welfare indicators in farm animals.

Autori: Day, Jon Ben Haddou, Mohamed Kylling, Rita a ďalší

Zdroj: Frontiers in Veterinary Science. 2025, p1-19. 19p.

Artificial Intelligence in Endurance Sports: Metabolic, Recovery, and Nutritional Perspectives.

Autori: Grivas, Gerasimos V. Safari, Kousar

Zdroj: Nutrients. Oct2025, Vol. 17 Issue 20, p3209. 26p.

Preventive Immunology for Livestock and Zoonotic Infectious Diseases in the One Health Era: From Mechanistic Insights to Innovative Interventions.

Autori: Marzouk, Eman Alajaji, Ahmed I.

Zdroj: Veterinary Sciences. Oct2025, Vol. 12 Issue 10, p1014. 42p.

Platform Theoretical Referential of the Process of Teaching Learning of the Programming Logic in the Formation of Technologists in Analysis of Systems

Autori: Lic. Iván D. Tutillo-Arcentales Dra.C. Maribel Ferrer-Vicente

Zdroj: Santiago, Vol 0, Iss 137, Pp 589-605 (2015)

Predmety: French literature - Italian literature - Spanish literature - Portuguese literature, PQ1-3999, Social Sciences

Popis súboru: electronic resource

Relation: http://revistas.uo.edu.cu/index.php/stgo/article/view/22; https://doaj.org/toc/2227-6513

Prístupová URL adresa: https://doaj.org/article/2c4b7a7dc82f46119ed90964a21cadeb

Algorithmic Foundations for Social Advancement

Autori: Shin-ichi Minato Takeaki Uno Norihito Yasuda a ďalší

Typ zdroja: eBook.

Predmet: Algorithms, Automatic differentiation

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Programming / Algorithms

Foundations of Software Science and Computation Structures : 28th International Conference, FoSSaCS 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings

Autori: Parosh Aziz Abdulla Delia Kesner

Typ zdroja: eBook.

Predmet: Computer software--Congresses, Software engineering--Congresses

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Hardware / General, MATHEMATICS / Applied, MATHEMATICS / Logic