1835 search results - page 130 / 367 » Classifying Description Logics |
147
click to vote
AGENTS
2001
Springer
15 years 8 months ago
2001
Springer
We present and implement an infrastructure for automating the negotiation of business contracts. Underlying our system is a declarative language for both (1) fully-specified, exe...
131
click to vote
JDWM
2007
15 years 3 months ago
2007
Rule induction from examples is a machine learning technique that finds rules of the form condition → class, where condition and class are logic expressions of the form variable...
170
click to vote
CVPR
2011
IEEE
15 years 8 days ago
2011
IEEE
We present a framework for the automatic recognition of complex multi-agent events in settings where structure is imposed by rules that agents must follow while performing activit...
128
click to vote
CORR
2002
Springer
15 years 3 months ago
2002
Springer
The Inductive Logic Programming community has considered proof-complexity and model-complexity, but, until recently, size-complexity has received little attention. Recently a chal...
154
click to vote
ENTCS
2006
15 years 4 months ago
2006
Model theoretic syntax is concerned with studying the descriptive complexity of grammar formalisms for natural languages by defining their derivation trees in suitable logical for...