Alexander Ja. Dikovsky - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 37 from 37

2017

Linguistic \(\leftrightarrow \) Rational Agents' SemanticsAlexander Ja. Dikovsky. jolli, 26(4):341-437, 2017. [doi]

2015

Categorial dependency grammarsMichael I. Dekhtyar, Alexander Ja. Dikovsky, Boris Karlov. TCS, 579:33-63, 2015. [doi]

2011

On Dispersed and Choice Iteration in Incrementally Learnable Dependency TypesDenis Béchet, Alexander Ja. Dikovsky, Annie Foret. lacl 2011: 80-95 [doi]

"CDG Lab": An Integrated Environment for Categorial Dependency Grammar and Dependency Treebank DevelopmentDenis Béchet, Alexander Ja. Dikovsky, Ophélie Lacroix. depling 2013: 153-169 [doi]

Structural Bootstrapping of Large Scale Categorial Dependency GrammarsAlexander Ja. Dikovsky. depling 2013: 136-152 [doi]

2010

Two Models of Learning Iterated DependenciesDenis Béchet, Alexander Ja. Dikovsky, Annie Foret. fg 2012: 17-32 [doi]

Iterated Dependencies and Kleene IterationMichael I. Dekhtyar, Alexander Ja. Dikovsky, Boris Karlov. fg 2012: 66-81 [doi]

2009

Systems of agents controlled by logical programs: Complexity of verificationMars K. Valiev, Michael I. Dekhtyar, Alexander Ja. Dikovsky. pcs, 35(5):266-281, 2009. [doi]

2008

Optional and Iterated Types for Pregroup GrammarsDenis Béchet, Alexander Ja. Dikovsky, Annie Foret, Emmanuelle Garel. LATA 2008: 88-100 [doi]

Generalized Categorial Dependency GrammarsMichael I. Dekhtyar, Alexander Ja. Dikovsky. birthday 2008: 230-255 [doi]

Temporal Verification of Probabilistic Multi-Agent SystemsMichael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev. birthday 2008: 256-265 [doi]

2007

A Finite-State Functional Grammar ArchitectureAlexander Ja. Dikovsky. wollic 2007: 131-146 [doi]

2006

On complexity of verification of interacting agents behaviorMichael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev. APAL, 141(3):336-362, 2006. [doi]

2005

Dependency Structure GrammarsDenis Béchet, Alexander Ja. Dikovsky, Annie Foret. lacl 2005: 18-34 [doi]

Underspecified Semantics for Dependency GrammarsAlexander Ja. Dikovsky. micai 2005: 741-751 [doi]

2003

On feasible cases of checking multi-agent systems behaviorMichael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev. TCS, 1(303):63-81, 2003. [doi]

2002

Complexity of Multi-agent Systems BehaviorMichael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev. jelia 2002: 125-136 [doi]

2001

Maximal state independent approximations to minimal real changeMichael I. Dekhtyar, Alexander Ja. Dikovsky, Sergey Dudakov, Nicolas Spyratos. AMAI, 33(2-4):157-204, 2001.

Polarized Non-projective Dependency GrammarsAlexander Ja. Dikovsky. lacl 2001: 139-157 [doi]

Grammars for Local and Long DependenciesAlexander Ja. Dikovsky. acl 2001: 156-163 [doi]

2000

On Complexity of Updates through Integrity ConstraintsMichael I. Dekhtyar, Alexander Ja. Dikovsky, Sergey Dudakov. cl 2000: 867-881 [doi]

Maximal Expansions of Database UpdatesMichael I. Dekhtyar, Alexander Ja. Dikovsky, Sergey Dudakov, Nicolas Spyratos. foiks 2000: 72-87 [doi]

1999

Applying Temporal Logic to Analysis of Behavior of Cooperating Logic ProgramsMichael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev. ershov 2000: 228-234 [doi]

Monotone Expansion of Updates in Logical DatabasesMichael I. Dekhtyar, Alexander Ja. Dikovsky, Sergey Dudakov, Nicolas Spyratos. lpnmr 1999: 132-146 [doi]

Incremental Expansion of Database Updates Through Integrity ConstraintsMichael I. Dekhtyar, Alexander Ja. Dikovsky, Nicolas Spyratos. jfplc 1999: 189-204

1998

On Logically Justified UpdatesMichael I. Dekhtyar, Alexander Ja. Dikovsky, Nicolas Spyratos. ICLP 1998: 250-264

1997

Total Homeostaticity and Integrity Constraints Restorability RecognitionMichael I. Dekhtyar, Alexander Ja. Dikovsky. ICLP 1997: 241-255

Recognition of Deductive Data Base StabilityMichael I. Dekhtyar, Alexander Ja. Dikovsky. lfcs 1997: 67-77

On Conservative Enforced UpdatesMichael I. Dekhtyar, Alexander Ja. Dikovsky, Nicolas Spyratos. lpnmr 1997: 244-257

1996

On Homeostatic Behavior of Dynamic Deductive Data BasesMichael I. Dekhtyar, Alexander Ja. Dikovsky. ershov 1996: 420-432

1995

Dynamic Deductive Data Bases With Steady BehaviourMichael I. Dekhtyar, Alexander Ja. Dikovsky. ICLP 1995: 183-197

1994

On Stable Behaviour of Dynamic Deductive Data BasesMichael I. Dekhtyar, Alexander Ja. Dikovsky. SLP 1994: 677

1993

On the Computational Complexity of Prolog ProgramsAlexander Ja. Dikovsky. TCS, 119(1):63-102, 1993.

Abstract Complexity of Prolog Based on WAMAlexander Ja. Dikovsky. plilp 1993: 365-377

1991

Prolog Semantics for Measuring Space ConsumptionAlexander Ja. Dikovsky. lpar 1992: 177-192

1977

On Three Types of Unambiguity of Context-Free LanguagesAlexander Ja. Dikovsky, Larisa S. Modina. icalp 1977: 193-205

1975

On Closure Properties of Context-Free Derivation Complexity ClassesAlexander Ja. Dikovsky. mfcs 1975: 206-211

Sign in or sign up to see more results.

runs on WebDSL