Výsledky vyhledávání - special (issue OR issues) on user-oriented logic programming AND reasoning paradigms

Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms

Autoři: Claudia Schulz Stefan Ellmauthaler

Zdroj: Theory and Practice of Logic Programming. 19:109-113

Témata: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Přístupová URL adresa: https://www.cambridge.org/core/services/aop-cambridge-core/content/view/0477FAB6140A86643C57309885163A0C/S1471068418000510a.pdf/div-class-title-introduction-to-the-tplp-special-issue-on-user-oriented-logic-programming-and-reasoning-paradigms-div.pdf

Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms.

Autoři: ELLMAUTHALER, STEFAN SCHULZ, CLAUDIA Schulz, Claudia a další

Zdroj: Theory & Practice of Logic Programming; Mar2019, Vol. 19 Issue 2, p109-113, 5p

Témata: LOGIC programming, REASONING, MACHINE learning

Integrating knowledge representation and reasoning in Geographical Information Systems.

Autoři: Mancarella, P. RaffaetÀ, A. Renso, C. a další

Zdroj: International Journal of Geographical Information Science; Jun2004, Vol. 18 Issue 4, p417-447, 30p

Témata: COMPUTER programming, PROLOG (Computer program language), LOGIC programming languages, INFORMATION storage & retrieval systems, INFORMATION organization, INFORMATION science

Issues on Risk Analysis for Critical Infrastructure Protection

Autoři: Vittorio Rosato Antonio Di Pietro

Resource Type: eBook.

Témata: Computer security, Infrastructure (Economics), Computer networks--Security measures

Categories: SCIENCE / Environmental Science

Libraries, Archives, and Museums in Transition : Changes, Challenges, and Convergence in a Scandinavian Perspective

Autoři: Casper Hvenegaard Rasmussen Kerstin Rydbeck Håkon Larsen

Resource Type: eBook.

Témata: Museums--Collection management--Scandinavia, Information services--Scandinavia, Collection management (Libraries)--Scandinavia, Archives--Collection management--Scandinavia

Categories: ART / Museum Studies, LANGUAGE ARTS & DISCIPLINES / Library & Information Science / General, LANGUAGE ARTS & DISCIPLINES / Library & Information Science / Archives & Special Libraries

Recommender Systems: Legal and Ethical Issues

Autoři: Sergio Genovesi Katharina Kaesling Scott Robbins

Resource Type: eBook.

Témata: Recommender systems (Information filtering)--Law and legislation, Recommender systems (Information filtering)--Moral and ethical aspects

Categories: PHILOSOPHY / Ethics & Moral Philosophy, COMPUTERS / Artificial Intelligence / General

Pandemic and the Critical Role of Knowledge Management

Autoři: Sevinç Gülseçen Sushil Kumar Sharma Fatma Önay Koçoğlu

Resource Type: eBook.

Témata: Medical informatics, COVID-19 (Disease)

Categories: HEALTH & FITNESS / Diseases & Conditions / Contagious (incl. Pandemics), SOCIAL SCIENCE / Disease & Health Issues

Three New-Generation Software Environments.

Autoři: Tyugu, Enn

Zdroj: Communications of the ACM; Jun91, Vol. 34 Issue 6, p46-59, 14p, 6 Diagrams

Témata: COMPUTER software, LOGIC programming, ARTIFICIAL intelligence, COMPUTER programming

Geografický termín: SOVIET Union

Logika: the Sireum verification framework.

Autoři: Robby Hatcliff, John Belt, Jason

Zdroj: International Journal on Software Tools for Technology Transfer; Oct2025, Vol. 27 Issue 5, p487-510, 24p

Témata: FORMAL methods (Computer science), SOFTWARE development tools, ABSTRACTION (Computer science), CRITICAL thinking, ADAPTIVE computing systems

Exploring the Adoption of Collaborative Robots for the Preparation of Galenic Formulations.

Autoři: Gargioni, Luigi Fogli, Daniela Baroni, Pietro

Zdroj: Information; Jul2025, Vol. 16 Issue 7, p559, 21p

Témata: LANGUAGE models, INDUSTRIAL robots, ARTIFICIAL intelligence, MANUFACTURING processes, PHARMACEUTICAL industry

Algorithmic Techniques for GPU Scheduling: A Comprehensive Survey.

Autoři: Chab, Robert Li, Fei Setia, Sanjeev

Zdroj: Algorithms; Jul2025, Vol. 18 Issue 7, p385, 52p

Témata: SCHEDULING, RESOURCE management, MACHINE learning, COMPUTER performance, ALGORITHMS, QUEUING theory

A case for data-oriented specifications: simpler implementation of B tools and DSLs.

Autoři: Körner, Philipp Mager, Florian Roßbach, Jan

Zdroj: Innovations in Systems & Software Engineering; Sep2025, Vol. 21 Issue 3, p939-959, 21p

Seventy years of information systems development methodologies from early business computing to the Agile era: A two-part history Part 2: Later ISD to Early post ISD methodology era: Adapting to accelerated context expansion (1980–today).

Autoři: Porra, Jaana Hirschheim, Rudy Land, Frank a další

Zdroj: Journal of Information Technology (Sage Publications Inc.); Dec2025, Vol. 40 Issue 4, p470-498, 29p

Témata: SYSTEMS development, HISTORICAL analysis, BUSINESS informatics, INFORMATION storage & retrieval systems, AGILE software development

An Inclusive Offline Learning Platform Integrating Gesture Recognition and Local AI Models.

Autoři: Drăgoi, Marius-Valentin Nisipeanu, Ionuț Puiu, Roxana-Adriana a další

Zdroj: Biomimetics (2313-7673); Oct2025, Vol. 10 Issue 10, p693, 14p

Témata: GESTURE controlled interfaces (Computer systems), HUMAN-computer interaction, EDUCATIONAL technology, MULTIMODAL user interfaces, WEB accessibility, MOTION detectors

A Trusted Multi-Cloud Brokerage System for Validating Cloud Services Using Ranking Heuristics.

Autoři: Nagarajan, Rajganesh Palanichamy, Vinothiyalakshmi Thirunavukarasu, Ramkumar a další

Zdroj: Future Internet; Aug2025, Vol. 17 Issue 8, p348, 15p

Témata: CLOUD computing, TRUST, HYBRID cloud computing, MODEL validation, QUALITY of service

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

Autoři: Tomáš Vojnar Lijun Zhang

Resource Type: eBook.

Témata: Artificial intelligence, Computer system performance, Software engineering, Logic design, Computer science, Computer industry, Electronic data processing

Categories: COMPUTERS / Computer Science, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / General

A systematic literature review on soft computing techniques in cloud load balancing network.

Autoři: Negi, Sarita Singh, Devesh Pratap Rauthan, Man Mohan Singh

Zdroj: International Journal of Systems Assurance Engineering & Management; Mar2024, Vol. 15 Issue 3, p800-838, 39p

Instructing with Cognitive Apprenticeship Programming Learning System (CAPLS) for novice computer science college freshmen: An exploration study.

Autoři: Chih-Chang Yu Leon Yufeng Wu

Zdroj: Educational Technology & Society; Apr2024, Vol. 27 Issue 2, p183-196, 14p

Témata: INSTRUCTIONAL systems, COMPUTER science, COLLEGE freshmen, BLENDED learning, APPRENTICESHIP programs, COMPUTER assisted instruction, KNOWLEDGE gap theory

Development and maturity of co-word thematic clusters: the field of linked data.

Autoři: Hosseini, Elaheh Taghizadeh Milani, Kimiya Sabetnasab, Mohammad Shaker

Zdroj: Library Hi Tech; 2025, Vol. 43 Issue 1, p81-113, 33p

Intelligent Digital Twin for Predicting Technology Discourse Patterns: Agent-Based Modeling of User Interactions and Sentiment Dynamics in DeepSeek Discourse Case.

Autoři: Zhang, Kaihang Dong, Changqi Guo, Yifeng a další

Zdroj: Systems; Jun2025, Vol. 13 Issue 6, p451, 31p

Témata: LANGUAGE models, DIGITAL twin, INFORMATION technology security, COMMUNICATION patterns, TECHNOLOGICAL innovations, DIGITAL communications