„Logic Programming“

Suchergebnisse

2.836 Treffer

• Programmable Logic Controller (PLC) – PLC Programming
  Desai, Ashish 2020 LAP LAMBERT Academic Publishing
• RUDIMENTS OF PLC – Basic Concepts of Programming
  Bera, U. N. 2020 LAP LAMBERT Academic Publishing
• OMRON & Kinco PLC Programming – A Project Guide
  Channi, Harpreet Kaur ; Soun, Arpita 2020 LAP LAMBERT Academic Publishing
• On the analysis of hyper-parameter space for a genetic programming system with iterated F-Race
  Trujillo, Leonardo ; Álvarez González, Ernesto ; Galván, Edgar ; Tapia, Juan J. ; Ponsich, Antonin
• Optimal Reservoir Operation Using Fuzzy Logic Technique-A Case Study – Optimal Irrigation Planning using Fuzzy Logic Approach
  Pawar, Sangita Vilas ; Shinde, Pravin Bhanudas 2020 LAP LAMBERT Academic Publishing
• Role-Value Maps and General Concept Inclusions in the Minimal Description Logic with Value Restrictions or Revisiting Old Skeletons in the DL Cupboard
  Baader, Franz ; Théron, Clément
• Team bisimilarity, and its associated modal logic, for BPP nets
  Gorrieri, Roberto
• Defeasible Description Logics
  Varzinczak, Ivan
• Automated formal synthesis of provably safe digital controllers for continuous plants
  Abate, Alessandro ; Bessa, Iury ; Cordeiro, Lucas ; David, Cristina ; Kesseli, Pascal ; Kroening, Daniel ; Polgreen, Elizabeth
• Preface for the SYNT
  Bloem, Roderick ; Tabuada, Paulo
• Practical synthesis of reactive systems from LTL specifications via parity games – You can teach an old dog new tricks: making a classic approach structured, forward-explorative, and incremental
  Luttenberger, Michael ; Meyer, Philipp J. ; Sickert, Salomon
• Reactive synthesis with maximum realizability of linear temporal logic specifications
  Dimitrova, Rayna ; Ghasemi, Mahsa ; Topcu, Ufuk
• Solving an integrated cell formation and group layout problem using a simulated annealing enhanced by linear programming
  Forghani, Kamran ; Fatemi Ghomi, S. M. T. ; Kia, Reza
• Programmable logic devices – key components for today’s and tomorrow’s electronic-based systems
  Rössler, Peter ; Höller, Roland
• Complement for two-way alternating automata
  Geffert, Viliam ; Kapoutsis, Christos A. ; Zakzok, Mohammad
• Evolving semantic object segmentation methods automatically by genetic programming from images and image processing operators
  Liang, Jiayu ; Wen, Jixiang ; Wang, Zhe ; Wang, Jianming
• Watson–Crick quantum finite automata
  Ganguly, Debayan ; Chatterjee, Kingshuk ; Ray, Kumar Sankar
• Multi-objective Goal Programming for Low Altitude Seat Ejections with Fuzzy Logic–Based Decision-making
  Raj, R. Naveen ; Shankar, K.
• Fuzzy-logic-based multi-objective best-fit-decreasing virtual machine reallocation
  Braiki, Khaoula ; Youssef, Habib
• Types, modules and databases in the logic programming language PROTOS-L
  Beierle, Christoph 1989 IWBS