Alexander Ja. Dikovsky

Publication Activity (10 Years)

Years Active: 1975-2017
Publications (10 Years): 2

Top Topics

Grammar Induction

Rational Agents

Nonmonotonic Logics

Natural Language

Top Venues

J. Log. Lang. Inf.

Theor. Comput. Sci.

Publications

Alexander Ja. Dikovsky
Linguistic \(\leftrightarrow \) Rational Agents' Semantics. J. Log. Lang. Inf. 26 (4) (2017)
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Boris Karlov
Categorial dependency grammars. Theor. Comput. Sci. 579 (2015)
Denis Béchet, Alexander Ja. Dikovsky, Annie Foret
On Dispersed and Choice Iteration in Incrementally Learnable Dependency Types. LACL (2011)
Denis Béchet, Alexander Ja. Dikovsky, Annie Foret
Categorial Grammars with Iterated Types form a Strict Hierarchy of k-Valued Languages. CIAA (2011)
Alexander Ja. Dikovsky
Structural Bootstrapping of Large Scale Categorial Dependency Grammars. DepLing (2011)
Denis Béchet, Alexander Ja. Dikovsky, Ophélie Lacroix
"CDG Lab": An Integrated Environment for Categorial Dependency Grammar and Dependency Treebank Development. DepLing (2011)
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Boris Karlov
Iterated Dependencies and Kleene Iteration. FG (2010)
Denis Béchet, Alexander Ja. Dikovsky, Annie Foret
Two Models of Learning Iterated Dependencies. FG (2010)
Mars K. Valiev, Michael I. Dekhtyar, Alexander Ja. Dikovsky
Systems of agents controlled by logical programs: Complexity of verification. Program. Comput. Softw. 35 (5) (2009)
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev
Temporal Verification of Probabilistic Multi-Agent Systems. Pillars of Computer Science (2008)
Michael I. Dekhtyar, Alexander Ja. Dikovsky
Generalized Categorial Dependency Grammars. Pillars of Computer Science (2008)
Denis Béchet, Alexander Ja. Dikovsky, Annie Foret, Emmanuelle Garel
Optional and Iterated Types for Pregroup Grammars. LATA (2008)
Alexander Ja. Dikovsky
A Finite-State Functional Grammar Architecture. WoLLIC (2007)
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev
On complexity of verification of interacting agents' behavior. Ann. Pure Appl. Log. 141 (3) (2006)
Denis Béchet, Alexander Ja. Dikovsky, Annie Foret
Dependency Structure Grammars. LACL (2005)
Alexander Ja. Dikovsky
Underspecified Semantics for Dependency Grammars. MICAI (2005)
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev
On feasible cases of checking multi-agent systems behavior. Theor. Comput. Sci. 303 (1) (2003)
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev
Complexity of Multi-agent Systems Behavior. JELIA (2002)
Alexander Ja. Dikovsky
Polarized Non-projective Dependency Grammars. LACL (2001)
Alexander Ja. Dikovsky
Grammars for Local and Long Dependencies. ACL (2001)
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Sergey M. Dudakov, Nicolas Spyratos
Maximal state independent approximations to minimal real change. Ann. Math. Artif. Intell. 33 (2-4) (2001)
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Sergey M. Dudakov, Nicolas Spyratos
Maximal Expansions of Database Updates. FoIKS (2000)
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Sergey M. Dudakov
On Complexity of Updates through Integrity Constraints. Computational Logic (2000)
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev
Applying Temporal Logic to Analysis of Behavior of Cooperating Logic Programs. Ershov Memorial Conference (1999)
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Nicolas Spyratos
Incremental Expansion of Database Updates Through Integrity Constraints. JFPLC (1999)
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Sergey M. Dudakov, Nicolas Spyratos
Monotone Expansion of Updates in Logical Databases. LPNMR (1999)
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Nicolas Spyratos
On Logically Justified Updates. IJCSLP (1998)
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Nicolas Spyratos
On Conservative Enforced Updates. LPNMR (1997)
Michael I. Dekhtyar, Alexander Ja. Dikovsky
Total Homeostaticity and Integrity Constraints Restorability Recognition. ICLP (1997)
Michael I. Dekhtyar, Alexander Ja. Dikovsky
Recognition of Deductive Data Base Stability. LFCS (1997)
Michael I. Dekhtyar, Alexander Ja. Dikovsky
On Homeostatic Behavior of Dynamic Deductive Data Bases. Ershov Memorial Conference (1996)
Michael I. Dekhtyar, Alexander Ja. Dikovsky
Dynamic Deductive Data Bases With Steady Behaviour. ICLP (1995)
Michael I. Dekhtyar, Alexander Ja. Dikovsky
On Stable Behaviour of Dynamic Deductive Data Bases. ILPS (1994)
Alexander Ja. Dikovsky
On the Computational Complexity of Prolog Programs. Theor. Comput. Sci. 119 (1) (1993)
Alexander Ja. Dikovsky
Abstract Complexity of Prolog Based on WAM. PLILP (1993)
Alexander Ja. Dikovsky
Prolog Semantics for Measuring Space Consumption. RCLP (1991)
Alexander Ja. Dikovsky, Larisa S. Modina
On Three Types of Unambiguity of Context-Free Languages. ICALP (1977)
Alexander Ja. Dikovsky
On Closure Properties of Context-Free Derivation Complexity Classes. MFCS (1975)