Search Sciweavers | Sciweavers

241 search results - page 2 / 49

» Propositional knowledge and know-how

click to vote

IJPRAI
2000

108views more IJPRAI 2000»

Knowledge Base Reformation: Preparing First-Order Theories for Efficient Propositional Reasoning

13 years 5 months ago

Download www.miv.t.u-tokyo.ac.jp

We present an approach to knowledge compilation that transforms a function-free first-order Horn knowledge base to propositional logic. This form of compilation is important since...

Helmut Prendinger, Mitsuru Ishizuka, Gerhard Schur...

claim paper

Read More »

click to vote

AUSAI
2003
Springer

142views Artificial Intelligence» more AUSAI 2003»

Decidability of Propositionally Quantified Logics of Knowledge

13 years 9 months ago

Download www.csse.uwa.edu.au

Abstract. Logics of knowledge have important applications for reasoning about security protocols and multi-agent systems. We extend the semantics for the logic of necessity with lo...

Tim French

claim paper

Read More »

click to vote

COMMA
2008

108views Applied Computing» more COMMA 2008»

Focused search for Arguments from Propositional Knowledge

13 years 6 months ago

Download www.cs.ucl.ac.uk

Abstract Classical propositional logic is an appealing option for modelling argumentation but the computational viability of generating an argument is an issue. Here we propose ame...

Vasiliki Efstathiou, Anthony Hunter

claim paper

Read More »

click to vote

SYNTHESE
2008

51views more SYNTHESE 2008»

Propositional knowledge and know-how

13 years 5 months ago