Results 11 to 20 of about 1,544 (260)
This article presents the results of the study of the verbs of position join and attach, as members of the verbal subdomain “putting things together” (Faber and Mairal 1999), taking as a basis the theoretical and methodological assumptions of Role and ...
Carolina Rodríguez-Juárez
doaj +1 more source
Ser, Devenir, Subsunción: las raíces Kantianas de una problemática Marxista
Una de las tensiones fundamentales en los escritos de Marx surge de la compleja relación entre los aspectos sistemáticos e históricos de su descripción de la sociedad capitalista.
Andrés Saenz de Sicilia
doaj +1 more source
This article analyzes Google’s reCAPTCHA as one instance of what Hardt and Negri have conceptualized as a subsumption of the social as opposed to the extracting taking place under conditions of formal and real subsumption, which occurs in a punctualized ...
Vino Avanesi, Jan Teurlings
doaj
Relating Preference Languages By Their Expressive Power
There has been a great deal of research into methods for representing preferences, called preference representation languages. Often, research in this area deals with a limited number of similar languages, in isolation. This work establishes a new method
Michael Andrew Huelsman +1 more
doaj +1 more source
Locality and Applications to Subsumption Testing in EL and Some of its Extensions [PDF]
In this paper we show that subsumption problems in the description logics {{mathcal|EL}} and EL+ can be expressed as uniform word problems in classes of semilattices with monotone operators.
V. Sofronie-Stokkermans
doaj +1 more source
This paper introduces a six-legged autonomous robot managed by a single controller and a software core modeled on subsumption architecture. We begin by discussing the features and capabilities of IsoPod, a new processor for robotics which has enabled a ...
Nikita Pashenkov, Ryuichi Iwamasa
doaj +1 more source
Graph Subsumption in Abstract State Space Exploration [PDF]
In this paper we present the extension of an existing method for abstract graph-based state space exploration, called neighbourhood abstraction, with a reduction technique based on subsumption.
Eduardo Zambon, Arend Rensink
doaj +1 more source
LEARNING FOR DYNAMIC SUBSUMPTION
This paper presents an original dynamic subsumption technique for Boolean CNF formulae. It exploits simple and sufficient conditions to detect, during conflict analysis, clauses from the formula that can be reduced by subsumption. During the learnt clause derivation, and at each step of the associated resolution process, checks for backward subsumption
Hamadi, Youssef +2 more
openaire +2 more sources
A Scenario to Acquaint with the Problem of Engineering Compliant Software
Section 1 of this paper follows entirely a scenario from the article “Engineering Compliant Software: Advising Developers by Automating Legal Reasoning” by D. Oberle, F. Drefs, R. Wacker, C. Baumann and O.
Vytautas Čyras
doaj +1 more source
This chapter provides a critical overview of main theoretical issues and debates surrounding the Marxist concept of subsumption. It initially sets the context for Marx’s adoption of the term by outlining the significance of subsumption in German philosophy, in particular for Kant and Hegel.
openaire +1 more source

