S. Doaitse Swierstra - 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.

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.

Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP 96, Aachen, Germany, September 24-27, 1996, ProceedingsHerbert Kuchen, S. Doaitse Swierstra, editors, Volume 1140 of Lecture Notes in Computer Science, Springer, 1996.

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

Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP 95, Utrecht, The Netherlands, September 20-22, 1995, ProceedingsManuel V. Hermenegildo, S. Doaitse Swierstra, editors, Volume 982 of Lecture Notes in Computer Science, Springer, 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:

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

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