Andrei Voronkov - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged logic programming

Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. ProceedingsIliano Cervesato, Helmut Veith, Andrei Voronkov, editors, Volume 5330 of Lecture Notes in Computer Science, Springer, 2008.

FPL 2008, International Conference on Field Programmable Logic and Applications, Heidelberg, Germany, 8-10 September 2008IEEE, 2008.

Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, ProceedingsNachum Dershowitz, Andrei Voronkov, editors, Volume 4790 of Lecture Notes in Computer Science, Springer, 2007.

Temporal Probabilistic Logic Programs: State and RevisionZoran Majkic. aiprf 2007: 102-111

Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, ProceedingsMiki Hermann, Andrei Voronkov, editors, Volume 4246 of Lecture Notes in Computer Science, Springer, 2006.

Proceedings of the 2006 International Conference on Field Programmable Logic and Applications (FPL), Madrid, Spain, August 28-30, 2006IEEE, 2006.

Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, ProceedingsGeoff Sutcliffe, Andrei Voronkov, editors, Volume 3835 of Lecture Notes in Computer Science, Springer, 2005.

Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, ProceedingsFranz Baader, Andrei Voronkov, editors, Volume 3452 of Lecture Notes in Computer Science, Springer, 2005.

From process logic to program logicKohei Honda. ICFP 2004: 163-174 [doi]

Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, ProceedingsMoshe Y. Vardi, Andrei Voronkov, editors, Volume 2850 of Lecture Notes in Computer Science, Springer, 2003.

High performance hardware correlation coefficient assessment using programmable logic for ECG signalsA. Rosado, M. Bataller, J. F. Guerrero, J. Calpe, J. V. Francés, J. R. Magdalena. mam, 27(1):33-39, 2003. [doi]

Logic for Programming, Artificial Intelligence, and Reasoning, 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002, ProceedingsMatthias Baaz, Andrei Voronkov, editors, Volume 2514 of Lecture Notes in Computer Science, Springer, 2002.

Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, ProceedingsRobert Nieuwenhuis, Andrei Voronkov, editors, Volume 2250 of Lecture Notes in Computer Science, Springer, 2001.

Complexity and expressive power of logic programmingEvgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov. ACM Comput. Surv., 33(3):374-425, 2001. [doi]

Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 11-12, 2000, ProceedingsMichel Parigot, Andrei Voronkov, editors, Volume 1955 of Lecture Notes in Computer Science, Springer, 2000.

Logic Programming and Automated Reasoning, 6th International Conference, LPAR 99, Tbilisi, Georgia, September 6-10, 1999, ProceedingsHarald Ganzinger, David A. McAllester, Andrei Voronkov, editors, Volume 1705 of Lecture Notes in Computer Science, Springer, 1999.

Transactions and Change in Logic Databases, International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS 97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and DeBurkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov, editors, Volume 1472 of Lecture Notes in Computer Science, Springer, 1998.

Complexity of Nonrecursive Logic Programs with Complex ValuesSergei G. Vorobyov, Andrei Voronkov. PODS 1998: 244-253 [doi]

Learning from Entailment of Logic Programs with Local VariablesM. R. K. Krishna Rao, Abdul Sattar. alt 1998: 143-157 [doi]

Handling Equality in Logic Programming via Basic FoldingAnatoli Degtyarev, Andrei Voronkov. elp 1996: 119-136

Semantics of Constraint Logic Programs with Bounded QuantifiersMartin Argenius, Andrei Voronkov. elp 1996: 1-18

Three-Valued Completion for Abductive Logic ProgramsFrank Teusink. TCS, 165(1):171-200, 1996. [doi]

On Computability by Logic ProgramsAndrei Voronkov. AMAI, 15(3-4):437-456, 1995.

Regular Signed Resolution Applied to Annotated Logic ProgramsBarbara Messing, Peter v. Stackelberg. SLP 1995: 638

Relationships between depth of deterministic and nondeterministic acyclic programs computing functions of k-valued logicM. Moshkov. eatcs, 56, 1995.

Task Force on Logic Program Development (Compulog Project)Pierre Deransart, Henryk Jan Komorowski. lpe 1995:

Three-Valued Completion for Abductive Logic ProgramsFrank Teusink. icalp 1994: 150-167

Some General Properies of Answer Set Inference for Extended Disjunctive Logic ProgramsDavid Pearce. wlp 1994: 52-55

Input/Output Dependencies of Normal Logic ProgramsRobert F. Stärk. logcom, 4(3):249-262, 1994.

Logic Programming and Automated Reasoning,4th International Conference, LPAR 93, St. Petersburg, Russia, July 13-20, 1993, ProceedingsAndrei Voronkov, editor, Volume 698 of Lecture Notes in Computer Science, Springer, 1993.

Automated Derivation of Efficient Logic Programs by Synthesizing Eureka PropertiesKhaled Bsaïes. SLP 1993: 633

Mechanical Proof Systems for Logic II, Consensus Programs and Their ProcessingHelena Rasiowa, V. Wiktor Marek. jiis, 2(2):149-164, 1993.

Compilation of Equational Reasoning into Logic ProgramsMax Moser. wlp 1993: 73-77

Control Generation for Logic ProgramsStefan Lüttringhaus-Kappel. ICLP 1993: 478-495

Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991, ProceedingsAndrei Voronkov, editor, Volume 592 of Lecture Notes in Computer Science, Springer, 1992.

Logic Programming and Automated Reasoning,International Conference LPAR 92, St. Petersburg, Russia, July 15-20, 1992, ProceedingsAndrei Voronkov, editor, Volume 624 of Lecture Notes in Computer Science, Springer, 1992.

On Computability by Logic ProgramsAndrei Voronkov. ICLP 1992: 165

Logic Programming with Bounded QuantifiersAndrei Voronkov. lpar 1992: 486-514

Reforming Compilation of Logic ProgramsHåkan Millroth. SLP 1991: 485-499

ICLP Workshop on Construction of Logic Programs1991.

The Homogeneous Form of Logic Programs with EqualityWilliam Demopoulos. ndjfl, 31(2):291-303, 1990.

Hard Problems for Simple Logic ProgramsYatin P. Saraiya. SIGMOD 1990: 64-73 [doi]

Proof-Theoretic Characterisations of Logic ProgramsJames H. Andrews. mfcs 1989: 145-154

Integrating Model Theoretic and Proof Theoretic Interpretation of Logic ProgramsUdo Pletat. ki 1989: 42-64

Diamond Formulas in the Dynamic Logic of Recursively Enumerable ProgramsVolker Weispfenning. cade 1986: 564-571

Alternation and the Computational Complexity of Logic ProgramsEhud Y. Shapiro. jlp, 1(1):19-33, 1984.

Logics of Programs and Their Applications, Proceedings, Poznan, August 23-29, 1980Andrzej Salwicki, editor, Volume 148 of Lecture Notes in Computer Science, Springer, 1983.

Logics of Programs, Workshop, ETH Zürich, May-July 1979Erwin Engeler, editor, Volume 125 of Lecture Notes in Computer Science, Springer, 1981.

Some Connections Between iterative Programs, Recursive Programs, and First-Order LogicA. J. Kfoury. lop 1982: 150-166

Algorithmic logic for program treesW. Danko. lop 1983: 118-131

runs on WebDSL