Suchergebnisse - 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-2191Veröffentlicht: New York IEEE 01.11.2010Veröffentlicht 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 …”
Volltext
Journal Article -
2
A Logic Programming Approach to Global Logistics in a Co-Design Environment
ISSN: 2075-2180, 2075-2180Veröffentlicht: 12.09.2023Veröffentlicht in Electronic proceedings in theoretical computer science (12.09.2023)Volltext
Journal Article -
3
Algorithm and intelligent tutoring system design for programmable controller programming
ISSN: 0268-3768, 1433-3015Veröffentlicht: London Springer London 01.03.2014Veröffentlicht in International journal of advanced manufacturing technology (01.03.2014)“… Programmable logic controllers (PLC) are used for many industrial process control applications …”
Volltext
Journal Article -
4
Language impact on productivity for industrial end users: A case study from Programmable Logic Controllers
ISSN: 2590-1184, 2590-1184Veröffentlicht: Elsevier Ltd 01.04.2022Veröffentlicht 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 …”
Volltext
Journal Article -
5
Automated activity and progress analysis based on non-monotonic reasoning of construction operations
ISSN: 2046-6099, 2046-6102Veröffentlicht: Bingley Emerald Group Publishing Limited 10.11.2021Veröffentlicht 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 …”
Volltext
Journal Article -
6
Dynamic Program Analysis and Visualized Learning System in University Programming Courses
ISSN: 2673-4591Veröffentlicht: MDPI AG 01.07.2025Veröffentlicht in Engineering proceedings (01.07.2025)“… Despite the availability of information on programming on various websites and tools, including generative artificial intelligence (AI …”
Volltext
Journal Article -
7
LOG-IDEAH: LOGic trees for identification of damage due to earthquakes for architectural heritage
ISSN: 1570-761X, 1573-1456Veröffentlicht: Dordrecht Springer Netherlands 01.01.2015Veröffentlicht 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 …”
Volltext
Journal Article -
8
Oilseed warehouse location selection with an integrated approach: a case of Turkey
ISSN: 0368-492X, 1758-7883Veröffentlicht: London Emerald Publishing Limited 25.09.2023Veröffentlicht 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 …”
Volltext
Journal Article -
9
Consistency and trust in peer data exchange systems
ISSN: 1471-0684, 1475-3081Veröffentlicht: Cambridge, UK Cambridge University Press 01.03.2017Veröffentlicht 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 …”
Volltext
Journal Article -
10
Fuzzy expert systems and fuzzy reasoning
ISBN: 0471388599, 0471698490, 9780471698494, 9780471388593, 0471698504, 9780471698500Veröffentlicht: 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 …”
Volltext
E-Book Buch -
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, 180056130XVeröffentlicht: 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 …”
Volltext
E-Book -
12
A Logic Programming Approach to Global Logistics in a Co-Design Environment
ISSN: 2331-8422Veröffentlicht: Ithaca Cornell University Library, arXiv.org 30.08.2023Veröffentlicht 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 …”
Volltext
Paper -
13
A Proposal of Code Modification Problem for Web Client Programming Using JavaScript
ISSN: 2379-1896Veröffentlicht: IEEE 01.11.2021Veröffentlicht 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 …”
Volltext
Tagungsbericht -
14
Spring MVC cookbook: over 40 recipes for creating cloud-ready Java web applications with spring MVC
ISBN: 1784394106, 1784396419, 9781784396411, 9781784394103Veröffentlicht: 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 …”
Volltext
E-Book -
15
How Do Users Answer MATLAB Questions on Q&A Sites? A Case Study on Stack Overflow and MathWorks
Veröffentlicht: IEEE 01.03.2021Veröffentlicht 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 …”
Volltext
Tagungsbericht -
16
Techtube: Summarizing Relevant Parts from Technical Videos
ISBN: 9798374493092Veröffentlicht: ProQuest Dissertations & Theses 01.01.2021“… For example, YouTube now contains millions of high-quality videos on technical topics, such as programming …”
Volltext
Dissertation -
17
Dynameomics: design of a computational lab workflow and scientific data repository for protein simulations
ISSN: 1741-0126Veröffentlicht: England 01.06.2008Veröffentlicht 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 …”
Weitere Angaben
Journal Article -
18
Knowledge Representation, Reasoning and Declarative Problem Solving
ISBN: 9780521147750, 0521818028, 0521147751, 9780521818025Veröffentlicht: Cambridge Cambridge University Press 09.01.2003“… knowledge via a declarative interface whose input language is based on logic. In this book, originally published in 2003, Chitta Baral shows exactly how to go about doing …”
Volltext
E-Book Buch -
19
Activist Laboratories of the 1990's: The roots of technological determinism in contemporary social movements
ISSN: 0950-2386, 1466-4348Veröffentlicht: Routledge 04.07.2014Veröffentlicht 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 …”
Volltext
Journal Article -
20
An Open-Source Implementation of the Critical-Line Algorithm for Portfolio Optimization
ISSN: 1999-4893, 1999-4893Veröffentlicht: Basel MDPI AG 01.03.2013Veröffentlicht 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 …”
Volltext
Journal Article

