Sciweavers

3119 search results - page 163 / 624
» General Default Logic
Sort
View
EACL
2003
ACL Anthology
14 years 3 days ago
A Dynamic Logic Formalisation of the Dialogue Gameboard
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...
Raquel Fernández
AAAI
1993
14 years 2 days ago
Learning Semantic Grammars with Constructive Inductive Logic Programming
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...
John M. Zelle, Raymond J. Mooney
CSL
2010
Springer
13 years 12 months ago
Graded Computation Tree Logic with Binary Coding
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...
Alessandro Bianco, Fabio Mogavero, Aniello Murano
IJAR
2008
91views more  IJAR 2008»
13 years 10 months ago
Distance-based paraconsistent logics
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...
Ofer Arieli
CORR
2004
Springer
111views Education» more  CORR 2004»
13 years 10 months ago
FLUX: A Logic Programming Method for Reasoning Agents
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...
Michael Thielscher