„Logic Programming“

Suchergebnisse

2.836 Treffer

• OntoILPER: an ontology- and inductive logic programming-based system to extract entities and relations from text
  Lima, Rinaldo ; Espinasse, Bernard ; Freitas, Fred
• A logical approach to systems engineering artifacts: semantic relationships and dependencies beyond traceability—from requirements to functional and architectural views
  Broy, Manfred
• A comparative study of optimization models in genetic programming-based rule extraction problems
  Pereira, Marconi de Arruda ; Carrano, Eduardo Gontijo ; Davis Júnior, Clodoveu Augusto ; Vasconcelos, João Antônio de
• Knowledge-based security testing of web applications by logic programming
  Zech, Philipp ; Felderer, Michael ; Breu, Ruth
• Formal logical language to set requirements for secure code execution
  Kozachok, A. V.
• An approach based on reliability-based possibility degree of interval for solving general interval bilevel linear programming problem
  Ren, Aihong ; Wang, Yuping
• An improved semantic schema modeling for genetic programming
  Zojaji, Zahra ; Ebadzadeh, Mohammad Mehdi
• Robust online monitoring of signal temporal logic
  Deshmukh, Jyotirmoy V. ; Donzé, Alexandre ; Ghosh, Shromona ; Jin, Xiaoqing ; Juniwal, Garvit ; Seshia, Sanjit A.
• Parity game reductions
  Cranen, Sjoerd ; Keiren, Jeroen J. A. ; Willemse, Tim A. C.
• Some Subsets of Monadic First-Order Logic (MFO) Used for the Specification and Synthesis of Σ-Automata
  Chebotarev, A. N.
• Guest editorial to the special issue on inductive logic programming, mining and learning in graphs and statistical relational learning
  Blockeel, Hendrik ; Borgwardt, Karsten ; Raedt, Luc ; Domingos, Pedro ; Kersting, Kristian ; Yan, Xifeng
• Faster GPU-based genetic programming using a two-dimensional stack
  Chitty, Darren M.
• Event algebra for transition systems composition application to timed automata
  Fares, Elie ; Bodeveix, Jean-Paul ; Filali, Mamoun
• Detecting high-order interactions of single nucleotide polymorphisms using genetic programming
  Bernholt, Thorsten ; Ickstadt, Katja ; Nunkesser, Robin ; Schwender, Holger ; Wegener, Ingo 2007 Universitätsbibliothek Dortmund
• A fast parallel genetic programming framework with adaptively weighted primitives for symbolic regression
  Huang, Zhixing ; Zhong, Jinghui ; Feng, Liang ; Mei, Yi ; Cai, Wentong
• Polynomial goal programming and particle swarm optimization for enhanced indexation
  Kaucic, Massimiliano ; Barbini, Fabrizio ; Camerota Verdù, Federico Julian
• Preface to special issue: EXPRESS/SOS 2016 + 2017
  Peters, Kirstin ; Tini, Simone
• Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions
  Girard, Antoine ; Gössler, Gregor
• Constraint programming model for resource-constrained assembly line balancing problem
  Alakaş, Hacı Mehmet ; Pınarbaşı, Mehmet ; Yüzükırmızı, Mustafa
• Using session types for reasoning about boundedness in the $$\pi $$ π -calculus
  Hüttel, Hans