Results 11 to 20 of about 7,084,339 (219)
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
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
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
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
2P-Kt: A logic-based ecosystem for symbolic AI
SoftwareX, 2021 To date, logic-based technologies are either built on top or as extensions of the Prolog language, mostly working as monolithic solutions tailored upon specific inference procedures, unification mechanisms, or knowledge representation techniques. Instead,
Giovanni Ciatto +2 more
doaj +1 more source
PENGENALAN LOGIKA MEMBUAT PROGRAM GAME PADA ANAK-ANAK DENGAN MENGGUNAKAN APLIKASI SCRATCH
Pena Dimas, 2023 Gaming is currently a game that both children and adults are very interested in. If not anticipated as early as possible, these games can become addictive or dependent.
Muhammad Sholeh +2 more
doaj +1 more source
Logic programming and constraint logic programming [PDF]
ACM Computing Surveys, 1996 Logic programming is a language paradigm based on logic, more specifically on resolution theorem proving in the predicate calculus as proposed in Robinson [1965]. Robinson had the foresight to distinguish the importance of two components in automatic theorem proving: a single inference rule called resolution and the testing for equality of trees called
openaire +1 more source
Bialgebraic Semantics for Logic Programming [PDF]
Logical Methods in Computer Science, 2015 Bialgebrae provide an abstract framework encompassing the semantics of different kinds of computational models. In this paper we propose a bialgebraic approach to the semantics of logic programming.
Filippo Bonchi, Fabio Zanasi
doaj +1 more source
The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments [PDF]
, 2009 We present the CIFF proof procedure for abductive logic programming with constraints, and we prove its correctness. CIFF is an extension of the IFF proof procedure for abductive logic programming, relaxing the original restrictions over variable ...
Endriss, U. +4 more
core +2 more sources
Representing First-Order Causal Theories by Logic Programs [PDF]
, 2011 Nonmonotonic causal logic, introduced by Norman McCain and Hudson Turner, became a basis for the semantics of several expressive action languages. McCain's embedding of definite propositional causal theories into logic programming paved the way to the ...
Armando +18 more
core +7 more sources