Alexander Sakharov

26 papers B 1C 1Journal 11Unranked 13
YearRankTypeTitle / Venue / Authors
2025 — conf
Fuzzy Implications Recursively Defined via Disjunction and Conjunction.
IJCCI (1)
Alexander Sakharov
2025 — conf
Multi-Valued Models for Intuitionistic Logic.
ISMVL
Alexander Sakharov
2024 — conf
Ordered Inference in Sequent Calculi for Applied Logics.
ICMAI
Alexander Sakharov
2022 — conf
A Logical Characterization of Evaluable Knowledge Bases.
ICAART (3)
Alexander Sakharov
2021 — conf
A Best-first Backward-chaining Search Strategy based on Learned Predicate Representations.
ICAART (2)
Alexander Sakharov
2021 — conf
Inference From Non-Horn Clauses With Partial Predicates.
ICTCS
Alexander Sakharov
2020 J jnl
Annotated regular expressions and input-driven languages.
Inf. Process. Lett.
Alexander Sakharov
2020 — conf
Hierarchical Resolution For Structured Predicate Definitions.
SETN
Alexander Sakharov
2019 — conf
Hierarchical Rules for Knowledge Representation and Learning.
AIKE
Alexander Sakharov
2018 B conf
Input-driven regular expressions (vision paper).
SLE
Alexander Sakharov
2018 C conf
One-Counter Automata for Parsing and Language Approximation.
CIAA
Alexander Sakharov
2018 J jnl
The Viterbi algorithm for subsets of stochastic context-free languages.
Inf. Process. Lett.
Alexander Sakharov, Timothy Sakharov
2017 J jnl
Language Approximation With One-Counter Automata.
CoRR
Alexander Sakharov
2015 J jnl
Data Language Specification via Terminal Attribution.
CoRR
Alexander Sakharov, Timothy Sakharov
2015 — conf
Data Parsing using Tier Grammars.
KDIR
Alexander Sakharov, Timothy Sakharov
2007 J jnl
Intuitionistic Predicate Logic with Decidable Propositional Formulas.
Reports Math. Log.
Alexander Sakharov
2003 J jnl
A Transformational Decision Procedure for Non-Clausal Propositional Formulas
CoRR
Alexander Sakharov
2000 J jnl
A Hybrid State Machine for Component Specification.
ACM SIGPLAN Notices
Alexander Sakharov
2000 — conf
State machine specification directly in Java and C++ (poster session).
OOPSLA Addendum
Alexander Sakharov
1998 J jnl
Letter: Processing Recursive Data Types in Java.
ACM SIGPLAN Notices
Alexander Sakharov
1996 — conf
Specialization of Imperative Programs Through Analysis of Relational Expressions.
Dagstuhl Seminar on Partial Evaluation
Alexander Sakharov
1994 J jnl
Propagation of Constants and Assertions.
ACM SIGPLAN Notices
Alexander Sakharov
1994 J jnl
Propagation of Constants and Assertions.
ACM SIGPLAN Notices
Alexander Sakharov
1992 — conf
A C-to-Forth compiler.
FORTH
Alexander Sakharov
1992 J jnl
Macro processing in high-level languages.
ACM SIGPLAN Notices
Alexander Sakharov
1985 — conf
The Structural Synthesis of Programs: New Means.
European Conference on Computer Algebra (2)
Alexander Sakharov