Alexander Ja. Dikovsky

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