Results for 'Dimitar Trajanov'

19 found
Order:
  1.  54
    Evolutionary Pressures Promoting Complexity in Navigation and Communication.Dimitar Kazakov & Mark Bartlett - 2013 - Interaction Studies 14 (1):107-135.
    This article presents results from simulations studying the hypothesis that mechanisms for landmark-based navigation could have served as preadaptations for compositional language. It is argued that sharing directions would significantly have helped bridge the gap between general and language-specific cognitive faculties. A number of different levels of navigational and communicative abilities are considered, resulting in a range of possible evolutionary paths. The selective pressures for, resp. against, increased complexity in either faculty are then evaluated for a range of environments. The (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  2.  8
    Evolutionary Pressures Promoting Complexity in Navigation and Communication.Dimitar Kazakov & Mark Bartlett - 2013 - Interaction Studies. Social Behaviour and Communication in Biological and Artificial Systemsinteraction Studies / Social Behaviour and Communication in Biological and Artificial Systemsinteraction Studies 14 (1):107-135.
    This article presents results from simulations studying the hypothesis that mechanisms for landmark-based navigation could have served as preadaptations for compositional language. It is argued that sharing directions would significantly have helped bridge the gap between general and language-specific cognitive faculties. A number of different levels of navigational and communicative abilities are considered, resulting in a range of possible evolutionary paths. The selective pressures for, resp. against, increased complexity in either faculty are then evaluated for a range of environments. The (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3. Vaclav Nemec, Marius Victorinus: O soupodstatnosti Trojice.Dimitar Dimitrov - 2007 - Rhizai. A Journal for Ancient Philosophy and Science 2:375-378.
    Review on Vaclav Nemec, Marius Victorinus: The Consubstantiality of The Trinity OIKOYMENH, Prague, 2006.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  4.  12
    Chasing the Myth: A Harley-Davidson Story.Dimitar Trendafilov - 2015 - Semiotica 2015 (204):315-339.
    Name der Zeitschrift: Semiotica Jahrgang: 2015 Heft: 204 Seiten: 315-339.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  7
    Characterizing Human Expertise Using Computational Metrics of Feature Diagnosticity in a Pattern Matching Task.Thomas Busey, Dimitar Nikolov, Chen Yu, Brandi Emerick & John Vanderkolk - 2017 - Cognitive Science 41 (7):1716-1759.
    Forensic evidence often involves an evaluation of whether two impressions were made by the same source, such as whether a fingerprint from a crime scene has detail in agreement with an impression taken from a suspect. Human experts currently outperform computer-based comparison systems, but the strength of the evidence exemplified by the observed detail in agreement must be evaluated against the possibility that some other individual may have created the crime scene impression. Therefore, the strongest evidence comes from features in (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  39
    An Alternating-Time Temporal Logic with Knowledge, Perfect Recall and Past: Axiomatisation and Model-Checking.Dimitar P. Guelev, Catalin Dima & Constantin Enea - 2011 - Journal of Applied Non-Classical Logics 21 (1):93-131.
    We present a variant of ATL with incomplete information which includes the distributed knowledge operators corresponding to synchronous action and perfect recall. The cooperation modalities assume the use the distributed knowledge of coalitions and accordingly refer to perfect recall incomplete information strategies. We propose a model-checking algorithm for the logic. It is based on techniques for games with imperfect information and partially observable objectives, and involves deciding emptiness for automata on infinite trees. We also propose an axiomatic system and prove (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7.  34
    A Relatively Complete Axiomatisation of Projection Onto State in the Duration Calculus.Dimitar P. Guelev & Dang Van Hung - 2004 - Journal of Applied Non-Classical Logics 14 (1-2):149-180.
    We present a complete axiomatisation of the operator of projection onto state in the Duration Calculus relative to validity in DC without extending constructs. Projection onto state was introduced and studied extensively in our earlier works. We first establish the completeness of a system of axioms and proof rules for the operator relative to validity in the extension of DC by neighbourhood formulas, which express the neighbourhood values of boolean DC state expressions. By establishing a relatively complete axiomatisation for the (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  8.  36
    Logical Interpolation and Projection Onto State in the Duration Calculus.Dimitar P. Guelev - 2004 - Journal of Applied Non-Classical Logics 14 (1-2):181-208.
    We generalise an interval-related interpolation theorem about abstract-time Interval Temporal Logic, which was first obtained in [GUE 01]. The generalisation is based on the abstract-time variant of a projection operator in the Duration Calculus, which was introduced in [DAN 99] and later studied extensively in [GUE 02]. We propose a way to understand interpolation in the context of formal verification. We give an example showing that, unlike abstract-time ITL, DC does not have the Craig interpolation property in general, and establish (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  9.  36
    A Propositional Dynamic Logic with Qualitative Probabilities.Dimitar P. Guelev - 1999 - Journal of Philosophical Logic 28 (6):575-604.
    This paper presents an w-completeness theorem for a new propositional probabilistic logic, namely, the dynamic propositional logic of qualitative probabilities (DQP), which has been introduced by the author as a dynamic extension of the logic of qualitative probabilities (Q P) introduced by Segerberg.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  10.  20
    The Critical Tradition in Bulgaria.Dimitar Tsatsov - 2001 - Studies in East European Thought 53 (1-2):37-46.
  11.  14
    Interval-Related Interpolation in Interval Temporal Logics.Dimitar Guelev - 2001 - Logic Journal of the IGPL 9 (5):677-685.
    This paper presents a new kind of interpolation theorems about Neighbourhood Logic and Interval Temporal Logic . Unlike Craig interpolation, which holds for these logics too, the new theorems treat the existence of interpolants which specify properties of selected intervals in the models of NL and ITL.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12. 398 Announcements First Announcement and Call for Papers.Boris Nikolov, Dimitar Sashev, Ivan Elenkov, Raina Gavrilova, Roumen Daskalov, Daniela Koleva-Managing, Krassimira Daskalova-Managing, Laura Boella, Lorenz Dittmann & Maurice Godelier - 1993 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 24:397-399.
  13.  11
    Friedrich Nietzsche und Theodor Trajanov: Das Hohelied.Heinrich Stammler - 1988 - Perspektiven der Philosophie 14:203-215.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14.  9
    Editorial: Advancing Corporate Sustainability, CSR, and Business Ethics.Erik G. Hansen, Dimitar Zvezdov, Dorli Harms & Gilbert Lenssen - 2014 - Business and Professional Ethics Journal 33 (4):287-296.
    Environmental, social and ethical issues have become increasingly important for businesses due to changed customer expectations, more regulation and stakeholder pressure, amongst others. This led to the development of concepts such as sustainability management, corporate social responsibility, stakeholder management and business ethics. Though mostly developed in isolation, scholars have increasingly worked on their integration. This editorial sheds light on overlaps between these concepts. We find that sustainability management and CSR have become more integrated and are increasingly grounded in an “embedded (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  74
    Algorithmic Correspondence and Completeness in Modal Logic. V. Recursive Extensions of SQEMA.Willem Conradie, Valentin Goranko & Dimitar Vakarelov - 2010 - Journal of Applied Logic 8 (4):319-333.
    The previously introduced algorithm \sqema\ computes first-order frame equivalents for modal formulae and also proves their canonicity. Here we extend \sqema\ with an additional rule based on a recursive version of Ackermann's lemma, which enables the algorithm to compute local frame equivalents of modal formulae in the extension of first-order logic with monadic least fixed-points \mffo. This computation operates by transforming input formulae into locally frame equivalent ones in the pure fragment of the hybrid mu-calculus. In particular, we prove that (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  16.  6
    Validation of the Substance Use Risk Profile Scale With Bulgarian Substance Dependent Individuals.Elizabeth C. Long, Svetla Milcheva, Elena Psederska, Georgi Vasilev, Kiril Bozgunov, Dimitar Nedelchev, Nathan A. Gillespie & Jasmin Vassileva - 2018 - Frontiers in Psychology 9.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  34
    ‘... That Too.’ A Review of Dimitar Denkovs's Martin Heidegger – An Ontology of the Tragic. [REVIEW]Maurice Fadel - 2001 - Studies in East European Thought 53 (1-2):133 - 140.
  18.  6
    Multimodal Data Fusion for Intelligent Cardiovascular Diagnosis and Treatment in the Active Vessel Medical Workstation.Maya Dimitrova, Chavdar Roumenin, Dimitar Nikolov, David Rotger & Petia Radeva - 2009 - Journal of Intelligent Systems 18 (1-2):33-50.
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  4
    La réception de Condorcet en Bulgarie.Raїa Zaїmova - 2020 - Revue de Synthèse 140 (3-4):379-396.
    Résumé Je me propose de faire un bref aperçu des traductions bulgares de l’œuvre de Condorcet : son nom apparaît au début du XXe siècle grâce à la traduction de l’Esquisse d’un tableau historique des progrès de l’esprit humain par le juriste Tzvetan Vassilev Poupechkov. L’œuvre est à nouveau publiée dans les années 1940 pour répondre aux besoins idéologiques des milieux socialistes et communistes. L’article s’emploie à définir les motifs du traducteur bulgare Dimităr Ivanov Polyanov, poète « du prolétariat » (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark