241 search results - page 14 / 49 » Propositional knowledge and know-how |
CORR
2008
Springer
14 years 10 months ago
2008
Springer
We study a problem motivated by cognitive radio in which the primary is a packet system that employs ARQ feedback. A secondary system is allowed to transmit in the same frequency b...
ICTAI
2005
IEEE
15 years 3 months ago
2005
IEEE
Following the framework proposed by Besnard and Hunter for argumentation, this paper aims to propose a logical tool for the generation of new arguments when two formal agents have...
TSD
2005
Springer
15 years 3 months ago
2005
Springer
Since sentences are the basic propositional units of text, knowing their themes should help various tasks requiring the knowledge about the semantic content of text. In this paper,...
CADE
1999
Springer
15 years 2 months ago
1999
Springer
We present a PSpace algorithm that decides satisfiability of the graded modal logic Gr(KR)—a natural extension of propositional modal logic KR by counting expressions—which pl...
EACL
1989
ACL Anthology
14 years 11 months ago
1989
ACL Anthology
In this paper a method for controlling the dialog in a natural language (NL) system is presented. It provides a deep modeling of information processing based on time dependent pro...