LINKING
RESEARCH
GLOBALLY
GCAI 2015
LRG
SUBMISSIONS
DATES
INVITED SPEAKERS
PROGRAM COMMITTEE
PUBLICATION
REGISTRATION
SOCIAL EVENTS
VENUE
ACCEPTED PAPERS
PROGRAM
INDEXES
GCAI 2015
/
Global Conference on Artificial Intelligence
TALK AUTHOR INDEX
Shortcuts:
A
B
C
D
F
G
H
K
L
M
N
P
R
S
T
U
V
W
A
Abraham
, Erika
A Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs
Alliot
, JeanMarc
(The Final) Countdown
Antoniazzi
, Megan
Modeling Organic Chemistry and Planning Organic Synthesis
B
Beldiceanu
, Nicolas
A Modelling Pearl with Sortedness Constraints
Besiashvili
, Gela
Application of adaptive neural networks for the filtration of the spam
Bliadze
, Tamar
Application of adaptive neural networks for the filtration of the spam
Borgwardt
, Stefan
Temporal Query Answering in DLLite with Negation
Bukatin
, Michael
Linear Models of Computation and Program Learning
C
Carlsson
, Mats
A Modelling Pearl with Sortedness Constraints
D
Dietz
, EmmanuelleAnna
On Conditionals
F
Feng
, Shasha
Foundations for the Logical Difference of ELTBoxes
Flener
, Pierre
A Modelling Pearl with Sortedness Constraints
Implied Constraints for Automaton Constraints
Francisco
, Maria Andreina
Implied Constraints for Automaton Constraints
Färber
, Michael
Metisbased Paramodulation Tactic for HOL Light
G
Geulen
, Sascha
A Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs
H
Hölldobler
, Steffen
On Conditionals
K
Kaliszyk
, Cezary
Metisbased Paramodulation Tactic for HOL Light
Khasidashvili
, Zurab
EPRbased kinduction with counterexample guided abstraction refinement
Khutsishvili
, Irina
Hesitant Fuzzy MADM Approach in Optimal Selection of Investment Projects
Kochladze
, Zurab
Application of adaptive neural networks for the filtration of the spam
Korovin
, Konstantin
EPRbased kinduction with counterexample guided abstraction refinement
Kurzynski
, Marek
Multiclassifier System with Dynamic Model of Classifier Competence Applied to the Control of Bioprosthetic Hand
L
Lorca
, Xavier
A Modelling Pearl with Sortedness Constraints
Ludwig
, Michel
Foundations for the Logical Difference of ELTBoxes
M
Masoumi
, Arman
Modeling Organic Chemistry and Planning Organic Synthesis
Matthews
, Steve
Linear Models of Computation and Program Learning
N
Nellen
, Johanna
A Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs
Netz
, Lukas
A Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs
Nieuwenhuis
, Robert
SATbased techniques for integer linear constraints
P
Pearce
, David
Trust, Belief and Honesty
Pearson
, Justin
A Modelling Pearl with Sortedness Constraints
Implied Constraints for Automaton Constraints
Pereira
, Luís Moniz
On Conditionals
Petit
, Thierry
A Modelling Pearl with Sortedness Constraints
Prud'Homme
, Charles
A Modelling Pearl with Sortedness Constraints
R
Ravve
, Elena
A Uniform Approach to Incremental Automated Reasoning on Strongly Distributed Structures
S
Salhi
, Yakoub
A Resolution Method for Modal Logic S5
Schulz
, Stephan
Breeding Theorem Proving Heuristics with Genetic Algorithms
Schäfer
, Simon
Breeding Theorem Proving Heuristics with Genetic Algorithms
Seredynski
, Franciszek
Simulated Annealing Application to Maximum Lifetime Coverage Problem in Wireless Sensor Networks
Sioutis
, Michael
A Resolution Method for Modal Logic S5
Sirbiladze
, Gia
Hesitant Fuzzy MADM Approach in Optimal Selection of Investment Projects
Soutchanski
, Mikhail
Modeling Organic Chemistry and Planning Organic Synthesis
T
Ternovska
, Eugenia
An Algebra of Combined Constraint Solving (Position Paper)
Thost
, Veronika
Temporal Query Answering in DLLite with Negation
Tretyakova
, Antonina
Simulated Annealing Application to Maximum Lifetime Coverage Problem in Wireless Sensor Networks
Tsarkov
, Dmitry
EPRbased kinduction with counterexample guided abstraction refinement
Tsulaia
, Gvanca
Hesitant Fuzzy MADM Approach in Optimal Selection of Investment Projects
U
Urban
, Josef
BliStr: The Blind Strategymaker
Uridia
, Levan
Trust, Belief and Honesty
V
Volkovich
, Zeev
A Uniform Approach to Incremental Automated Reasoning on Strongly Distributed Structures
W
Walther
, Dirk
Foundations for the Logical Difference of ELTBoxes
Weber
, Gerhard
A Uniform Approach to Incremental Automated Reasoning on Strongly Distributed Structures
Wolters
, Benedikt
A Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs
Disclaimer

Powered by EasyChair Smart Program