Team-Solvability: A Model-Theoretic Perspective.

Alessandro Agostini

Published in: ECAI (2000)

Keyphrases

model theoretic
description logics
deductive databases
decision procedures
operational semantics
proof theoretic
logic programs
default reasoning
fixpoint
logic programming
probabilistic reasoning
presburger arithmetic
formal semantics
nonmonotonic reasoning
belief revision
multiagent systems
multi agent systems