Výsledky vyhledávání - constraint answer set programming (cas)

Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches.

Autoři: LIERLER, YULIYA

Zdroj: Theory & Practice of Logic Programming; Jan2023, Vol. 23 Issue 1, p195-225, 31p

Témata: TRAVELING salesman problem, DINGO, TRAIN schedules, SYSTEMS design, INCAS

Unifying Framework for Optimizations in Non-Boolean Formalisms.

Autoři: LIERLER, YULIYA

Zdroj: Theory & Practice of Logic Programming; Nov2023, Vol. 23 Issue 6, p1248-1280, 33p

Témata: KNOWLEDGE representation (Information theory), PROGRAMMING languages, ARTIFICIAL intelligence, LINEAR programming, INTEGER programming, SEARCH algorithms, NONMONOTONIC logic

On relation between constraint answer set programming and satisfiability modulo theories.

Autoři: LIERLER, YULIYA SUSMAN, BENJAMIN

Zdroj: Theory & Practice of Logic Programming; Jul2017, Vol. 17 Issue 4, p559-590, 32p

Témata: CONSTRAINT programming, SATISFIABILITY (Computer science), PROBLEM solving, INTEGERS, LINEAR programming

Algorithms and efficient encodings for argumentation frameworks and arithmetic problems

Autoři: Guitart Bravo, Francesc

Přispěvatelé: University/Department: Universitat de Lleida. Departament d'Informàtica i Enginyeria Industrial

Thesis Advisors: Alsinet, Teresa, Béjar Torres, Ramón

Zdroj: TDX (Tesis Doctorals en Xarxa)

Témata: Raonament, Semàntiques Recursives, Conflicte col·lectiu, Razonamiento, Semánticas recursivas, Conflicto colectivo, Defeasible Reasoning, Recursive semantics, Collective conflict, Ciència de la Computació i Inteligència Artificial

Popis souboru: application/pdf

Přístupová URL adresa: http://hdl.handle.net/10803/284474

Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures.

Autoři: BOZZATO, LORIS EITER, THOMAS KIESEL, RAFAEL

Zdroj: Theory & Practice of Logic Programming; Sep2021, Vol. 21 Issue 5, p593-609, 17p

Témata: DESCRIPTION logics, AXIOMS

Understanding relationships among climate change, conflict, migration/displacement and health in humanitarian settings: a scoping review.

Autoři: Lasater, Molly E. Prager, Gabrielle Choi, Yuni A. a další

Zdroj: Conflict & Health; 10/14/2025, Vol. 19 Issue 1, p1-21, 21p

Témata: CLIMATE change, SOCIAL conflict, NATURAL resources management, PUBLIC health, HAZARDS, CRISES, FORCED migration, INTERNAL migration

Introduction to the 30th International Conference on Logic Programming Special Issue.

Autoři: LEUSCHEL, MICHAEL SCHRIJVERS, TOM Leuschel, Michael a další

Zdroj: Theory & Practice of Logic Programming; Jul2014, Vol. 14 Issue 4/5, p401-414, 14p

Témata: LOGIC programming, CONFERENCES & conventions, SOFTWARE verification, DATA integration, ARTIFICIAL intelligence, SEMANTIC Web

Multi-threaded ASP solving with clasp.

Autoři: GEBSER, MARTIN KAUFMANN, BENJAMIN SCHAUB, TORSTEN

Zdroj: Theory & Practice of Logic Programming; Jul2012, Vol. 12 Issue 4/5, p525-545, 21p

Témata: COMPUTER programming, THREADS (Computer programs), COMMUNICATION, INFORMATION theory, CONSTRAINT programming, INFORMATION technology

ESICM LIVES 2025.

Zdroj: Intensive Care Medicine Experimental; 11/23/2025, Vol. 13 Issue 1, p1-863, 863p

Témata: HALLUCINATIONS, NATURAL language processing, NEUROBEHAVIORAL disorders, CRITICALLY ill patient care, ANTIPSYCHOTIC agents, KETAMINE, INTENSIVE care units

Technical Writing in Filipino Among Grade 10 Students: A PLS-Structural Equation Model.

Autoři: Praile, Jason Rey M. Baradillo, Danillo G.

Zdroj: Psychology & Education: A Multidisciplinary Journal; 2025, Vol. 48 Issue 4, p487-518, 32p

Prioritisation of Investments in Sewage Projects: A Multicriteria Model.

Autoři: Asfor, Jose Carlos Freitas, Neurisangelo Cavalcante de Pinheiro, Placido Rogério

Zdroj: Water (20734441); Nov2025, Vol. 17 Issue 21, p3065, 25p

Témata: SANITATION, MULTIPLE criteria decision making, ARTIFICIAL intelligence, CAPITAL allocation, CITIES & towns, SEWAGE disposal plants, INTERDISCIPLINARY research, DECISION making

Abstracts of the 11th Tanzania Health Summit.

Zdroj: BMC Proceedings; 10/27/2025, Vol. 19 Issue 29, p1-60, 60p

Témata: PUBLIC health, COMMUNICABLE diseases, COMMUNITY involvement, DIGITAL technology, CHILDREN'S health, HEALTH care reform, MATERNAL health

Geografický termín: TANZANIA

The 34th Anual Meeting of the Asian Pacific Association for the study of the liver.

Zdroj: Hepatology International; 2025 Suppl 1, Vol. 19, p1-1554, 1554p

The Liver Meeting: 2025 Abstracts.

Zdroj: Hepatology (02709139); 2025Supplement, Vol. 82, pS1-S2308, 2308p

Integrating GPT-Based AI into Virtual Patients to Facilitate Communication Training Among Medical First Responders: Usability Study of Mixed Reality Simulation.

Autoři: Gutiérrez Maquilón, Rodrigo Uhl, Jakob Schrom-Feiertag, Helmut a další

Zdroj: JMIR Formative Research; 2024, Vol. 8, p1-13, 13p

Artificial Intelligence in Sustainable Drainage Water Reuse: A Comprehensive Review.

Autoři: Abdulameer, Layth Saeed Abdalrahem, Mushtaq K. Al Maimuri, Najah M. L. a další

Zdroj: Water Conservation Science & Engineering; 9/22/2025, Vol. 10 Issue 3, p1-25, 25p

Towards Resilient Cities: Systematic Review of the Literature on the Use of AI to Optimize Water Harvesting and Mitigate Scarcity.

Autoři: Maldonado Benitez, Victor Martin Morales Matamoros, Oswaldo Moreno Escobar, Jesús Jaime

Zdroj: Water (20734441); Jul2025, Vol. 17 Issue 13, p1978, 66p

Témata: ARTIFICIAL intelligence, WATER harvesting, ORGANIZATIONAL governance, SUSTAINABLE urban development, SUSTAINABILITY, WATER management, WATER shortages

AI Chatbots and Cognitive Control: Enhancing Executive Functions Through Chatbot Interactions: A Systematic Review.

Autoři: Pergantis, Pantelis Bamicha, Victoria Skianis, Charalampos a další

Zdroj: Brain Sciences (2076-3425); Jan2025, Vol. 15 Issue 1, p47, 22p

Témata: EXECUTIVE function, ARTIFICIAL intelligence, CONTROL (Psychology), CHATBOTS, DIGITAL technology

Constructing majority-rule supertrees.

Autoři: Jianrong Dong Fernández-Baca, David McMorris, F. R.

Zdroj: Algorithms for Molecular Biology; 2010, Vol. 5, p1-16, 16p, 2 Diagrams, 5 Charts

Témata: MOLECULAR biology, PHYLOGENY, COTTON, LINEAR programming, HEURISTIC programming, DYNAMIC programming

Agile Processes in Software Engineering and Extreme Programming

Autoři: Peggy Gregory Casper Lassenius Xiaofeng Wang a další

Resource Type: eBook.

Témata: Agile software development--Congresses, eXtreme programming--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, BUSINESS & ECONOMICS / Information Management, COMPUTERS / Management Information Systems