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
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 -
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
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 -
7
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 -
8
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 -
9
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 -
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
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 -
12
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 -
13
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 -
14
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 -
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
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 -
18
Combining Boolean Games with the Power of Ontologies for Automated Multi-attribute Negotiation in the Semantic Web
ISBN: 0769538010, 9780769538013Published: Washington, DC, USA IEEE Computer Society 15.09.2009Published in Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02 (15.09.2009)“… Among these approaches, there are also Boolean games. In this paper, we introduce Boolean description logic games, which are a combination of Boolean games with ontological background knowledge, formulated using expressive description logics…”
Get full text
Conference Proceeding -
19
Long-Term Planning of Waste Management System in the City of Regina – an Integrated Inexact Optimization Approach
ISSN: 1420-2026, 1573-2967Published: Dordrecht Springer Nature B.V 01.12.2001Published in Environmental modeling & assessment (01.12.2001)“…In this study, an integrated solid waste management system based on inexact fuzzy-stochastic mixed integer linear programming (IFSMILP…”
Get full text
Journal Article -
20
Lackwit: a program understanding tool based on type inference
ISBN: 9780897919142, 0897919149ISSN: 0270-5257Published: New York, NY, USA ACM 01.01.1997Published in Proceedings / International Conference on Software Engineering (01.01.1997)“… unused variables, functions, and fields of data structures, detect simple errors in operations on abstract datatypes, and locate sites of possible references to a value…”
Get full text
Conference Proceeding Journal Article

