Amir Pnueli - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged logic programming

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

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

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

Generating Cellular Puzzles with Logic ProgramsMiroslaw Truszczynski, V. Wiktor Marek, Raphael A. Finkel. icai 2006: 403-407

Proceedings of the 2005 International Conference on Field Programmable Logic and Applications (FPL), Tampere, Finland, August 24-26, 2005Tero Rissa, Steven J. E. Wilton, Philip Heng Wai Leong, editors, IEEE, 2005.

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

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]

Relating Defeasible Logic to Extended Logic ProgramsGeorge Antoniou. setn 2002: 54-64 [doi]

Notions of Attack and Justified Arguments for Extended Logic ProgramsRalf Schweimeier, Michael Schroeder. ecai 2002: 536-540

Field-Programmable Logic and Applications, 11th International Conference, FPL 2001, Belfast, Northern Ireland, UK, August 27-29, 2001, ProceedingsGordon J. Brebner, Roger Woods, editors, Volume 2147 of Lecture Notes in Computer Science, Springer, 2001.

Playing Logic Programs with the Alpha-Beta AlgorithmJean-Vincent Loddo, Roberto Di Cosmo. lpar 2000: 207-224 [doi]

Field-Programmable Logic and Applications, The Roadmap to Reconfigurable Computing, 10th International Workshop, FPL 2000, Villach, Austria, August 27-30, 2000, ProceedingsReiner W. Hartenstein, Herbert Grünbacher, editors, Volume 1896 of Lecture Notes in Computer Science, Springer, 2000.

Field-Programmable Logic and Applications, 9th International Workshop, FPL 99, Glasgow, UK, August 30 - September 1, 1999, ProceedingsPatrick Lysaght, James Irvine, Reiner W. Hartenstein, editors, Volume 1673 of Lecture Notes in Computer Science, Springer, 1999.

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

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

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:

Simulating Guarded Programs in Linear LogicMax I. Kanovich. tppp 1995: 45-69

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.

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.

The Defining Power of Stratified and Hierarchical Logic ProgramsGerhard Jäger, Robert F. Stärk. jlp, 15(1&2):55-77, 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

Birkhoff s HSP-Theorem for Cumulative Logic ProgramsBeatrice Amrhein. elp 1994: 24-36

Shortest Path by Approximation in Logic ProgramsSuzanne W. Dietrich. loplas, 1(2):119-137, 1992.

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

Logic Program FormsTakashi Yokomori. ngc, 4(3):305-319, 1986.

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.

Propositional Dynamic Logic of Nonregular ProgramsDavid Harel, Amir Pnueli, Jonathan Stavi. jcss, 26(2):222-243, 1983.

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

Toward an Inductionless Technique for Proving Properties of Logic ProgramsRoberto Barbuti, Pierpaolo Degano, Giorgio Levi. ICLP 1982: 175-181

Further Results on Propositional Dynamic Logic of Nonregular ProgramsDavid Harel, Amir Pnueli, Jonathan Stavi. lop 1982: 124-136

Propositional Dynamic Logic of Context-Free ProgramsDavid Harel, Amir Pnueli, Jonathan Stavi. focs 1981: 310-321

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

A Note On Equivalences Among Logics of ProgramsAlbert R. Meyer, Jerzy Tiuryn. lop 1982: 282-299

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

The Modal Logic of ProgramsZohar Manna, Amir Pnueli. icalp 1979: 385-409

The Temporal Logic of ProgramsAmir Pnueli. focs 1977: 46-57

Predicate Logic: A Calculus for the Formal Derivation of ProgramsKeith L. Clark, Sharon Sickel. IJCAI 1977: 419-420

runs on WebDSL