3440 search results - page 247 / 688 » Logics For Context-Free Languages |
190
click to vote
COLING
1990
15 years 8 months ago
1990
: CLG(2) is the latest member of a family of grammar formalisms centered around the notion of complex constraint expression for describing phrasal and iexical information and princ...
217
click to vote
DLOG
2011
14 years 10 months ago
2011
We introduce an extension of Description Logics (DLs) for representing and reasoning about contextualized knowledge. Our formalism is inspired by McCarthy’s theory of formalizing...
193
click to vote
JELIA
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. The growing size of electronically available text corpora like companies’ intranets or the WWW has made information access a hot topic within computational linguistics....
220
click to vote
CSFW
2003
IEEE
16 years 16 days ago
2003
IEEE
SPKI/SDSI is a language for expressing distributed access control policy, derived from SPKI and SDSI. We provide a first-order logic (FOL) semantics for SDSI, and show that it ha...
193
click to vote
PPDP
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we present a new type system for logic programs. Our system combines ideas of the classical polymorphic, but not very precise, system due to Mycroft and O'Keefe...