Results 11 to 20 of about 9,061,188 (344)
Abstract domains for reordering CLP(RLin) programs [PDF]
The Journal of Logic Programming, 2000 Summary: In order to address the multi-directional nature of constraint logic programs, recent optimizing compilers generate several versions of a procedure and optimize them independently. Reordering, i.e., moving constraints towards the end of a clause, plays a fundamental role in this optimization: it may lead to significant improvements in ...
Viswanath Ramachandran +2 more
openalex +4 more sources
Vague Domains, S-Unification and Logic Programming
Electronic Notes in Theoretical Computer Science, 2002 AbstractThe purpose of this paper is to give some insights to the use of vague (fuzzy) constants and similarity in logic programming. The basis of semantics for Similarity based Logic Programming (SbLP) is presented. S-unification, or similarity based unification is discussed.
Harry E. Virtanen
openalex +3 more sources
Clausal Logic and Logic Programming in Algebraic Domains
Information and Computation, 2001 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
William C. Rounds, Guo‐Qiang Zhang
openalex +3 more sources
PyFlies: A Domain-Specific Language for Designing Experiments in Psychology
Applied Sciences, 2021 The majority of studies in psychology are nowadays performed using computers. In the past, access to good quality software was limited, but in the last two decades things have changed and today we have an array of good and easily accessible open-source ...
Igor Dejanović +3 more
doaj +1 more source
Frequency-Domain Ship Motion Code with Python Programming Language
Journal of Eta Maritime Science, 2021 In this study, a frequency-domain seakeeping code is established. A container ship was selected as an example to demonstrate the outputs of the code in different headings, ranging from the beam to head waves.
Seyyit Nafiz Arslan +2 more
doaj +1 more source
FastLAS: Scalable Inductive Logic Programming Incorporating Domain-Specific Optimisation Criteria
AAAI Conference on Artificial Intelligence, 2020 Inductive Logic Programming (ILP) systems aim to find a set of logical rules, called a hypothesis, that explain a set of examples. In cases where many such hypotheses exist, ILP systems often bias towards shorter solutions, leading to highly general ...
Mark Law +4 more
semanticscholar +1 more source
Visualization of domain-specific programs' behavior [PDF]
2009 5th IEEE International Workshop on Visualizing Software for Understanding and Analysis, 2009 Program domain concepts are rather complex and low level for a fast assimilation. On the other hand, problem domain concepts are closer to human's mind, hence they are easier to perceive. Based on Brook's theory, a full comprehension of a program is only achieved if both domains are connected and visualized in synchronization, resulting on an action ...
Oliveira, Nuno +3 more
openaire +4 more sources
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper) [PDF]
Theory and Practice of Logic Programming, 2016 Answer Set Programming (ASP) is a popular logic programming paradigm that has been applied for solving a variety of complex problems. Among the most challenging real-world applications of ASP are two industrial problems defined by Siemens: the Partner ...
Carmine Dodaro +5 more
semanticscholar +1 more source
Task Programming: Learning Data Efficient Behavior Representations [PDF]
Computer Vision and Pattern Recognition, 2020 Specialized domain knowledge is often necessary to accurately annotate training sets for in-depth analysis, but can be burdensome and time-consuming to acquire from domain experts.
Jennifer J. Sun +4 more
semanticscholar +1 more source
Domain-Specific Program Checking [PDF]
, 2010 Lint-like program checkers are popular tools that ensure code quality by verifying compliance with best practices for a particular programming language. The proliferation of internal domain-specific languages and models, however, poses new challenges for such tools.
Renggli, Lukas +3 more
openaire +3 more sources