„Logic Programming“

Suchergebnisse

2.836 Treffer

• Faster Statistical Model Checking for Unbounded Temporal Properties
  Daca, Przemysław ; Henzinger, Thomas ; Křetínský, Jan ; Petrov, Tatjana 2017 Bibliothek der Universität Konstanz
• Logic for programming, artificial intelligence, and reasoning – 20th international conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 ; proceedings
  Davis, Martin ; Fehnker, Ansgar ; McIver, Annabelle ; Voronkov, Andrei 2015 Springer
• On the number of active states in finite automata
  Bordihn, Henning ; Holzer, Markus
• Deriving coordinated experts’ weights based on sequential quadratic programming algorithm for multi-attribute group decision making
  He, Jianqing ; Yang, Yanxia
• Optimization Model of Raw Material Selection Process for Complex Industry Based on Improved Sequential Quadratic Programming Algorithm
  He, Xiuli ; Zhang, Yang ; Hong, Mengna ; Li, Jigeng
• Intention Recognition, Commitment and Their Roles in the Evolution of Cooperation – From Artificial Intelligence Techniques to Evolutionary Game Theory Models
  Han, The Anh 2013 Springer Berlin Heidelberg
• Probabilistic inductive logic programming – theory and applications
  De Raedt, Luc 2008 Springer
• Computational logic: logic programming and beyond – essays in honour of Robert A. Kowalski
  Kakas, Antonis C. Springer
• Testing versus proving in climate impact research
  Ionescu, C. ; Jansson, P. 2013 Wadern : Schloss Dagstuhl
• Meta-analysis of the functional neuroimaging literature with probabilistic logic programming
  Abdallah, Majd ; Iovene, Valentin ; Zanitti, Gaston ; Wassermann, Demian
• A goal programming-based fuzzy best–worst method for the viable supplier selection problem: a case study
  Rostami, Omid ; Tavakoli, Mahdieh ; Tajally, AmirReza ; GhanavatiNejad, Mohssen
• An intelligent DNA nanorobot for detection of MiRNAs cancer biomarkers using molecular programming to fabricate a logic-responsive hybrid nanostructure
  Mirzaiebadizi, Amin ; Ravan, Hadi ; Dabiri, Shahriar ; Mohammadi, Pourya ; Shahba, Arezoo ; Ziasistani, Mahsa ; Khatami, Mehrdad
• Z-Voter: a novel high-impedance voter for efficient realization of tristate logic in quantum-dot cellular automata technology
  Mahdiani, Hamid Reza
• Algebraic Operations on Fuzzy Sets and Relations in Automata Interpretation Implemented by Logical Hardware
  Kryvyi, S. L. ; Opanasenko, V. M. ; Zavyalov, S. B.
• DEHypGpOls: a genetic programming with evolutionary hyperparameter optimization and its application for stock market trend prediction
  Ari, Davut ; Alagoz, Baris Baykant
• Decentralized runtime verification of message sequences in message-based systems
  Samadi, Mahboubeh ; Ghassemi, Fatemeh ; Khosravi, Ramtin
• Efficient survivable mapping algorithm for logical topology in IP-over-WDM optical networks against node failure
  Cheng, Dun-Wei ; Chang, Jo-Yi ; Lin, Chen-Yen ; Lin, Limei ; Huang, Yanze ; Thulasiraman, Krishnaiyan ; Hsieh, Sun-Yuan
• Representation of gene regulation networks by hypothesis logic-based Boolean systems
  Siegel, Pierre ; Doncescu, Andrei ; Risch, Vincent ; Sené, Sylvain
• A sliced architecture using novel configurable logic modules in quantum dot cellular automata for application of field-programmable gate arrays
  Singh, Pankaj ; Singh, Rupali
• Cost-effective synthesis of QCA logic circuit using genetic algorithm
  Pramanik, Amit Kumar ; Mahalat, Mahabub Hasan ; Pal, Jayanta ; Ahmadpour, Seyed-Sajad ; Sen, Bibhash