TALK KEYWORD INDEX

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

A | |

Abductive Reasoning | |

abstract argumentation | |

abstract argumentation semantics | |

Abstraction | |

action and change | |

Action histories | |

aggregators in probabilistic models | |

Algebra of maps | |

Allen algebra | |

alternating temporal logic | |

angry birds | |

Answer Set Programming | |

applied KR for design computing | |

Approximation Fixpoint Theory | |

Argumentation | |

argumentation framework | |

Argumentation frameworks | |

argumentation semantics | |

artifact-centric systems | |

ATL | |

Automata-Based Reasoning | |

automated reasoning | |

awareness | |

axiomatization | |

Ayciclicity conditions | |

B | |

belief base | |

Belief bias | |

belief change | |

Belief Merging | |

belief revision | |

Boolean games | |

boosting completeness | |

Branching Time | |

Business Process Management | |

C | |

Causality | |

causation | |

certain answers | |

certain knowledge | |

chaining predictors | |

Classical Planning | |

cognitive robotics | |

Combined Approach | |

combined complexity | |

complexity | |

complexity analysis | |

complexity theory | |

comprehension model | |

Computational Complexity | |

computational logic | |

computational model of narrative | |

Computational Pragmatics | |

computer-aided architecture design | |

Concept Similarity | |

conformant planning | |

ConGolog | |

constructive negation | |

Contextual Reasoning | |

contingent planning | |

continuous noise in effectors and sensors | |

contraction | |

D | |

data complexity | |

Data-aware dynamic systems | |

database querying | |

decidability and complexity | |

decision diagrams | |

decision rules | |

declarative modeling | |

default logic | |

defeasible reasoning | |

degrees of belief | |

deontic logic | |

dependence | |

Description logic | |

Description Logics | |

Description Logics and Ontologies | |

diagnosis | |

Dialogue Modeling | |

Dominance | |

doxastic logic | |

dynamic logic | |

E | |

egalitarianism | |

empirical analysis | |

epistemic logic | |

epistemic planning | |

Equality constraints | |

equilibrium logic | |

Equilibrium Semantics | |

Exact Learning | |

existential rules | |

Experimental Evaluation | |

expressiveness | |

F | |

finite satisfiability | |

first-order | |

first-order logic | |

first-order logic of discrete linear order | |

fixed-parameter tractability | |

Forgetting | |

Forgetting in Reasoning about Actions | |

Forgetting in the Situation Calculus | |

formalization | |

Fuzzy Description Logics | |

G | |

Game theory | |

general theory of stable models | |

Generalized databases | |

Golog | |

Grounded Equilibrium Semantics | |

Gödel Semantics | |

H | |

higher-order logic programming | |

Horn logic | |

Human Reasoning | |

I | |

identity | |

incomplete databases | |

inconsistency in probabilistic knowledge bases | |

inconsistency measures | |

IndiGolog | |

Infinitary Formulas | |

Informal semantics | |

Input/output logic | |

Inspection Points | |

Intention and Belief | |

iterative process | |

J | |

Jeffrey's rule of conditioning | |

Judgment Aggregation | |

justified belief | |

K | |

Knowledge Acquisition and Forgetting | |

knowledge compilation | |

Knowledge Representation | |

L | |

labellings enumeration algorithm | |

Lifted inference | |

Linked Data | |

logic | |

logic programming | |

logical difference | |

logistic regression | |

Lukasiewicz logic | |

M | |

machine learning | |

Maps of graphs | |

Mathematical Morphology | |

minimal change | |

minimal network | |

missing information | |

modal logic | |

Modal Temporal Logics | |

model checking | |

model counting | |

model theory of incompleteness | |

models of incompleteness | |

Multi Context Systems | |

Multi-agent systems | |

multiagent dynamic systems | |

N | |

Narrative | |

Nash equilibrium | |

negation as failure | |

nominal schemas | |

Non-circular Justifications | |

non-classical logics | |

Non-monotonic reasoning | |

nonmonotonic reasoning | |

Normative reasoning | |

O | |

OBDD | |

ontology | |

ontology languages | |

open/closed world semantics | |

Ordered Disjunction | |

P | |

parameter estimation | |

PCA | |

Pearl's virtual evidence method | |

performance prediction | |

Petri nets | |

planning | |

Planning and Pseudo-boolean Optimization | |

Planning as Satisfiability | |

Plausibility Rankings | |

Polynomial Hierarchy | |

population size in relational models | |

Possibilistic networks | |

Preference | |

Preorders | |

preserving soundness | |

prime network | |

probabilistic logic | |

probabilistic logics | |

probabilistic models | |

Process Adaptation | |

Product Modal Logics | |

program semantics | |

program verification | |

Progression | |

progression of basic action theories | |

Projection | |

proof procedure | |

propositional assignments | |

propositional closure | |

psychological validation | |

Pure Nash Equilibria | |

Q | |

qualitative algebras | |

qualitative constraint networks | |

qualitative spatial reasoning | |

query answering | |

query entailment | |

Query Evaluation | |

query rewriting | |

R | |

rationality | |

reasoner | |

reasoning about action and change | |

reasoning about actions | |

Reasoning about Actions and Change | |

reasoning about knowledge and action | |

reasoning about knowledge and belief | |

Reasoning under uncertain inputs | |

Reductions to SAT | |

redundancy | |

region connection calculus | |

regular path queries | |

relational logistic regression | |

relational probabilistic models | |

Relevance | |

Relevance Theory | |

Reordering | |

revision | |

rough sets | |

rules | |

S | |

Satisfiability in Alternating-time Temporal Logic | |

Sceptical reasoning | |

Semantic Web | |

Semantics and pragmatics | |

Semantics of Aggregates | |

Semantics of Conditional Literals | |

Side-effects | |

similarity | |

situation calculus | |

Skolemization | |

Social Choice | |

social choice theory | |

software description | |

specificity | |

stability | |

stability analysis | |

stable model semantics | |

standard reasoning | |

State-boundedness | |

Story Telling | |

story understanding | |

strategies | |

strong equivalence | |

structural equations | |

Succinctness | |

T | |

Tableau-based Decision Methods | |

Temporal Description Logics | |

temporal logic | |

Temporal projection | |

Temporal Reasoning | |

Three-valued Lukasiewicz Logic | |

three-valued semantics | |

Time Travel | |

treewidth | |

U | |

Uniform Interpolation | |

Uniform interpolation and forgetting | |

update | |

V | |

verification | |

visual and spatial cognition and computation | |

W | |

Weak Completion Semantics | |

Web of Linked Data | |

Well-Founded Semantics | |

Winograd Schema Challenge | |

Winograd Schemas | |

world view |