Roel Wuyts - 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.

Logic and Trace-based Object-Oriented Application TestingStéphane Ducasse, Michael Freidig, Roel Wuyts. In Fifth International Workshop on Object-Oriented Reengineering (WOOR 2004). 2004:

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]

Towards a Linguistic Symbiosis of an Object-oriented and a Logic Programming LanguageJohan Brichau, Kris Gijbels, Roel Wuyts. In Proceedings of the Workshop on Multiparadigm Programming with Object-Oriented Languages (MPOOL 2002). 2002:

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

A Logic Meta-Programming Approach to Support the Co-Evolution of Object-Oriented Design and ImplementationRoel Wuyts. PhD thesis, Vrije Universiteit Brussel, 2001.

Synchronising Changes to Design and Implementation using a Declarative Meta-Programming LanguageRoel Wuyts. In International Workshop on (Constraint) Logic Programming for Software Engineering. 2001:

Composition Languages for Black-Box ComponentsRoel Wuyts, St\'ephane Ducasse. In First OOPSLA Workshop on Language Mechanisms for Programming Software Components. 2001:

Symbiotic Reflection between an Object-Oriented and a Logic Programming LanguageRoel Wuyts, Stéphane Ducasse. In ECOOP 2001 International Workshop on MultiParadigm Programming with Object-Oriented Languages. 2001:

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.

Using Reflective Logic Programming to Describe Domain Knowledge as an AspectMaja D Hondt, Wolfgang De Meuter, Roel Wuyts. gcse 2000: 16-23 [doi]

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.

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.

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

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

runs on WebDSL