3119 search results - page 163 / 624 » General Default Logic |
82
Voted
EACL
2003
ACL Anthology
15 years 2 months ago
2003
ACL Anthology
This paper explores the possibility of using the paradigm of Dynamic Logic (DL) to formalise information states and update processes on information states. In particular, we prese...
101
click to vote
AAAI
1993
15 years 2 months ago
1993
Automating the construction of semantic grammars is a di cult and interesting problem for machine learning. This paper shows how the semantic-grammar acquisition problem can be vi...
90
Voted
CSL
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Graded path quantifiers have been recently introduced and investigated as a useful framework for generalizing standard existential and universal path quantifiers in the b...
102
click to vote
IJAR
2008
15 years 20 days ago
2008
We introduce a general framework that is based on distance semantics and investigate the main properties of the entailment relations that it induces. It is shown that such entailm...
95
Voted
CORR
2004
Springer
15 years 15 days ago
2004
Springer
FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is...