TALK KEYWORD INDEX

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

A | |

abstraction-refinement | |

adaptive neural networks | |

answer set programming | |

artificial intelligence | |

automated theorem proving | |

automaton constraint | |

B | |

bilattices | |

bioprosthetic hand | |

bitopology | |

bounded model checking | |

C | |

challenge to stimulate AI research | |

competence measure | |

Complexity | |

computational complexity | |

computer games | |

conditionals | |

conjunctive normal form | |

constraint decomposition | |

constraint modelling | |

constraint programming | |

constraint propagator | |

constraint satisfaction | |

countdown game | |

countdown game variants | |

coverage control | |

coverage preserving protocols | |

D | |

data Complexity | |

deduction rules | |

description logic | |

description logics | |

DL-lite | |

doxastic logic | |

E | |

energy management problem | |

energy optimization | |

EPR fragment | |

extended interval numbers | |

F | |

feedback information | |

Feferman-Vaught reduction sequences | |

first-order logic | |

fixpoint reasoning | |

fuzzy sampling | |

G | |

generalized animation | |

genetic algorithms | |

global constraints | |

H | |

hesitant fuzzy set | |

heuristic search | |

high performance computing | |

HOL | |

hybrid electric vehicle | |

I | |

implied constraints | |

incremental automated reasoning | |

information entropy | |

K | |

k-induction | |

knowledge representation | |

knowledge representation and reasoning | |

L | |

large-theory automated reasoning | |

linear encoding | |

linear integer arithmetic | |

logic programming | |

logical difference between ontologies | |

M | |

mathematical foundations | |

mathematical programming problem | |

maximum lifetime coverage problem | |

MESON | |

Metis | |

modal logic | |

modal logic S5 | |

modular systems | |

multi-attribute decision making | |

multi-language constraint solving | |

multiclassifier system | |

N | |

negative probability | |

neural network | |

neural networks | |

non-monotonic reasoning | |

novel application of AI | |

O | |

OCaml | |

optimization | |

organic chemistry synthesis problem | |

P | |

paramodulation | |

probabilistic programming | |

proof | |

proof tactics | |

R | |

ranking of investment projects | |

reasoning about action | |

reconstruction | |

resolution method | |

S | |

SAT solving | |

simulations between hypergraphs | |

sortedness constraints | |

spam | |

spam detection | |

spam filtration system | |

stable sort | |

strategy development | |

strongly distributed systems | |

syntactically defined translation schemes | |

T | |

tableaux | |

tactic | |

temporal queries | |

TOPSIS method | |

trust | |

U | |

undecidability | |

W | |

wireless sensor networks |