ЧТО ОЗНАЧАЕТ СЛОВО ȘTIȚ
Значение слова știț в словаре румынский языка
знать, знать, с.н. (рег.) 1. Кусок железа, который подходит на внешней стороне бенджиу из машины. 2. каждый из двух железных рельсов, соединяющих ось и поперечную каретку. 3. Каждый из двух крючков закреплен на кресте вагона, к которому прикреплены орки.
КНИГИ НА РУМЫНСКИЙ ЯЗЫКЕ, ИМЕЮЩЕЕ ОТНОШЕНИЕ К СЛОВУ «ȘTIȚ»
Поиск случаев использования слова
știț в следующих библиографических источниках. Книги, относящиеся к слову
știț, и краткие выдержки из этих книг для получения представления о контексте использования этого слова в литературе на румынский языке.
1
The High Tatras: Slovakia and Poland - Including the ... - Pagina 157
Slavkovský Štít + Slavkov Peak 2452m Prostredný Hrot (G) Middle Sharp 2440m Veľký Mengusovský Štít (G) ê GreatMengusovce Peak 2438m Čierny Štít Black Peak 2434m Kvetnicová Veža Flowerpot Tower 2433m Hrubý Vrch Rough Hill ...
Renáta Nározná, Colin Saunders,
2012
2
Facing the Future : Agents and Choices in Our ... - Pagina 392
15D Companion sets In §15B we studied some basic features of semantic companions to stit sentences. Prom now on we study the syntactic features of companions. Our proof of the finite model property and the completeness of Lai + rr needs ...
Nuel Belnap Professor of Philosophy, Michael Perloff Professor of Philosophy, Ming Xu Visiting Assistant Instructor in the Department of Philosophy all at University of Pittsburgh,
2001
3
Rule Technologies: Foundations, Tools, and Applications: ...
STIT theory or STIT logic [5], is one of the most prominent accounts of agency in philosophy of action. It is the logic of constructions of the form “agent i sees to it that φ holds”. STIT logic has strong expressive power. Notions like agent, action ...
Nick Bassiliades, Georg Gottlob, Fariba Sadri,
2015
4
ECAI 2014: 21st European Conference on Artificial Intelligence
In order to specify behaviors of artificial agents, it is essential to capture such concepts related to agency like knowledge, emotions, intentions and responsibilities. Hence STIT can be a promising candidate for the underlying necessary ...
T. Schaub, G. Friedrich, B. O'Sullivan,
2014
5
Declarative Agent Languages and Technologies VI: 6th ...
A. Complete. STIT. Logic. for. Knowledge. and. Action,. and. Some. of. Its. Applications. Jan Broersen Department of Information and Computing Sciences Utrecht University Utrecht, The Netherlands ...
Matteo Baldoni, Tran Cao Son, Birna van Riemsdijk,
2009
6
Formal Ontology in Information Systems: Proceedings of the ...
STIT is a propositional modal logic. Integrating agency and actions in the same framework could be done by extending STIT with some other modal operators dealing more explicitly with actions like those of PDL; this path has begun to be ...
Brandon Bennett, Christiane Fellbaum,
2006
7
Intelligent Agents II - Agent Theories, Architectures, and ... - Pagina 93
Perhaps the most obvious ways in which our work differs from that of Shoham (and other AOP researchers [19]) are: (i) the insistence on grounded semantics, and (ii) the use of a stit modality (as opposed to, for example, desires and intentions) ...
Michael Wooldridge, Jvrg M]ller, Milind Tambe,
1996
8
Knowledge Representation and Defeasible Reasoning - Pagina 187
and since not doing something is not doing something, by our restriction that the complements of deontic modalities be limited to stit sentences, it follows that O-[o stit: q] makes no sense. But the solution is obvious: to be forbidden to see to it ...
Henry E. Kyburg Jr., R.P. Loui, G.N. Carlson,
2012
9
Advances in Grey Systems Research - Pagina 555
Take leading STIT for example: a multi-level STIT introducing system has been jointly built by Jiangsu province and its respective cities, such as the Jiangsu high-level STIT introducing plans, Changzhou's “One Thousand Overseas Talent ...
Sifeng Liu, Jeffrey Yi-Lin Forrest,
2010
10
Logics in Artificial Intelligence: 10th European ... - Pagina 69
A. STIT-Extension. of. ATL. Jan Broersen1, Andreas Herzig2, and Nicolas Troquard2 1 Department of Information and Computing Sciences, Utrecht University 2 Institut de Recherche en Informatique de Toulouse Abstract. A problem in many ...