logic programming - researchr tag

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 43493

2012

International Symposium on Logic-Based Program Synthesis and Transformation, Proceedings2012.

A comparison of genetic programming and artificial neural networks in metamodeling of discrete-event simulation modelsBirkan Can, Cathal Heavey. cor, 39(2):424-436, 2012. [doi]

Extended local search algorithm based on nonlinear programming for two-dimensional irregular strip packing problemStephen C. H. Leung, Yangbin Lin, Defu Zhang. cor, 39(3):678-686, 2012. [doi]

Non-degenerate 2-State Reversible Logic Elements with Three or More Symbols Are All UniversalKenichi Morita, Tsuyoshi Ogiro, Artiom Alhazov. mvl, 18(1):37-54, 2012. [doi]

Risk-averse two-stage stochastic programming with an application to disaster managementNilay Noyan. cor, 39(3):541-559, 2012. [doi]

The Programming Paradigm EvolutionDevon M. Simmonds. computer, 45:93-95, 2012. [doi]

Programming in a Socially Networked World: the Evolution of the Social ProgrammerChristoph Treude, Fernando Figueira Filho, Brendan Cleary, Margaret-Anne D. Storey. The Future of Collaborative Software Development (FutureCSD), 2012.

2011

International Symposium on Logic-Based Program Synthesis and Transformation, Proceedings2011.

Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, LICS 2011, June 21-24, 2011, Toronto, Ontario, CanadaIEEE Computer Society, 2011.

A polynomial-time custom instruction identification algorithm based on dynamic programmingJunwhan Ahn, Imyong Lee, Kiyoung Choi. aspdac 2011: 573-578 [doi]

Optimal PI-fuzzy logic controller of glucose concentration using genetic algorithmMohamed Al-Fandi, Mohammad Abdel Kareem Jaradat, Yousef Sardahi. kes, 15(2):99-117, 2011. [doi]

2D laser scanner selection using fuzzy logicTarek Al-Hawari, Samir Khrais, Omar Al-Araidah, Abdullah F. Al-Dwairi. eswa, 38(5):5614-5619, 2011. [doi]

A two-stage stochastic programming model for the parallel machine scheduling problem with machine capacityTalal Al-Khamis, Rym M Hallah. cor, 38(12):1747-1759, 2011. [doi]

A Redundant Communication Approach to Scalable Fault Tolerance in PGAS Programming ModelsNawab Ali, Sriram Krishnamoorthy, Niranjan Govind, Bruce Palmer. pdp 2011: 24-31 [doi]

XQuery in the Functional-Logic Language ToyJesus Manuel Almendros-Jiménez, Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez. wflp 2011: 35-51 [doi]

Logic-Based Program Synthesis and Transformation - 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected PapersMaría Alpuente, editor, Volume 6564 of Lecture Notes in Computer Science, Springer, 2011. [doi]

Backward Trace Slicing for Rewriting Logic TheoriesMaría Alpuente, Demis Ballis, Javier Espert, Daniel Romero. cade 2011: 34-48 [doi]

Analysis of the soft error susceptibility and failure rate in logic circuitsEman AlQuraishi, May Al-Roomi, Sobeeh Almukhaizim. iajit, 8(4):388-396, 2011. [doi]

New Functional Logic Design PatternsSergio Antoy, Michael Hanus. wflp 2011: 19-34 [doi]

A class of polynomial volumetric barrier decomposition algorithms for stochastic semidefinite programmingK. A. Ariyawansa, Yuntao Zhu. moc, 80(275):1639-1661, 2011. [doi]

Remarks on solutions to a nonconvex quadratic programming test problemCharles Audet, Pierre Hansen, Sylvain Perron. jgo, 50(2):363-369, 2011. [doi]

The logic of Simpson s paradoxPrasanta S. Bandyoapdhyay, Davin Nelson, Mark Greenwood, Gordon Brittan, Jesse Berwald. synthese, 181(2):185-208, 2011. [doi]

Logics for Qualitative Inductive GeneralizationDiderik Batens. sLogica, 97(1):61-80, 2011. [doi]

Logic, Language, Information and Computation - 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. ProceedingsLev D. Beklemishev, Ruy de Queiroz, editors, Volume 6642 of Lecture Notes in Computer Science, Springer, 2011. [doi]

Propositional Dynamic Logic with Storing, Recovering and Parallel CompositionMario R. F. Benevides, Renata P. de Freitas, Jorge Petrúcio Viana. ENTCS, 269:95-107, 2011. [doi]

LocalSolver 1.x: a black-box local-search solver for 0-1 programmingThierry Benoist, Bertrand Estellon, Frédéric Gardi, Romain Megel, Karim Nouioua. 4or, 9(3):299-316, 2011. [doi]

On the robustness of Type-1 and Interval Type-2 fuzzy logic systems in modelingMohammad Biglarbegian, William W. Melek, Jerry M. Mendel. isci, 181(7):1325-1347, 2011. [doi]

A Fuzzy Logic Controller tuned with PSO for 2 DOF robot trajectory controlZafer Bingül, Oguzhan Karahan. eswa, 38(1):1017-1031, 2011. [doi]

A valuable experience in logic programmingAnnalisa Bossi, Nicoletta Cocco. ia, 5(1):95-99, 2011. [doi]

Automated Cyclic Entailment Proofs in Separation LogicJames Brotherston, Dino Distefano, Rasmus Lerchedahl Petersen. cade 2011: 131-146 [doi]

Programming with Explicit Dependencies: A Framework for Portable Parallel ProgrammingEva Burrows. PhD thesis, Research School in Information and Communication Technology, Department of Informatics, University of Bergen, Norway, PB 7803, 5020 Bergen, Norway, 2011.

Context-sensitive refinements for stochastic optimisation algorithms in inductive logic programmingPetr Buryan, Jirí Kubalík. air, 35(1):19-36, 2011. [doi]

Triaxial behavior of sand-mica mixtures using genetic programmingAli Firat Cabalar, Abdulkadir Çevik. eswa, 38(8):10358-10367, 2011. [doi]

Integrating XPath with the Functional-Logic Language ToyRafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez. PADL 2011: 145-159 [doi]

Proceedings of the POPL 2011 Workshop on Declarative Aspects of Multicore Programming, DAMP 2011, Austin, TX, USA, January 23, 2011Manuel Carro, John H. Reppy, editors, ACM, 2011.

Software Components beyond Programming: From Routines to ServicesIvica Crnkovic, Judith A. Stafford, Clemens A. Szyperski. IEEE Software, 28(3):22-26, 2011. [doi]

Foreword: special issue on coalgebraic logicErnst-Erich Doberkat, Alexander Kurz. mscs, 21(2):171-174, 2011. [doi]

The synchronicity of dynamic epistemic logicCédric Dégremont, Benedikt Löwe, Andreas Witzel. tark 2011: 145-152 [doi]

Hybrid Logics and NP Graph PropertiesFrancicleber Martins Ferreira, Cibele Matos Freire, Mario R. F. Benevides, L. Menasché Schechter, Ana Teresa C. Martins. wollic 2011: 123-134 [doi]

Fuzzy logic control of a novel robotic hanger for garment inspection: Modeling, simulation and experimental implementationE. H. K. Fung, Y. K. Wong, X. Z. Zhang, L. Cheng, C. W. M. Yuen, W. K. Wong. eswa, 38(8):9924-9938, 2011. [doi]

Poster: De novo protein identification by dynamic programmingJason Gallia, Anna Tan-Wilson, Patrick H. Madden. iccabs 2011: 242-243 [doi]

Control of a non-isothermal continuous stirred tank reactor by a feedback-feedforward structure using type-2 fuzzy logic controllersMosé Galluzzo, Bartolomeo Cosenza. isci, 181(17):3535-3550, 2011. [doi]

Object-oriented simulation: a modeling and programming perspectiveJosé M. Garrido. ACMse 2011: 3 [doi]

Using Functional Programming to Generate an LDPC Forward Error CorrectorAndy Gill, Tristan Bull, Dan DePardo, Andrew Farmer, Ed Komp, Erik Perrins. fccm 2011: 133-140 [doi]

Geometry of Interaction V: Logic in the hyperfinite factorJean-Yves Girard. TCS, 412(20):1860-1883, 2011. [doi]

Internal combustion engine control for series hybrid electric vehicles by parallel and distributed genetic programming/multiobjective genetic algorithmsDan Gladwin, Paul Stewart, Jill Stewart. ijsysc, 42(2):249-261, 2011. [doi]

Dual tableau for monoidal triangular norm logic MTLJoanna Golinska-Pilarek, Ewa Orlowska. fss, 162(1):39-52, 2011. [doi]

Transaction Logic with External ActionsAna Sofia Gomes, José Júlio Alferes. lpnmr 2011: 272-277 [doi]

Parametrized Equilibrium LogicRicardo Gonçalves, José Júlio Alferes. lpnmr 2011: 236-241 [doi]

Learners at the Wheel: Novice Programming Environments Come of AgeJudith Good. ijpop, 1(1):1-24, 2011. [doi]

Infinite Computation, Co-induction and Computational LogicGopal Gupta, Neda Saeedloei, Brian W. DeVries, Richard Min, Kyle Marple, Feliks Kluzniak. calco 2011: 40-54 [doi]

A combination of evolutionary algorithm and mathematical programming for the 3d thermal-aware floorplanning problemDavid Cuesta Gómez, José Luis Risco-Martín, José Luis Ayala, José Ignacio Hidalgo. gecco 2011: 1731-1738 [doi]

A Tamper-Resistant Programming Language SystemDennis Heimbigner. tdsc, 8(2):194-206, 2011. [doi]

The Many Rewards of Putting Absolutely Everything into Introductory LogicJames M. Henle. ticttl 2011: 109-122 [doi]

A Modified GoI Interpretation for a Linear Functional Programming Language and Its AdequacyNaohiko Hoshino. fossacs 2011: 320-334 [doi]

Statically Safe Program Generation with SafeGenShan Shan Huang, David Zook, Yannis Smaragdakis. SCP, 76(5):376-391, May 2011. [doi]

Towards metamathematics of weak arithmetics over fuzzy logicPetr Hájek. igpl, 19(3):467-475, 2011. [doi]

A linear programming formulation for an inventory management decision problem with a service constraintGerrit K. Janssens, Katrien Ramaekers. eswa, 38(7):7929-7934, 2011. [doi]

An interactive fuzzy satisficing method based on variance minimization under expectation constraints for multiobjective stochastic linear programming problemsKosuke Kato, Masatoshi Sakawa. soco, 15(1):131-138, 2011. [doi]

Logic Decomposition of Asynchronous Circuits Using STG UnfoldingsVictor Khomenko. async 2011: 3-12 [doi]

A fuzzy logic application for selecting layered manufacturing techniquesSamir Khrais, Tarek Al-Hawari, Omar Al-Araidah. eswa, 38(8):10286-10291, 2011. [doi]

Dynamic decision networks: an alternative to dynamic programmingGerald C. Kobylski, Dennis M. Buede. ijids, 3(3):203-227, 2011. [doi]

Unified Modeling of Service Logic with User InterfacesFrank Alexander Kraemer, Surya Bahadur Kathayat, Rolv Bræk. ijcis, 20(2):177-200, 2011. [doi]

Modelling programming performance: Beyond the influence of learner characteristicsWilfred W. F. Lau, Allan H. K. Yuen. ce, 57(1):1202-1213, 2011. [doi]

An Indicator-based Approach to Support Teachers Activities: Use Case within the Framework of Learning Object-Oriented Programming with HOP3XAina Lekira, Christophe Després, Pierre Jacoboni. icalt 2011: 120-122 [doi]

Performance-aware multicore programmingChia-Tien Dan Lo. ACMse 2011: 126-131 [doi]

On Bilevel Programming and Its Impact in Branching, Cutting and ComplexityAndrea Lodi. cpaior 2011: 3 [doi]

Guarded resolution for Answer Set ProgrammingVictor W. Marek, Jeffrey B. Remmel. tplp, 11(1):111-123, 2011. [doi]

A parallel programming framework orchestrating multiple languages and architecturesMasana Murase, Hideaki Komatsu, Kumiko Maeda, Shigeho Noda, Munehiro Doi, Ryutaro Himeno. cf 2011: 22 [doi]

Computing efficient financial strategies: An extended compromise programming approachM. A. Marti n, M. L. Cuadrado, C. Romero. amc, 217(19):7831-7837, 2011. [doi]

Inexact Bundle Methods for Two-Stage Stochastic ProgrammingWelington Oliveira, Claudia A. Sagastizábal, Susana Scheimberg. siamjo, 21(2):517-544, 2011. [doi]

An Application of Clasp in the Study of LogicsMauricio Osorio, José Luis Carballido, Claudia Zepeda. lpnmr 2011: 278-283 [doi]

Foundations and Extensions of Answer Set Programming: The Logical ApproachDavid Pearce. lpnmr 2011: 10-11 [doi]

Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent ProgrammingTomas Petricek, Don Syme. PADL 2011: 205-219 [doi]

Logic and Grammar - Essays Dedicated to Alain Lecomte on the Occasion of His 60th BirthdaySylvain Pogodalla, Myriam Quatrini, Christian Retoré, editors, Volume 6700 of Lecture Notes in Computer Science, Springer, 2011. [doi]

A stream-computing extension to OpenMPAntoniu Pop, Albert Cohen. In Proceedings of the 6th International Conference on High Performance and Embedded Architectures and Compilers. 2011: 5-14 [doi]

Separation logic + superposition calculus = heap theorem proverJuan Antonio Navarro Pérez, Andrey Rybalchenko. PLDI 2011: 556-566 [doi]

Genetic Programming for Prediction of Water Flow and Transport of Solids in a BasinJuan R. Rabuñal, Jerónimo Puertas, Daniel Rivero, Ignacio Fraga, Luis Cea, Marta Garrido. iwinac 2011: 223-232 [doi]

Finite Combinatory Logic with Intersection TypesJakob Rehof, Pawel Urzyczyn. tlca 2011: 169-183 [doi]

DNA Computing and Molecular Programming - 16th International Conference, DNA 16, Hong Kong, China, June 14-17, 2010, Revised Selected PapersYasubumi Sakakibara, Yongli Mi, editors, Volume 6518 of Lecture Notes in Computer Science, Springer, 2011. [doi]

From systems to logic in the early development of nonmonotonic reasoningErik Sandewall. ai, 175(1):416-427, 2011. [doi]

Programming in visual basic 2010: the very beginner s guide by Jim McKeownJoe Saur. sigsoft, 36(1):36, 2011. [doi]

Evolving associative classifier for incomplete database using genetic network programmingKaoru Shimada, Kotaro Hirasawa. gecco 2011: 165-166 [doi]

Message passing in a dynamic epistemic logic settingFloor Sietsma, Jan van Eijck. tark 2011: 212-220 [doi]

The Value State Dependence Graph RevisitedJames Stanier, Alan Lawrence. WIR 2011: 53-60

An Introduction to Constraint Programming and Combinatorial OptimisationBarry O Sullivan. rweb 2011: 534 [doi]

The F# Asynchronous Programming ModelDon Syme, Tomas Petricek, Dmitry Lomov. PADL 2011: 175-189 [doi]

A constraint programming-based solution approach for medical resident scheduling problemsSeyda Topaloglu, Irem Ozkarahan. cor, 38(1):246-255, 2011. [doi]

Enhanced mixed integer programming techniques and routing problemsAndrea Tramontani. 4or, 9(3):325-328, 2011. [doi]

Logic emulators in digital systems educationAndrej Trost, Baldomir Zajc. eurocon 2011: 1-4 [doi]

Analysis of the motivation of learners in the in-house training of programming in Japanese ICT industriesHidekuni Tsukamoto, Yasuhiro Takemura, Hideo Nagumo, Ken-ichi Matsumoto. csee 2011: 121-128 [doi]

Quantitative release planning in extreme programmingGert van Valkenhoef, Tommi Tervonen, Bert de Brock, Douwe Postmus. INFSOF, 53(11):1227-1235, 2011. [doi]

Paraconsistent Rough Description LogicHenrique Viana, João Alcåntara, Ana Teresa C. Martins. dlog 2011: [doi]

Nettle: Taking the Sting Out of Programming Network RoutersAndreas Voellmy, Paul Hudak. PADL 2011: 235-249 [doi]

From Programming to Modeling - and Back AgainMarkus Völter. IEEE Software, , 2011.

Basic Object Oriented Genetic ProgrammingTony White, Jinfei Fan, Franz Oppacher. ieaaie 2011: 59-68 [doi]

Collection Processing with Constraints, Monads, and FoldsRyan Wisnesky. WIR 2011: 37-44

Programming Real-Time Autofocus on a Massively Parallel Reconfigurable Architecture Using Occam-piZain-ul-Abdin, Anders Ahlander, Bertil Svensson. fccm 2011: 194-201 [doi]

Nonconvex quadratically constrained quadratic programming: best D.C. decompositions and their SDP representationsX. J. Zheng, X. L. Sun, D. Li. jgo, 50(4):695-712, 2011. [doi]

Biocircuit design through engineering bacterial logic gatesÁngel Goñi Moreno, Miguel Redondo-Nieto, Fernando Arroyo, Juan Castellanos. nc, 10(1):119-127, 2011. [doi]

Sign in or sign up to see more results.

runs on WebDSL