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

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

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

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

A Knowledge-Driven Framework for AI-Augmented Business Process Management Systems: Bridging Explainability and Agile Knowledge Sharing.

Authors: Martino, Danilo Perlangeli, Cosimo Grottoli, Barbara et al.

Source: AI; Jun2025, Vol. 6 Issue 6, p110, 43p

Subject Terms: ROBOTIC process automation, BUSINESS process management, SCRUM (Computer software development), ARTIFICIAL intelligence, PROCESS mining

Cognition and context-aware decision-making systems for a sustainable planet: a survey on recent advancements, applications and open challenges.

Authors: Violos, John Mamanis, Georgios Kompatsiaris, Ioannis et al.

Source: Discover Sustainability; 4/3/2025, Vol. 6 Issue 1, p1-43, 43p

Subject Terms: ENVIRONMENTAL protection, EVIDENCE gaps, URBAN planning, DECISION making, MACHINE learning

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

Advanced discovery mechanisms in model repositories.

Authors: Indamutsa, Arsene Di Rocco, Juri Almonte, Lissette et al.

Source: Software: Practice & Experience; Nov2024, Vol. 54 Issue 11, p2214-2248, 35p

Subject Terms: RECOMMENDER systems, TRACTION (Engineering), SOFTWARE engineering, SEARCH engines, INSTITUTIONAL repositories

Need for UAI–Anatomy of the Paradigm of Usable Artificial Intelligence for Domain-Specific AI Applicability.

Authors: Wiemer, Hajo Schneider, Dorothea Lang, Valentin et al.

Source: Multimodal Technologies & Interaction; Mar2023, Vol. 7 Issue 3, p27, 23p

Subject Terms: ARTIFICIAL intelligence, CYBER physical systems, VERTICAL integration, SERVICE-oriented architecture (Computer science)

Constructing the data economy: tracing expectations of value creation in policy documents.

Authors: Reutter, Lisa Åm, Heidrun

Source: Critical Policy Studies; Nov2024, Vol. 18 Issue 4, p639-659, 21p

Subject Terms: ECONOMIC development, VALUE creation, PUBLIC sector, DATA analysis

Geographic Terms: SCANDINAVIA