Anatoli Degtyarev

According to our database, Anatoli Degtyarev authored at least 36 papers between 1992 and 2014.

Collaborative distances:

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

2014

Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics.

Sandra Alves, Anatoli Degtyarev, Maribel Fernández

Proceedings of the Logic-Based Program Synthesis and Transformation, 2014

2006

Monodic temporal resolution.

Anatoli Degtyarev, Michael Fisher, Boris Konev

ACM Trans. Comput. Log., 2006

On Arbitrary Selection Strategies for Basic Superposition.

Vladimir Aleksic, Anatoli Degtyarev

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

2005

Mechanising first-order temporal resolution.

Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt

Inf. Comput., 2005

Regular Derivations in Basic Superposition-Based Calculi.

Vladimir Aleksic, Anatoli Degtyarev

Proceedings of the Logic for Programming, 2005

2003

Stratified resolution.

Anatoli Degtyarev, Robert Nieuwenhuis, Andrei Voronkov

J. Symb. Comput., 2003

Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case.

Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt

Proceedings of the 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 2003

Handling Equality in Monodic Temporal Resolution.

Boris Konev, Anatoli Degtyarev, Michael Fisher

Proceedings of the Logic for Programming, 2003

2002

Equality and Monodic First-Order Temporal Logic.

Anatoli Degtyarev, Michael Fisher, Alexei Lisitsa

Stud Logica, 2002

A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic.

Anatoli Degtyarev, Michael Fisher, Boris Konev

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2002

Searching for Invariants Using Temporal Resolution.

James Brotherston, Anatoli Degtyarev, Michael Fisher, Alexei Lisitsa

Proceedings of the Logic for Programming, 2002

System for Automated Deduction (SAD): Linguistic and Deductive Peculiarities.

Alexander V. Lyaletski, Konstantin Verchinine, Anatoli Degtyarev, Andrey Paskevich

Proceedings of the Intelligent Information Systems 2002, 2002

2001

Towards First-Order Temporal Resolution.

Anatoli Degtyarev, Michael Fisher

Proceedings of the KI 2001: Advances in Artificial Intelligence, 2001

Herbrand's Theorem and Equational Reasoning: Problems and Solutions.

Anatoli Degtyarev, Yuri Gurevich, Andrei Voronkov

Proceedings of the Current Trends in Theoretical Computer Science, 2001

Equality Reasoning in Sequent-Based Calculi.

Anatoli Degtyarev, Andrei Voronkov

Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001

The Inverse Method.

Anatoli Degtyarev, Andrei Voronkov

Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001

2000

Decidability and complexity of simultaneous rigid E-unification with one variable and related results.

Anatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, Andrei Voronkov

Theor. Comput. Sci., 2000

Stratified Resolution.

Anatoli Degtyarev, Andrei Voronkov

Proceedings of the Automated Deduction, 2000

Propositional Temporal Resolution Revised.

Anatoli Degtyarev, Michael Fisher

Proceedings of the Seventh Workshop on Automated Reasoning, 2000

1999

Evidence Algorithm and Sequent Logical Inference Search.

Anatoli Degtyarev, Alexander V. Lyaletski, Marina K. Morokhovets

Proceedings of the Logic Programming and Automated Reasoning, 6th International Conference, 1999

1998

What You Always Wanted to Know about Rigid E-Unification.

Anatoli Degtyarev, Andrei Voronkov

J. Autom. Reason., 1998

The Decidability of Simultaneous Rigid <i>E</i>-Unification with One Variable.

Anatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, Andrei Voronkov

Proceedings of the Rewriting Techniques and Applications, 9th International Conference, 1998

1996

The Undecidability of Simultaneous Rigid E-Unification.

Anatoli Degtyarev, Andrei Voronkov

Theor. Comput. Sci., 1996

A Note on Semantics of Logic Programs with Equality Based on Complete Sets of E-Unifiers.

Anatoli Degtyarev, Andrei Voronkov

J. Log. Program., 1996

Herbrand's Theorem and Equational Reasoning: Problems and Solutions.

Anatoli Degtyarev, Yuri Gurevich, Andrei Voronkov

Bull. EATCS, 1996

Decidability Problems for the Prenex Fragment of Intuitionistic Logic.

Anatoli Degtyarev, Andrei Voronkov

Proceedings of the Proceedings, 1996

Simultaneous E-Unification and Related Algorithmic Problems.

Anatoli Degtyarev, Yuri V. Matiyasevich, Andrei Voronkov

Proceedings of the Proceedings, 1996

Handling Equality in Logic Programming via Basic Folding.

Anatoli Degtyarev, Andrei Voronkov

Proceedings of the Extensions of Logic Programming, 5th International Workshop, 1996

Equality Elimination for the Tableau Method.

Anatoli Degtyarev, Andrei Voronkov

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1996

1995

General Connections via Equality Elimination.

Anatoli Degtyarev, Andrei Voronkov

Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence, 1995

Equality Elimination for the Inverse Method and Extension Procedures.

Anatoli Degtyarev, Andrei Voronkov

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

A New Procedural Interpretation of Horn Clauses with Equality.

Anatoli Degtyarev, Andrei Voronkov

Proceedings of the Logic Programming, 1995

Simultaneous Regid E-Unification Is Undecidable.

Anatoli Degtyarev, Andrei Voronkov

Proceedings of the Computer Science Logic, 9th International Workshop, 1995

1993

Completeness of Equational Definitions over Predefined Algebras.

Valentin M. Antimirov, Anatoli Degtyarev

Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1992

Consistency of Equational Enrichments.

Valentin M. Antimirov, Anatoli Degtyarev

Proceedings of the Logic Programming and Automated Reasoning, 1992

Consistency and Semantics of Equational Definitions over Predefined Algebras.

Valentin M. Antimirov, Anatoli Degtyarev

Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992