LINKING
RESEARCH
GLOBALLY
GCAI 2017
CALL FOR PAPERS
INVITED SPEAKERS
TUTORIALS
PROCEEDINGS
POSTER PRESENTATION
REGISTRATION
TRAVEL and ACCOMODATION
PROGRAM COMMITTEE
PAST GCAIs
LRG
PROGRAM
INDEXES
GCAI 2017
/
3rd Global Conference on Artificial Intelligence
TALK AUTHOR INDEX
Shortcuts:
A
B
C
D
E
F
G
H
I
J
K
L
M
P
R
S
T
U
V
W
Y
Z
A
Andrade
, Mariela
Implementation of Incremental Learning in Artificial Neural Networks
B
Baader
, Franz
Extending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts
Beierle
, Christoph
Iterated contraction of propositions and conditionals under the principle of conditional preservation
Bentert
, M.
Proving God's Existence by Automating Leibniz' Algebra of Concepts
Benzmüller
, Christoph
Proving God's Existence by Automating Leibniz' Algebra of Concepts
Mechanizing Category Theory by Automating Free Logic in HigherOrder Logic
Bhatnagar
, Manas
Anemic Status Prediction using Multi Layer Perceptron Neural Network Model
Bjorner
, Nikolaj
Abduction for Learning Smart City Rules
Bock
, Tanja
Iterated contraction of propositions and conditionals under the principle of conditional preservation
Boy de La Tour
, Thierry
Properties of Constrained Generalization Algorithms
Buche
, Cedric
IVT: an 3D Agentbased Interactive Training System
C
Cohen
, Liron
Reasoning Inside The Box: Deduction in Herbrand Logics
Cox
, Wesley
A Genetic Algorithm for Truck Dispatching in Mining
D
Delamarre
, Alban
IVT: an 3D Agentbased Interactive Training System
Dhanireddy
, Kiran
Anemic Status Prediction using Multi Layer Perceptron Neural Network Model
Dormagen
, D.
Mechanizing Category Theory by Automating Free Logic in HigherOrder Logic
E
Ecke
, Andreas
Extending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts
Basic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals
F
Farzindar
, Atefeh
Anemic Status Prediction using Multi Layer Perceptron Neural Network Model
French
, Tim
A Genetic Algorithm for Truck Dispatching in Mining
Freuder
, Eugene
Replaceability and the Substitutability Hierarchy for Constraint Satisfaction Problems
G
Gasca
, Eduardo
Implementation of Incremental Learning in Artificial Neural Networks
H
Heule
, Marijn
Everything's Bigger in Texas: ``The Largest Math Proof Ever"
Hogen
, Rachel
Anemic Status Prediction using Multi Layer Perceptron Neural Network Model
I
Iyer
, Rahul
Objectsensitive Deep Reinforcement Learning
J
Jakubuv
, Jan
Automated Invention of Strategies and Term Orderings for Vampire
Jamali
, Sima
Improving SAT Solver Performance with Structurebased Preferential Bumping
K
KernIsberner
, Gabriele
Iterated contraction of propositions and conditionals under the principle of conditional preservation
Basic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals
Kirsch
, Alexandra
A Modular Approach for Robot Navigation in Domestic Environments
Krishnasamy Sivaprakasam
, Gopalakrishnan
SecrecyPreserving Reasoning and Query Answering in Probabilistic Description Logic Knowledge Bases
L
Lasisi
, Abibat
Improved Heuristic for Manipulation of Secondorder Copeland Elections
Lasisi
, Ramoni
Improved Heuristic for Manipulation of Secondorder Copeland Elections
Lewash
, Y.
Proving God's Existence by Automating Leibniz' Algebra of Concepts
Li
, Yuezhang
Objectsensitive Deep Reinforcement Learning
Lisetti
, Christine
IVT: an 3D Agentbased Interactive Training System
Lovinger
, Justin
Enhanced Simplified Memorybounded A Star (SMA*+)
M
Makarenko
, I.
Mechanizing Category Theory by Automating Free Logic in HigherOrder Logic
Mao
, Dilin
Anemic Status Prediction using Multi Layer Perceptron Neural Network Model
Marinescu
, MariaCristina
Abduction for Learning Smart City Rules
Masterjohn
, Joseph
Optimizing Kick Trajectory: A Comparative Study
Mitchell
, David
Improving SAT Solver Performance with Structurebased Preferential Bumping
P
Pelachaud
, Catherine
Modelling Conversing Social Agents
Pena
, Pedro
Optimizing Kick Trajectory: A Comparative Study
R
Raglin
, Adrienne
SecrecyPreserving Reasoning and Query Answering in Probabilistic Description Logic Knowledge Bases
Rendón
, Eréndira
Implementation of Incremental Learning in Artificial Neural Networks
Reynolds
, Mark
A Genetic Algorithm for Truck Dispatching in Mining
S
Sagiv
, Mooly
Abduction for Learning Smart City Rules
Sauerwald
, Kai
Iterated contraction of propositions and conditionals under the principle of conditional preservation
Schernoff
, Elisa
IVT: an 3D Agentbased Interactive Training System
Schmickl
, Thomas
Quantification and Analysis of the Resilience of Two Swarm Intelligent Algorithms
Slutzki
, Giora
SecrecyPreserving Reasoning and Query Answering in Probabilistic Description Logic Knowledge Bases
Steen
, Alexander
Proving God's Existence by Automating Leibniz' Algebra of Concepts
Mechanizing Category Theory by Automating Free Logic in HigherOrder Logic
Streit
, D.
Proving God's Existence by Automating Leibniz' Algebra of Concepts
Stugk
, S.
Proving God's Existence by Automating Leibniz' Algebra of Concepts
Suda
, Martin
Automated Invention of Strategies and Term Orderings for Vampire
SummersStay
, Douglas
SecrecyPreserving Reasoning and Query Answering in Probabilistic Description Logic Knowledge Bases
Sycara
, Katia
Objectsensitive Deep Reinforcement Learning
T
Thenius
, Ronald
Quantification and Analysis of the Resilience of Two Swarm Intelligent Algorithms
U
Urban
, Josef
Automated Invention of Strategies and Term Orderings for Vampire
V
Van den Broeck
, Guy
OpenWorld Probabilistic Databases
Varughese
, Joshua Cherian
Quantification and Analysis of the Resilience of Two Swarm Intelligent Algorithms
Visser
, Ubbo
Optimizing Kick Trajectory: A Comparative Study
W
Wallace
, Richard
Replaceability and the Substitutability Hierarchy for Constraint Satisfaction Problems
While
, Lyndon
A Genetic Algorithm for Truck Dispatching in Mining
Wilhelm
, Marco
Basic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals
Wisniewski
, Max
Proving God's Existence by Automating Leibniz' Algebra of Concepts
Mechanizing Category Theory by Automating Free Logic in HigherOrder Logic
Wotawa
, Franz
Quantification and Analysis of the Resilience of Two Swarm Intelligent Algorithms
Y
Yu
, Ching Hao
Anemic Status Prediction using Multi Layer Perceptron Neural Network Model
Z
Zhang
, Xiaoqin
Enhanced Simplified Memorybounded A Star (SMA*+)
Zohar
, Yoni
Reasoning Inside The Box: Deduction in Herbrand Logics
Disclaimer

Powered by EasyChair Smart Program