Talk Keyword Index

TALK KEYWORD INDEX

This page contains an index consisting of author-provided keywords.

Shortcuts: A B C D E F G H I K L M N O P R S T U W

A
abstraction-refinement	EPR-based k-induction with counterexample guided abstraction refinement
adaptive neural networks	Application of adaptive neural networks for the filtration of the spam
answer set programming	An Algebra of Combined Constraint Solving (Position Paper)
artificial intelligence	BliStr: The Blind Strategymaker
automated theorem proving	Breeding Theorem Proving Heuristics with Genetic Algorithms BliStr: The Blind Strategymaker
automaton constraint	Implied Constraints for Automaton Constraints
B
bilattices	Linear Models of Computation and Program Learning
bioprosthetic hand	Multiclassifier System with Dynamic Model of Classifier Competence Applied to the Control of Bioprosthetic Hand
bitopology	Linear Models of Computation and Program Learning
bounded model checking	EPR-based k-induction with counterexample guided abstraction refinement
C
challenge to stimulate AI research	Modeling Organic Chemistry and Planning Organic Synthesis
competence measure	Multiclassifier System with Dynamic Model of Classifier Competence Applied to the Control of Bioprosthetic Hand
Complexity	Temporal Query Answering in DL-Lite with Negation
computational complexity	An Algebra of Combined Constraint Solving (Position Paper)
computer games	(The Final) Countdown
conditionals	On Conditionals
conjunctive normal form	A Resolution Method for Modal Logic S5
constraint decomposition	A Modelling Pearl with Sortedness Constraints
constraint modelling	A Modelling Pearl with Sortedness Constraints
constraint programming	A Modelling Pearl with Sortedness Constraints
constraint propagator	A Modelling Pearl with Sortedness Constraints
constraint satisfaction	SAT-based techniques for integer linear constraints
countdown game	(The Final) Countdown
countdown game variants	(The Final) Countdown
coverage control	Simulated Annealing Application to Maximum Lifetime Coverage Problem in Wireless Sensor Networks
coverage preserving protocols	Simulated Annealing Application to Maximum Lifetime Coverage Problem in Wireless Sensor Networks
D
data Complexity	Temporal Query Answering in DL-Lite with Negation
deduction rules	A Resolution Method for Modal Logic S5
description logic	Foundations for the Logical Difference of EL-TBoxes
description logics	Temporal Query Answering in DL-Lite with Negation
DL-lite	Temporal Query Answering in DL-Lite with Negation
doxastic logic	Trust, Belief and Honesty
E
energy management problem	A Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs
energy optimization	Simulated Annealing Application to Maximum Lifetime Coverage Problem in Wireless Sensor Networks
EPR fragment	EPR-based k-induction with counterexample guided abstraction refinement
extended interval numbers	Linear Models of Computation and Program Learning
F
feedback information	Multiclassifier System with Dynamic Model of Classifier Competence Applied to the Control of Bioprosthetic Hand
Feferman-Vaught reduction sequences	A Uniform Approach to Incremental Automated Reasoning on Strongly Distributed Structures
first-order logic	EPR-based k-induction with counterexample guided abstraction refinement
fixpoint reasoning	Foundations for the Logical Difference of EL-TBoxes
fuzzy sampling	Linear Models of Computation and Program Learning
G
generalized animation	Linear Models of Computation and Program Learning
genetic algorithms	Breeding Theorem Proving Heuristics with Genetic Algorithms A Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs
global constraints	Implied Constraints for Automaton Constraints
H
hesitant fuzzy set	Hesitant Fuzzy MADM Approach in Optimal Selection of Investment Projects
heuristic search	Breeding Theorem Proving Heuristics with Genetic Algorithms
high performance computing	(The Final) Countdown
HOL	Metis-based Paramodulation Tactic for HOL Light
hybrid electric vehicle	A Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs
I
implied constraints	Implied Constraints for Automaton Constraints
incremental automated reasoning	A Uniform Approach to Incremental Automated Reasoning on Strongly Distributed Structures
information entropy	Hesitant Fuzzy MADM Approach in Optimal Selection of Investment Projects
K
k-induction	EPR-based k-induction with counterexample guided abstraction refinement
knowledge representation	Modeling Organic Chemistry and Planning Organic Synthesis
knowledge representation and reasoning	An Algebra of Combined Constraint Solving (Position Paper)
L
large-theory automated reasoning	BliStr: The Blind Strategymaker
linear encoding	A Resolution Method for Modal Logic S5
linear integer arithmetic	SAT-based techniques for integer linear constraints
logic programming	On Conditionals
logical difference between ontologies	Foundations for the Logical Difference of EL-TBoxes
M
mathematical foundations	An Algebra of Combined Constraint Solving (Position Paper)
mathematical programming problem	Hesitant Fuzzy MADM Approach in Optimal Selection of Investment Projects
maximum lifetime coverage problem	Simulated Annealing Application to Maximum Lifetime Coverage Problem in Wireless Sensor Networks
MESON	Metis-based Paramodulation Tactic for HOL Light
Metis	Metis-based Paramodulation Tactic for HOL Light
modal logic	Trust, Belief and Honesty
modal logic S5	A Resolution Method for Modal Logic S5
modular systems	An Algebra of Combined Constraint Solving (Position Paper)
multi-attribute decision making	Hesitant Fuzzy MADM Approach in Optimal Selection of Investment Projects
multi-language constraint solving	An Algebra of Combined Constraint Solving (Position Paper)
multiclassifier system	Multiclassifier System with Dynamic Model of Classifier Competence Applied to the Control of Bioprosthetic Hand
N
negative probability	Linear Models of Computation and Program Learning
neural network	Application of adaptive neural networks for the filtration of the spam
neural networks	Application of adaptive neural networks for the filtration of the spam
non-monotonic reasoning	On Conditionals
novel application of AI	Modeling Organic Chemistry and Planning Organic Synthesis
O
OCaml	Metis-based Paramodulation Tactic for HOL Light
optimization	A Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs
organic chemistry synthesis problem	Modeling Organic Chemistry and Planning Organic Synthesis
P
paramodulation	Metis-based Paramodulation Tactic for HOL Light
probabilistic programming	Linear Models of Computation and Program Learning
proof	Metis-based Paramodulation Tactic for HOL Light
proof tactics	Metis-based Paramodulation Tactic for HOL Light
R
ranking of investment projects	Hesitant Fuzzy MADM Approach in Optimal Selection of Investment Projects
reasoning about action	Modeling Organic Chemistry and Planning Organic Synthesis
reconstruction	Metis-based Paramodulation Tactic for HOL Light
resolution method	A Resolution Method for Modal Logic S5
S
SAT solving	SAT-based techniques for integer linear constraints
simulations between hypergraphs	Foundations for the Logical Difference of EL-TBoxes
sortedness constraints	A Modelling Pearl with Sortedness Constraints
spam	Application of adaptive neural networks for the filtration of the spam
spam detection	Application of adaptive neural networks for the filtration of the spam
spam filtration system	Application of adaptive neural networks for the filtration of the spam
stable sort	A Modelling Pearl with Sortedness Constraints
strategy development	BliStr: The Blind Strategymaker
strongly distributed systems	A Uniform Approach to Incremental Automated Reasoning on Strongly Distributed Structures
syntactically defined translation schemes	A Uniform Approach to Incremental Automated Reasoning on Strongly Distributed Structures
T
tableaux	Metis-based Paramodulation Tactic for HOL Light
tactic	Metis-based Paramodulation Tactic for HOL Light
temporal queries	Temporal Query Answering in DL-Lite with Negation
TOPSIS method	Hesitant Fuzzy MADM Approach in Optimal Selection of Investment Projects
trust	Trust, Belief and Honesty
U
undecidability	(The Final) Countdown
W
wireless sensor networks	Simulated Annealing Application to Maximum Lifetime Coverage Problem in Wireless Sensor Networks