A Double Team Semantics for Generalized Quantifiers.

Published in: CoRR (2013)

Keyphrases

formal semantics
team members
first order logic
agent oriented programming language
semantic information
conceptual graphs
neural network
bayesian networks
reinforcement learning
cooperative
software engineering
logic programming
active rules
update semantics