Alexandre Ja. Dikovsky

According to our database, Alexandre Ja. Dikovsky authored at least 40 papers between 1975 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

Linguistic \(\leftrightarrow \) Rational Agents' Semantics.

Alexander Ja. Dikovsky

J. Log. Lang. Inf., 2017

2015

Categorial dependency grammars.

Michael I. Dekhtyar, Alexander Ja. Dikovsky, Boris Karlov

Theor. Comput. Sci., 2015

2012

Categorial grammars with iterated types form a strict hierarchy of k-valued languages.

Denis Béchet, Alexandre Ja. Dikovsky, Annie Foret

Theor. Comput. Sci., 2012

Calcul des cadres de sous catégorisation des noms déverbaux français (le cas du génitif) (On Computing Subcategorization Frames of French Deverbal Nouns (Case of Genitive)) [in French].

Ramadan Alfared, Denis Béchet, Alexandre Ja. Dikovsky

Proceedings of the Joint Conference JEP-TALN-RECITAL 2012, 2012

2011

On Dispersed and Choice Iteration in Incrementally Learnable Dependency Types.

Denis Béchet, Alexander Ja. Dikovsky, Annie Foret

Proceedings of the Logical Aspects of Computational Linguistics, 2011

Structural Bootstrapping of Large Scale Categorial Dependency Grammars.

Alexander Ja. Dikovsky

Proceedings of the Computational Dependency Theory [papers from the International Conference on Dependency Linguistics, 2011

"CDG Lab": An Integrated Environment for Categorial Dependency Grammar and Dependency Treebank Development.

Denis Béchet, Alexander Ja. Dikovsky, Ophélie Lacroix

Proceedings of the Computational Dependency Theory [papers from the International Conference on Dependency Linguistics, 2011

2010

Iterated Dependencies and Kleene Iteration.

Michael I. Dekhtyar, Alexander Ja. Dikovsky, Boris Karlov

Proceedings of the Formal Grammar, 2010

Two Models of Learning Iterated Dependencies.

Denis Béchet, Alexander Ja. Dikovsky, Annie Foret

Proceedings of the Formal Grammar, 2010

2009

Systems of agents controlled by logical programs: Complexity of verification.

Mars K. Valiev, Michael I. Dekhtyar, Alexander Ja. Dikovsky

Program. Comput. Softw., 2009

2008

Optional and Iterated Types for Pregroup Grammars.

Denis Béchet, Alexander Ja. Dikovsky, Annie Foret, Emmanuelle Garel

Proceedings of the Language and Automata Theory and Applications, 2008

Temporal Verification of Probabilistic Multi-Agent Systems.

Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev

Proceedings of the Pillars of Computer Science, 2008

Generalized Categorial Dependency Grammars.

Michael I. Dekhtyar, Alexander Ja. Dikovsky

Proceedings of the Pillars of Computer Science, 2008

2007

A Finite-State Functional Grammar Architecture.

Alexander Ja. Dikovsky

Proceedings of the Logic, 2007

Architecture compositionnelle pour les dépendances croisées.

Alexandre Ja. Dikovsky

Proceedings of the Actes de la 14ème conférence sur le Traitement Automatique des Langues Naturelles. Articles longs, 2007

2006

On complexity of verification of interacting agents' behavior.

Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev

Ann. Pure Appl. Log., 2006

2005

Underspecified Semantics for Dependency Grammars.

Alexander Ja. Dikovsky

Proceedings of the MICAI 2005: Advances in Artificial Intelligence, 2005

Dependency Structure Grammars.

Denis Béchet, Alexander Ja. Dikovsky, Annie Foret

Proceedings of the Logical Aspects of Computational Linguistics, 2005

2003

On feasible cases of checking multi-agent systems behavior.

Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev

Theor. Comput. Sci., 2003

2002

Complexity of Multi-agent Systems Behavior.

Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

2001

Maximal state independent approximations to minimal real change.

Michael I. Dekhtyar, Alexander Ja. Dikovsky, Sergey M. Dudakov, Nicolas Spyratos

Ann. Math. Artif. Intell., 2001

Polarized Non-projective Dependency Grammars.

Alexander Ja. Dikovsky

Proceedings of the Logical Aspects of Computational Linguistics, 2001

Grammars for Local and Long Dependencies.

Alexander Ja. Dikovsky

Proceedings of the Association for Computational Linguistic, 2001

2000

Maximal Expansions of Database Updates.

Michael I. Dekhtyar, Alexander Ja. Dikovsky, Sergey M. Dudakov, Nicolas Spyratos

Proceedings of the Foundations of Information and Knowledge Systems, 2000

On Complexity of Updates through Integrity Constraints.

Michael I. Dekhtyar, Alexander Ja. Dikovsky, Sergey M. Dudakov

Proceedings of the Computational Logic, 2000

1999

Monotone Expansion of Updates in Logical Databases.

Michael I. Dekhtyar, Alexander Ja. Dikovsky, Sergey M. Dudakov, Nicolas Spyratos

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

Incremental Expansion of Database Updates Through Integrity Constraints.

Michael I. Dekhtyar, Alexander Ja. Dikovsky, Nicolas Spyratos

Proceedings of the JFPLC'99, 1999

Applying Temporal Logic to Analysis of Behavior of Cooperating Logic Programs.

Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev

Proceedings of the Perspectives of System Informatics, 1999

1998

On Logically Justified Updates.

Michael I. Dekhtyar, Alexander Ja. Dikovsky, Nicolas Spyratos

Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998

1997

On Conservative Enforced Updates.

Michael I. Dekhtyar, Alexander Ja. Dikovsky, Nicolas Spyratos

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

Recognition of Deductive Data Base Stability.

Michael I. Dekhtyar, Alexander Ja. Dikovsky

Proceedings of the Logical Foundations of Computer Science, 4th International Symposium, 1997

Total Homeostaticity and Integrity Constraints Restorability Recognition.

Michael I. Dekhtyar, Alexander Ja. Dikovsky

Proceedings of the Logic Programming, 1997

1996

On Homeostatic Behavior of Dynamic Deductive Data Bases.

Michael I. Dekhtyar, Alexander Ja. Dikovsky

Proceedings of the Perspectives of System Informatics, 1996

1995

Dynamic Deductive Data Bases With Steady Behaviour.

Michael I. Dekhtyar, Alexander Ja. Dikovsky

Proceedings of the Logic Programming, 1995

1994

On Stable Behaviour of Dynamic Deductive Data Bases.

Michael I. Dekhtyar, Alexander Ja. Dikovsky

Proceedings of the Logic Programming, 1994

1993

On the Computational Complexity of Prolog Programs.

Alexander Ja. Dikovsky

Theor. Comput. Sci., 1993

Abstract Complexity of Prolog Based on WAM.

Alexander Ja. Dikovsky

Proceedings of the Programming Language Implementation and Logic Programming, 1993

1991

Prolog Semantics for Measuring Space Consumption.

Alexander Ja. Dikovsky

Proceedings of the Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990, 1991

1977

On Three Types of Unambiguity of Context-Free Languages.

Alexander Ja. Dikovsky, Larisa S. Modina

Proceedings of the Automata, 1977

1975

On Closure Properties of Context-Free Derivation Complexity Classes.

Alexander Ja. Dikovsky

Proceedings of the Mathematical Foundations of Computer Science 1975, 1975