Results 21 to 30 of about 106,571 (322)
Constraints on predicate invention [PDF]
, 1991 This chapter describes an inductive learning method that derives logic programs and invents predicates when needed. The basic idea is to form the least common anti-instance (LCA) of selected seed examples.
Buntine +5 more
core +1 more source
Decidability of Intelligent Systems [PDF]
حکمت و فلسفه, 2008 Intelligent systems are designed on the model of the operation of mind; but they come across, at least, the following problems: (a) Can IS solve every problem?
mohammad ali hijjati +1 more
doaj +1 more source
forall x: Calgary. An Introduction to Formal Logic [PDF]
, 2021 forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order ...
Button, Tim +4 more
core
Does Neuroticism Disrupt the Psychological Benefits of Nostalgia? A Meta‐analytic Test
European Journal of Personality, EarlyView., 2020 Abstract Nostalgia, a sentimental longing or wistful affection for the past, confers self‐oriented, existential, and social benefits. We examined whether nostalgic engagement is less beneficial for individuals who are high in neuroticism (i.e. emotionally unstable and prone to negative affect).
Julius Frankenbach +4 more
wiley +1 more source
Meinong and Husserl on Existence. Two Solutions of the Paradox of Non-Existence
Philosophia Scientiæ, 2014 This paper analyzes and compares the attempts at solving the paradox of non-existence put forward by Alexius Meinong and Edmund Husserl. It will be argued that Meinong's solution is not convincing since he retreats from the field of predicate logic, in ...
Giuliano Bacigalupo
doaj +1 more source
Intuitionistic Layered Graph Logic: Semantics and Proof Theory [PDF]
Logical Methods in Computer Science, 2018 Models of complex systems are widely used in the physical and social sciences, and the concept of layering, typically building upon graph-theoretic structure, is a common feature.
Simon Docherty, David Pym
doaj +1 more source
Parallel deduction-search algorithm for the predicate logic formulas
Lietuvos Matematikos Rinkinys, 1999 There is not abstract.
Stasys Norgėla
doaj +3 more sources
Existence Predicate and Referentiality [PDF]
حکمت معاصر, 2015 This essay critically studies one of the important criticisms of the existence predicate, i.e. the referentiality/ non–referentiality proof. Also, it wants to show some of the weaknesses of the following views: (1) existence by no means is a predicate ...
Mahdi Assadi
doaj
Decidability of predicate logics with team semantics [PDF]
, 2016 We study the complexity of predicate logics based on team semantics. We show that the satisfiability problems of two-variable independence logic and inclusion logic are both NEXPTIME-complete.
Kontinen, Juha +2 more
core +3 more sources
Bisimulations and predicate logic [PDF]
Journal of Symbolic Logic, 1994 AbstractElementary (first-order) and nonelementary (set-theoretic) aspects of the largest bisimulation are considered with a view toward analyzing operational semantics from the perspective of predicate logic. The notion of a bisimulation is employed in two distinct ways: (i) as an extensional notion of equivalence on programs (or processes ...
openaire +2 more sources