2000 search results - page 56 / 400 » The Dynamics of Syntactic Knowledge |
174
click to vote
IJCAI
2003
15 years 6 months ago
2003
We consider the problem of updating nonmonotonic knowledge bases represented by epistemic logic programs where disjunctive information and notions of knowledge and beliefs can be ...
160
click to vote
AAAI
1997
15 years 6 months ago
1997
CNF-BCP is a well-known propositional reasoner that extends clausal Boolean Constraint Propagation (BCP) to non-clausal theories. Although BCP has efficient linear-time implementa...
164
click to vote
ANLP
1992
15 years 6 months ago
1992
We describe the lexical knowledge base system (LKB) which has been designed and implemented as part of the ACQUILEX project1 to allow the representation of multilinguM syntactic a...
183
click to vote
AIA
2006
15 years 6 months ago
2006
Epistemic logic allows to reason not only about situations, but also about the knowledge that a set of agents have about situations. In later years, epistemic logic has been appli...
177
click to vote
ICML
2007
IEEE
16 years 6 months ago
2007
IEEE
In this paper, we define a family of syntactic kernels for automatic relational learning from pairs of natural language sentences. We provide an efficient computation of such mode...