Výsledky vyhledávání - Special Issue 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

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

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

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

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

Autoři: Martino, Danilo Perlangeli, Cosimo Grottoli, Barbara a další

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

Témata: 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.

Autoři: Violos, John Mamanis, Georgios Kompatsiaris, Ioannis a další

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

Témata: ENVIRONMENTAL protection, EVIDENCE gaps, URBAN planning, DECISION making, MACHINE learning

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

Advanced discovery mechanisms in model repositories.

Autoři: Indamutsa, Arsene Di Rocco, Juri Almonte, Lissette a další

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

Témata: 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.

Autoři: Wiemer, Hajo Schneider, Dorothea Lang, Valentin a další

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

Témata: ARTIFICIAL intelligence, CYBER physical systems, VERTICAL integration, SERVICE-oriented architecture (Computer science)

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

Autoři: Reutter, Lisa Åm, Heidrun

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

Témata: ECONOMIC development, VALUE creation, PUBLIC sector, DATA analysis

Geografický termín: SCANDINAVIA