Search Results - 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

Authors: Claudia Schulz Stefan Ellmauthaler

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

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

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

Authors: ELLMAUTHALER, STEFAN SCHULZ, CLAUDIA Schulz, Claudia et al.

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

Subject Terms: LOGIC programming, REASONING, MACHINE learning

Integrating knowledge representation and reasoning in Geographical Information Systems.

Authors: Mancarella, P. RaffaetÀ, A. Renso, C. et al.

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

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

Authors: Vittorio Rosato Antonio Di Pietro

Resource Type: eBook.

Subjects: 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

Authors: Casper Hvenegaard Rasmussen Kerstin Rydbeck Håkon Larsen

Resource Type: eBook.

Subjects: 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

Authors: Sergio Genovesi Katharina Kaesling Scott Robbins

Resource Type: eBook.

Subjects: 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

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

Resource Type: eBook.

Subjects: Medical informatics, COVID-19 (Disease)

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

Three New-Generation Software Environments.

Authors: Tyugu, Enn

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

Subject Terms: COMPUTER software, LOGIC programming, ARTIFICIAL intelligence, COMPUTER programming

Geographic Terms: SOVIET Union

Logika: the Sireum verification framework.

Authors: Robby Hatcliff, John Belt, Jason

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

Subject Terms: 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.

Authors: Gargioni, Luigi Fogli, Daniela Baroni, Pietro

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

Subject Terms: LANGUAGE models, INDUSTRIAL robots, ARTIFICIAL intelligence, MANUFACTURING processes, PHARMACEUTICAL industry

Algorithmic Techniques for GPU Scheduling: A Comprehensive Survey.

Authors: Chab, Robert Li, Fei Setia, Sanjeev

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

Subject Terms: SCHEDULING, RESOURCE management, MACHINE learning, COMPUTER performance, ALGORITHMS, QUEUING theory

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

Authors: Körner, Philipp Mager, Florian Roßbach, Jan

Source: 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).

Authors: Porra, Jaana Hirschheim, Rudy Land, Frank et al.

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

Subject Terms: 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.

Authors: Drăgoi, Marius-Valentin Nisipeanu, Ionuț Puiu, Roxana-Adriana et al.

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

Subject Terms: 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.

Authors: Nagarajan, Rajganesh Palanichamy, Vinothiyalakshmi Thirunavukarasu, Ramkumar et al.

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

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

Authors: Tomáš Vojnar Lijun Zhang

Resource Type: eBook.

Subjects: 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.

Authors: Negi, Sarita Singh, Devesh Pratap Rauthan, Man Mohan Singh

Source: 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.

Authors: Chih-Chang Yu Leon Yufeng Wu

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

Subject Terms: 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.

Authors: Hosseini, Elaheh Taghizadeh Milani, Kimiya Sabetnasab, Mohammad Shaker

Source: 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.

Authors: Zhang, Kaihang Dong, Changqi Guo, Yifeng et al.

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

Subject Terms: LANGUAGE models, DIGITAL twin, INFORMATION technology security, COMMUNICATION patterns, TECHNOLOGICAL innovations, DIGITAL communications