3719 search results - page 54 / 744 » RACER System Description |
LREC
2008
15 years 1 months ago
2008
This paper discusses the use of computational linguistic technology to extract definitions from a large corpus of German court decisions. We present a corpus-based survey of defin...
AAAI
2011
13 years 12 months ago
2011
Recently the general Game Description Language (GDL) has been extended so as to cover arbitrary games with incomplete/imperfect information. Learningāwithout human interventionā...
107
click to vote
PADL
2012
Springer
13 years 7 months ago
2012
Springer
An ad hoc data source is any semi-structured, non-standard data source. The format of such data sources is often evolving and frequently lacking documentation. Consequently, oļ¬-t...
IFIP
2010
Springer
14 years 6 months ago
2010
Springer
This manuscript addresses the creation of scenario-based models to reason about the behavior of existing industrial information systems. In our approach the system behavior is mode...
LICS
2005
IEEE
15 years 5 months ago
2005
IEEE
In recent work Baader has shown that a certain description logic with conjunction, existential quantiļ¬cation and with circular deļ¬nitions has a polynomial time subsumption pro...