Christopher M. Poskitt - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged logic programming

Hoare Logic for Graph ProgramsChristopher M. Poskitt, Detlef Plump. In Proc. THEORY Workshop at Verified Software: Theories, Tools and Experiments (VS-THEORY 2010). 2010:

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

A Logical Framework to Reinforcement Learning Using Hybrid Probabilistic Logic ProgramsEmad Saad. lipari 2008: 341-355 [doi]

On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic SatisfiabilityEmad Saad. lipari 2008: 356-371 [doi]

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

A Logic Program Characterization of Causal TheoriesPaolo Ferraris. IJCAI 2007: 366-371 [doi]

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

On Partial Pseudo-Stable Models For Logic ProgramsVictor Felea. cuza, 15:124-136, 2005.

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

Locally Determined Logic Programs and Recursive Stable ModelsDouglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt. AMAI, 40(3-4):225-262, 2004. [doi]

Annotated Linguistic Logic Programs for Soft ComputingVan-Noi Nguyen, Hoang-Cao Tru. rivf 2004: 187-192 [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]

A Scalable, Loadable Custom Programmable Logic Device for Solving Boolean Satisfiability ProblemsMark J. Boyd, Tracy Larrabee. fccm 2000: 13-21 [doi]

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

Granularity Control for Distributed Execution of Logic ProgramsGeorge Xirogiannis. icdcs 1998: 230-237 [doi]

Incorporating Specificity in Extended Logic Programs for Belief RevisionBerilhes Borges Garcia, José Gabriel Pereira Lopes. flairs 1998: 215-219

The Expressive Power of Stratified Logic Programs with Value InventionLuca Cabibbo. iandc, 147(1):22-56, 1998.

A Methodology for Constructing Logic ProgramsFrancis Alexandre, Khaled Bsaïes. FUIN, 29(3):203-223, 1997.

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

An Efficient and Precise Sharing Domain for Logic ProgramsChristian Fecht. plilp 1996: 469-470

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:

Support Software for the Development of Programmable Logic Controller ApplicationsGeorge Hassapis, John Papadopoulos. rts, 9(2):173-193, 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.

Efficient Top-Down Induction of Logic ProgramsR. Mike Cameron-Jones, J. Ross Quinlan. sigart, 5(1):33-42, 1994.

On Logic Program Parallelisation StrategiesSteven David Prestwich. conpar 1994: 289-300

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

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

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

Towards a Clean Amalgamation of Logic Programs with External ProceduresStaffan Bonnier, Jan Maluszynski. plilp 1989: 20-34

A Theory of Directed Logic Programs and StreamsDouglas Stott Parker Jr., Richard R. Muntz. ICLP 1988: 620-650

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

Definability by Deterministic and Non-deterministic Programs (with Applications to First-Order Dynamic Logic)A. J. Kfoury. iandc, 65(2/3):98-121, May/June 1985.

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

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

runs on WebDSL