Results 21 to 30 of about 6,452,641 (347)
Architected Lattices with a Topological Transition
Advanced Engineering Materials, EarlyView., 2023 This article develops topological metamaterials showing multidirectional two‐step deformation under compression by embedding contact‐enabled topological mechanisms into lattice structures. Experiments on 3D‐printed 2D and 3D lattices and finite element simulations are conducted to demonstrate the working principle of the topological metamaterials.
Shivam Agarwal, Lihua Jin
wiley +1 more source
Service-Oriented Logic Programming [PDF]
Logical Methods in Computer Science, 2015 We develop formal foundations for notions and mechanisms needed to support service-oriented computing. Our work builds on recent theoretical advancements in the algebraic structures that capture the way services are orchestrated and in the processes that
Ionut Tutu, Jose Luiz Fiadeiro
doaj +1 more source
Comparing logic programming and formal argumentation; the case of ideal and eager semantics
Argument & Computation, 2022 The connection between logic programming and formal argumentation has been studied starting from the landmark 1995 paper of Dung. Subsequent work has identified a standard translation from logic programs to (instantiated) argumentation frameworks ...
Martin Caminada +2 more
doaj +1 more source
Description logic programs [PDF]
Proceedings of the twelfth international conference on World Wide Web - WWW '03, 2003 We show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules (RuleML Logic Programs) and ontologies (OWL/DAML+OIL Description Logic) via analyzing their expressive intersection. To do so, we define a new intermediate knowledge representation (KR) contained within this intersection: Description Logic ...
Grosof, Benjamin +3 more
openaire +5 more sources
Traditional Logic and Computational Thinking
Philosophies, 2021 In this contribution, we try to show that traditional Aristotelian logic can be useful (in a non-trivial way) for computational thinking. To achieve this objective, we argue in favor of two statements: (i) that traditional logic is not classical and (ii)
J.-Martín Castro-Manzano
doaj +1 more source
The Influence of the Developed Specific Multi-Paradigm Programming in Digital Logic Education
Mathematics, 2021 This article introduces the possible usage of the developed programming discourse that can be used to support training in the digital logic area. The discourse merges several programming paradigms into one solution.
Lukas Hapl, Hashim Habiballa
doaj +1 more source
Mathematics, 2020 This paper relates two interesting paradigms in fuzzy logic programming from a semantical approach: core fuzzy answer set programming and multi-adjoint normal logic programming.
M. Eugenia Cornejo +2 more
doaj +1 more source
Logic + probabilistic programming + causal laws
Royal Society Open Science, 2023 Probabilistic planning attempts to incorporate stochastic models directly into the planning process, which is the problem of synthesizing a sequence of actions that achieves some objective for a putative agent.
Vaishak Belle
doaj +1 more source
Logic programming as a service [PDF]
Theory and Practice of Logic Programming, 2018 AbstractNew generations of distributed systems are opening novel perspectives for logic programming (LP): On the one hand, service-oriented architectures represent nowadays the standard approach for distributed systems engineering; on the other hand, pervasive systems mandate for situated intelligence.
CALEGARI, ROBERTA +3 more
openaire +5 more sources
Optimizing Probabilities in Probabilistic Logic Programs [PDF]
Theory and Practice of Logic Programming 21 (2021) 543-556, 2021 Probabilistic Logic Programming is an effective formalism for encoding problems characterized by uncertainty. Some of these problems may require the optimization of probability values subject to constraints among probability distributions of random variables.
arxiv +1 more source