Filters








3,365 Hits in 5.0 sec

Agent strands in the action language nC+

Robert Craven, Marek Sergot
2008 Journal of Applied Logic  
The action language C+ of Giunchiglia, Lee, Lifschitz, McCain and Turner is a formalism for specifying and reasoning about the effects of actions and the persistence ('inertia') of facts over time.  ...  An 'action description' in C+ defines a labelled transition system of a certain kind. nC+ is an extended form of C+ designed for representing normative and institutional aspects of (human or computer)  ...  The example works just as well with more rooms, more than two categories of agents, and a wider repertoire of actions that the agents are able to perform.  ... 
doi:10.1016/j.jal.2007.06.007 fatcat:bye3ou5igfc6vbk6fmocprinqa

Editorial

Lou Goble, John-Jules Ch. Meyer
2008 Journal of Applied Logic  
On the other hand, one can also imagine more advanced agents that may decide their actions on their own, and if they violate any norms, the system (or rather a part of it, called an electronic institution  ...  Interesting issues then arise about how to achieve such systems in which agents abide by the rules, so to speak.  ...  Together these form a mechanism whereby agents come to be in charge of recognizing which institutional facts follow from brute facts. • In "Agent strands in the action language nC+" by Craven and Sergot  ... 
doi:10.1016/j.jal.2007.06.004 fatcat:iv5lw3hmhjb6bifmto5ro36bpa

Advancing the Science of Environmental Exposures During Pregnancy and the Gene–Environment through the National Children's Study

Victoria Pak, Margaret C. Souders
2012 Journal of Obstetric, Gynecologic and Neonatal Nursing  
In this article we provide nurses with information on the importance of studying environmental exposures during fetal, infant, and childhood development in the National Children's Study.  ...  Nurses should be aware of this study to aid in mitigating the complex health problems that arise from environment-health interactions.  ...  Acknowledgments The views expressed in this article are the responsibility of the authors and do not represent the position of the National Children's Study, the National Institutes of Health, or the U.S  ... 
doi:10.1111/j.1552-6909.2012.01417.x pmid:23094937 pmcid:PMC5673490 fatcat:lntcslwnh5ashnhcwcek3ijuoi

Verb types and semantic maps

Marloes Oomen
2018 FEAST. Formal and Experimental Advances in Sign language Theory  
the 'effective action' and 'affected Agent' categories.  ...  It is interesting to observe that the map would It should be noted that the categories 'contact' and 'effective action', which connect the upper strand of the map with the lower strand, only include or  ...  Appendix See the next page. FEAST vol. 2, 2018  ... 
doi:10.31009/feast.i2.10 fatcat:r2e5fl2jqzhjrnxsyzbqsrvmru

A Multi-Agent Extension of a Hierarchical Task Network Planning Formalism

Rafael Cauê CARDOSO, Rafael Heitor BORDINI
2017 Advances in Distributed Computing and Artificial Intelligence Journal  
in order to achieve some goals in the best way possible (?).  ...  In this paper, Ediciones Universidad de Salamancacc by Automated Planning Automated planning is the computational study of planning, which is an abstract deliberation process on choosing and ordering actions  ...  Acknowledgements We are grateful for the support given by CNPq and CAPES. Boissier, O., Bordini, R. H., Hübner, J. F., Ricci, A., and Santi, A., 2011. Multi-agent oriented programming with JaCaMo.  ... 
doi:10.14201/adcaij201762517 fatcat:rn3fq7y7i5bbdlldbgw5scdsei

Oligomerization of bovine ribonuclease A: structural and functional features of its multimers

Massimo LIBONATI, Giovanni GOTTE
2004 Biochemical Journal  
The fact that both activity against double-stranded RNA and the antitumour action increase with the size of the oligomer suggests that these activities may share a common structural requirement, such as  ...  The same is true for the remarkable antitumour activity of the oligomers, displayed in vitro and in vivo, in contrast with monomeric RNase A, which lacks these activities.  ...  Laurents for criticism, suggestions, and improvement of language and style.  ... 
doi:10.1042/bj20031922 pmid:15104538 pmcid:PMC1224197 fatcat:pg2jtbjnljhahdbcl6yvrmet7y

Personal English Learning Ecologies and Meaningful Input with Digital and Non-Digital Artefacts

Michel Cabot
2018 Nordic Journal of Digital Literacy  
Ørevik, 2015) still favor the term English as a foreign language (EFL). Thus, both terms are used in this article.  ...  Proficiency and out-of-school exposure might be relevant reasons for using the term English as a second language (ESL) in Norway, whilst some scholars (e.g.  ...  This study 2 aims to integrate these two strands of theories by mapping and analysing opportunities for English language learning through meaningful input in and outside school.  ... 
doi:10.18261/issn.1891-943x-2018-02-03 fatcat:ksrzlnrrwfd47ipxlqtyeltfyy

From word models to executable models of signaling networks using automated assembly [article]

Benjamin M Gyori, John A Bachman, Kartik Subramanian, Jeremy L Muhlich, Lucian Galescu, Peter K Sorger
2017 bioRxiv   pre-print
Word models (natural language descriptions of molecular mechanisms) are a common currency in spoken and written communication in biomedicine but are of limited use in predicting the behavior of complex  ...  We have implemented this approach in the Integrated Network and Dynamical Reasoning Assembler (INDRA), which draws on existing natural language processing systems as well as pathway information in Pathway  ...  Models of p53 activation in response to single--and double strand break DNA damage The text defining each model was submitted to the TRIPS web service for processing via INDRA's , 2006) , thus, the Agent  ... 
doi:10.1101/119834 fatcat:2ex6vmzyxvbzdlcu7eqrebw32e

Page 375 of Psychological Abstracts Vol. 86, Issue 1 [page]

1999 Psychological Abstracts  
The author describes how collaboration among action researchers at the university level, professional development agents at the state level, and school ad- ministrators and teachers at the local level  ...  Skills that the speech-language pathologist must develop and maintain in the school systems in this era of managed care are outlined.  ... 

The design of intelligent socio-technical systems

Andrew J. I. Jones, Alexander Artikis, Jeremy Pitt
2013 Artificial Intelligence Review  
There are many tools (i.e. formal languages) that can be used to support the design method; we define and discuss criteria for evaluating such tools.  ...  of computational concerns, and the representation of concepts in a machine-processable form, fully cognizant of implementation issuesa step in the method we refer to as principled operationalization.  ...  Acknowledgements The preparation of this paper benefited from the comments of Gunnar Coll, Robert Demolombe, Davide Grossi and the late Steve Barker.  ... 
doi:10.1007/s10462-012-9387-2 fatcat:jyz3ocgswnenljddifrlegt7ky

Page 746 of The Athenaeum Vol. , Issue 4443 [page]

1912 The Athenaeum  
We call them Once lodged in the stomach or Its action is quick and i \|_ NOT REP NOT NOT QU] RE NO NO RE NC  ...  Authors’ Agents.  ... 

Beyond the Moral Domain: The Normative Sense Among the Chinese

Renatas Berniūnas, Vytis Silius, Vilius Dranseika
2020 Psychology. Research papers  
Our results indicate that Chinese participants expressed a strong normative conviction not only towards harmful and unfair actions, usually subsumed under the moral domain in Western literature, but also  ...  The results are discussed in the light of recent debates about the moral/conventional distinction and the scope of morality.  ...  Zhang is cursing and swearing while talking on the phone in a restaurant full of children. Wang Xiulan is spitting while waiting for the bus at the public bus stop.  ... 
doi:10.15388/psichol.2019.11 fatcat:lqgrcdse5baw5bfzaufeo3nk74

In or Out of School? - Meaningful Output with Digital and Non-digital Artefacts within Personal English Learning Ecologies

Rune Johan Krumsvik, Lise Øen Jones, Marianne Øfstegaard, Ole Johan Eikeland
2016 Nordic Journal of Digital Literacy  
The findings show low English as a foreign language (EFL) written output and improved oral output in school (girls) and outside school (boys).  ...  It presents data from focus, in-depth and member checking interviews with three boys and three girls.  ...  This is an Open Access article distributed under the terms of the Creative Commons CC-BY-NC-SA 4.0 License (http://creativecommons.org/licenses/by-nc-sa/4.0/ MEANINGFUL OUTPUT IN EFL AND LANGUAGE DEVELOPMENT  ... 
doi:10.18261/issn.1891-943x-2016-03-03 fatcat:xa7aie56xjfulnoepiyxbjvhta

The syntactic status of noun incorporation in the tenetehára language (Tupi-Guarani family)

Ricardo Campos de Castro, Quesles Fagundes Camargos
2021 Revista Brasileira de Linguística Antropológica  
In summary, we propose that, in the Tenetehára language, the driving force responsible for the incorporation of the noun into the head of a vP is the [+non-individuated] formal feature.  ...  This paper aims at proposing a theoretical analysis that explains the noun incorporation process in the Tenetehára language (Tupi-Guarani).  ...  However, in the example (34b), the affixation of the morpheme {ze-} generates a reflexive structure. In this case, the subject becomes the agent of an action that reflects on itself.  ... 
doi:10.26512/rbla.v13i01.38034 fatcat:5n75n7wn4jd6rol3f25kn4zla4

Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning [chapter]

Alessandro Armando, Luca Compagna
2002 Lecture Notes in Computer Science  
We also propose and discuss a set of transformations on protocol insecurity problems whose application has a dramatic effect on the size of the propositional encoding obtained with our SAT-compilation  ...  Our approach results from the combination of a reduction of protocol insecurity problems to planning problems and well-known SAT-reduction techniques developed for planning.  ...  An action is applicable in a state S iff the action preconditions occur in S and the application of the action leads to a new state obtained from S by removing the fluents in Del and adding those in Add  ... 
doi:10.1007/3-540-36135-9_14 fatcat:6uh5hj4ufbaetexxkn3dlt22yi
« Previous Showing results 1 — 15 out of 3,365 results