Sciweavers

167 search results - page 2 / 34
» Focused search for Arguments from Propositional Knowledge
Sort
View
KI
2010
Springer
13 years 8 days ago
Focused Belief Revision as a Model of Fallible Relevance-Sensitive Perception
We present a framework for incorporating perception-induced beliefs into the knowledge base of a rational agent. Normally, the agent accepts the propositional content of perception...
Haythem O. Ismail, Nasr Kasrin
ECML
2007
Springer
13 years 11 months ago
Exploiting Term, Predicate, and Feature Taxonomies in Propositionalization and Propositional Rule Learning
Knowledge representations using semantic web technologies often provide information which translates to explicit term and predicate taxonomies in relational learning. We show how t...
Monika Záková, Filip Zelezný
CORR
2010
Springer
194views Education» more  CORR 2010»
13 years 2 months ago
A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems
Basic proof search tactics in logic and type theory can be seen as the root-rst applications of rules in an appropriate sequent calculus, preferably without the redundancies gener...
Stéphane Lengrand, Roy Dyckhoff, James McKi...
COLING
1992
13 years 6 months ago
Generating Coherent Argumentative Paragraphs
Q Should I take AI this semester? We address the problem of generating a coherent A If you want to take courses likeparagraph presenting arguments for a conclusion in a Natural La...
Michael Elhadad
NAACL
2010
13 years 3 months ago
Joint Inference for Knowledge Extraction from Biomedical Literature
Knowledge extraction from online repositories such as PubMed holds the promise of dramatically speeding up biomedical research and drug design. After initially focusing on recogni...
Hoifung Poon, Lucy Vanderwende