Search Results - logic programming and answer site programming*
-
1
A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
ISSN: 1041-4347, 1558-2191Published: New York IEEE 01.11.2010Published in IEEE transactions on knowledge and data engineering (01.11.2010)“…We present a novel combination of disjunctive programs under the answer set semantics with description logics for the Semantic Web…”
Get full text
Journal Article -
2
A Logic Programming Approach to Global Logistics in a Co-Design Environment
ISSN: 2075-2180, 2075-2180Published: 12.09.2023Published in Electronic proceedings in theoretical computer science (12.09.2023)Get full text
Journal Article -
3
Algorithm and intelligent tutoring system design for programmable controller programming
ISSN: 0268-3768, 1433-3015Published: London Springer London 01.03.2014Published in International journal of advanced manufacturing technology (01.03.2014)“…Programmable logic controllers (PLC) are used for many industrial process control applications…”
Get full text
Journal Article -
4
Language impact on productivity for industrial end users: A case study from Programmable Logic Controllers
ISSN: 2590-1184, 2590-1184Published: Elsevier Ltd 01.04.2022Published in Journal of computer languages (Online) (01.04.2022)“… Does Ladder Logic inhibit the productivity of end-user programmers, slowing progress in industrial settings like manufacturing sites and scientific labs where it is…”
Get full text
Journal Article -
5
Automated activity and progress analysis based on non-monotonic reasoning of construction operations
ISSN: 2046-6099, 2046-6102Published: Bingley Emerald Group Publishing Limited 10.11.2021Published in Smart and sustainable built environment (10.11.2021)“…PurposeReal-time location sensing (RTLS) systems offer a significant potential to advance the management of construction processes by potentially providing…”
Get full text
Journal Article -
6
Dynamic Program Analysis and Visualized Learning System in University Programming Courses
ISSN: 2673-4591Published: MDPI AG 01.07.2025Published in Engineering proceedings (01.07.2025)“… Despite the availability of information on programming on various websites and tools, including generative artificial intelligence (AI…”
Get full text
Journal Article -
7
LOG-IDEAH: LOGic trees for identification of damage due to earthquakes for architectural heritage
ISSN: 1570-761X, 1573-1456Published: Dordrecht Springer Netherlands 01.01.2015Published in Bulletin of earthquake engineering (01.01.2015)“… The present expert system has been set up on logic trees, implemented in answer set programming to encode the recognition process that surveyors proceed to investigate the causes of damage…”
Get full text
Journal Article -
8
Oilseed warehouse location selection with an integrated approach: a case of Turkey
ISSN: 0368-492X, 1758-7883Published: London Emerald Publishing Limited 25.09.2023Published in Kybernetes (25.09.2023)“…PurposeAgricultural sector not only meets the nutritional requirements of all living creatures but also generates the primary source of the raw material…”
Get full text
Journal Article -
9
Consistency and trust in peer data exchange systems
ISSN: 1471-0684, 1475-3081Published: Cambridge, UK Cambridge University Press 01.03.2017Published in Theory and practice of logic programming (01.03.2017)“… These two elements plus the data at the peers' sites and their local integrity constraints are made compatible via a semantics that characterizes sets of solution instances for the peers…”
Get full text
Journal Article -
10
Fuzzy expert systems and fuzzy reasoning
ISBN: 0471388599, 0471698490, 9780471698494, 9780471388593, 0471698504, 9780471698500Published: Hoboken, NJ Wiley 2005“…Fuzzy sets were for a long time not accepted by the AI community. Now they have become highly evolved and their techniques are well established. This book will…”
Get full text
eBook Book -
11
Rust Web Development with Rocket: A practical guide to starting your journey in Rust web development using the Rocket framework
ISBN: 1800560826, 9781800560826, 9781800561304, 180056130XPublished: Birmingham Packt Publishing 2022“…Explore the world of Rocket-fueled web application development and the power of the Rust programming language Key Features Discover solutions to the common problems faced while creating web…”
Get full text
eBook -
12
A Logic Programming Approach to Global Logistics in a Co-Design Environment
ISSN: 2331-8422Published: Ithaca Cornell University Library, arXiv.org 30.08.2023Published in arXiv.org (30.08.2023)“… (like cost, time or resilience). The product in question is an aircraft, comprised of multiple components, manufactured at multiple sites worldwide…”
Get full text
Paper -
13
A Proposal of Code Modification Problem for Web Client Programming Using JavaScript
ISSN: 2379-1896Published: IEEE 01.11.2021Published in International Symposium on Computing and Networking (Online) (01.11.2021)“…Programming Learning Assistant System (PLAS) has been developed as a web-based self-learning platform for programming…”
Get full text
Conference Proceeding -
14
Spring MVC cookbook: over 40 recipes for creating cloud-ready Java web applications with spring MVC
ISBN: 1784394106, 1784396419, 9781784396411, 9781784394103Published: Birmingham PACKT Publishing 2016“…Spring MVC is a lightweight application framework that comes with a great configuration by default. Being part of the Spring Framework, it naturally extended…”
Get full text
eBook -
15
How Do Users Answer MATLAB Questions on Q&A Sites? A Case Study on Stack Overflow and MathWorks
Published: IEEE 01.03.2021Published in 2021 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) (01.03.2021)“…MATLAB is an engineering programming language with various toolboxes that has a dedicated Question and Answer (Q&A…”
Get full text
Conference Proceeding -
16
Techtube: Summarizing Relevant Parts from Technical Videos
ISBN: 9798374493092Published: ProQuest Dissertations & Theses 01.01.2021“… For example, YouTube now contains millions of high-quality videos on technical topics, such as programming…”
Get full text
Dissertation -
17
Dynameomics: design of a computational lab workflow and scientific data repository for protein simulations
ISSN: 1741-0126Published: England 01.06.2008Published in Protein engineering, design and selection (01.06.2008)“…Dynameomics is a project to investigate and catalog the native-state dynamics and thermal unfolding pathways of representatives of all protein folds using…”
Get more information
Journal Article -
18
Activist Laboratories of the 1990's: The roots of technological determinism in contemporary social movements
ISSN: 0950-2386, 1466-4348Published: Routledge 04.07.2014Published in Cultural studies (London, England) (04.07.2014)“…In the 1990s, as the Internet went public, a throng of technological utopianists began declaring the coming of an authentic social, political and democratic…”
Get full text
Journal Article -
19
An Open-Source Implementation of the Critical-Line Algorithm for Portfolio Optimization
ISSN: 1999-4893, 1999-4893Published: Basel MDPI AG 01.03.2013Published in Algorithms (01.03.2013)“… We discuss the logic behind CLA following the algorithm’s decision flow. In addition, we developed several utilities that support finding answers to recurrent practical problems…”
Get full text
Journal Article -
20
Web Log Session Analyzer: Integrating Parsing and Logic Programming into a Data Mart Architecture
ISBN: 076952415X, 9780769524153Published: Washington, DC, USA IEEE Computer Society 19.09.2005Published in IEEE/WIC/ACM International Conference on web intelligence (19.09.2005)“…Navigation and interaction patterns of Web users can be relatively complex, especially for sites with interactive applications that support user sessions and profiles…”
Get full text
Conference Proceeding

