Alexander Sakharov

According to our database, Alexander Sakharov authored at least 23 papers between 1985 and 2024.

Collaborative distances:

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

2024

Ordered Inference in Sequent Calculi for Applied Logics.

Alexander Sakharov

Proceedings of the 2024 9th International Conference on Mathematics and Artificial Intelligence, 2024

2022

A Logical Characterization of Evaluable Knowledge Bases.

Alexander Sakharov

Proceedings of the 14th International Conference on Agents and Artificial Intelligence, 2022

2021

Inference From Non-Horn Clauses With Partial Predicates.

Alexander Sakharov

Proceedings of the 22nd Italian Conference on Theoretical Computer Science, 2021

A Best-first Backward-chaining Search Strategy based on Learned Predicate Representations.

Alexander Sakharov

Proceedings of the 13th International Conference on Agents and Artificial Intelligence, 2021

2020

Annotated regular expressions and input-driven languages.

Alexander Sakharov

Inf. Process. Lett., 2020

Hierarchical Resolution For Structured Predicate Definitions.

Alexander Sakharov

Proceedings of the SETN 2020: 11th Hellenic Conference on Artificial Intelligence, 2020

2019

Hierarchical Rules for Knowledge Representation and Learning.

Alexander Sakharov

Proceedings of the 2nd IEEE International Conference on Artificial Intelligence and Knowledge Engineering, 2019

2018

The Viterbi algorithm for subsets of stochastic context-free languages.

Alexander Sakharov, Timothy Sakharov

Inf. Process. Lett., 2018

One-Counter Automata for Parsing and Language Approximation.

Alexander Sakharov

Proceedings of the Implementation and Application of Automata, 2018

Input-driven regular expressions (vision paper).

Alexander Sakharov

Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, 2018

2017

Language Approximation With One-Counter Automata.

Alexander Sakharov

CoRR, 2017

2015

Data Language Specification via Terminal Attribution.

Alexander Sakharov, Timothy Sakharov

CoRR, 2015

Data Parsing using Tier Grammars.

Alexander Sakharov, Timothy Sakharov

Proceedings of the KDIR 2015, 2015

2007

Intuitionistic Predicate Logic with Decidable Propositional Formulas.

Alexander Sakharov

Reports Math. Log., 2007

2003

A Transformational Decision Procedure for Non-Clausal Propositional Formulas

Alexander Sakharov

CoRR, 2003

2000

A Hybrid State Machine for Component Specification.

Alexander Sakharov

ACM SIGPLAN Notices, 2000

State machine specification directly in Java and C++ (poster session).

Alexander Sakharov

Proceedings of the Addendum to the 2000 Proceedings of the Conference on Object-Oriented Programming Systems, 2000

1998

Letter: Processing Recursive Data Types in Java.

Alexander Sakharov

ACM SIGPLAN Notices, 1998

1996

Specialization of Imperative Programs Through Analysis of Relational Expressions.

Alexander Sakharov

Proceedings of the Partial Evaluation, International Seminar, 1996

1994

Propagation of Constants and Assertions.

Alexander Sakharov

ACM SIGPLAN Notices, 1994

1992

Macro processing in high-level languages.

Alexander Sakharov

ACM SIGPLAN Notices, 1992

A C-to-Forth compiler.

Alexander Sakharov

Proceedings of the Fourth Annual Workshop on Forth: From the Classroom to the Real World, 1992

1985

The Structural Synthesis of Programs: New Means.

Alexander Sakharov

Proceedings of the EUROCAL '85, 1985