Results 61 to 70 of about 47,777 (170)
Automated Game Design Learning
, 2017 While general game playing is an active field of research, the learning of game design has tended to be either a secondary goal of such research or it has been solely the domain of humans.
Mateas, Michael +2 more
core +1 more source
Reflexive Intermediate First-Order Logics [PDF]
Notre Dame Journal of Formal Logic, 2008 It is known that the set of intermediate propositional logics that can prove their own completeness theorems is exactly those which prove every instance of the principle of testability, ¬ϕ ∨ ¬¬ϕ. Such logics are called reflexive. This paper classifies reflexive intermediate logics in the first-order case: a first-order logic is reflexive if and only if
openaire +2 more sources
Redes e Capacidade de Ação na Sociedade Civil. O caso de São Paulo - Brasil
REDES: Revista Hispana para el Análisis de Redes Sociales, 2007 Despite the notable political and analytical popularity of the concept of “civil society” in recent years, we know surprisingly little about the modus operandi of real civil organizations, even those that have been highlighted constantly in the ...
Gurza Lavalle, Adrian +2 more
doaj
Skolemization In Intermediate Logics
Skolemization, with Herbrand's theorem, underpins automated theorem proving and various transformations in computer science and mathematics. Skolemization removes strong quantifiers by introducing new function symbols, enabling efficient proof search algorithms.
Baaz, Matthias +3 more
openaire +2 more sources
Some Results on the Intermediate Logics
Publications of the Research Institute for Mathematical Sciences, 1972 In ClOj, we developed the method of Kripke models and gave some applications of it to the study of the intermediate logics. We found that the use of Kripke models is very efficient, since in many cases the algebraic structure of Kripke models reflects well the properties of the logics characterized by them.
openaire +3 more sources
INTERMEDIATE LOGICS AND POLYHEDRA
, 2018 Polyhedra enjoy a peculiar property: every geometric shape with a certain ?regularity? ? in specific terms, certain classes of (closed) topological manifolds ? can be captured by a polyhedron via triangulation, that is, by subdividing the geometric shapes into appropriate ?triangles?, called simplices (which, in the 1- and 0-dimensional case, are ...
openaire +1 more source
Una coinstitución para la lógica de comportamiento abstracto
Revista Integración, 2014 Recientemente, la especificación de un problema en ciencias de la computación –un paso intermedio entre el problema dado y su aplicación como un sistema de software que garantiza su solución– utiliza el álgebra universal y la teoría de coálgebras para
Jaime Andrés Castaño Perea +1 more
doaj
Combining intermediate propositional logics with classical logic
, 2015 18 ...
openaire +2 more sources
, 2007 Hybrid branching-time logics are introduced as extensions of CTL-like logics with state variables and the downarrow-binder. Following recent work in the linear framework, only logics with a single variable are considered.
Weber, Volker
core +1 more source
, 2003 We present role logic, a notation for describing properties of relational structures in shape analysis, databases, and knowledge bases. We construct role logic using the ideas of de Bruijn's notation for lambda calculus, an encoding of first-order logic ...
Kuncak, Viktor, Rinard, Martin
core +5 more sources